A foundational theory of compositional categorical rewriting is presented, based on a collection fibration-like properties that collectively induce and intrinsically structure the large lemmata used in proofs theorems such as concurrency associativity. The resulting highly generic these are given. It noteworthy proof theorem takes only few lines and, while associativity remains somewhat longer,...

While aspect-oriented programming (AOP) addresses introduction of “aspects” at the code level, we argue that addressing this at the level of software architecture is conceptually more adequate, since many aspects, that is, “crosscutting concerns”, are formulated already in the requirements, and therefore can be dealt with in a more controlled manner in the “earlier” phase of software architectu...

The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout approaches to graph transformation. In this article we extend the double-pushout approach to the algebraic transformation of partial many-sorted unary algebras. Such a generalization...

Several attempts have been made of extending to graph grammars the unfolding semantics originally developed by Winskel for (safe) Petri nets, but only partial results were obtained. In this paper we fully extend Winskel’s approach to single-pushout grammars providing them with a categorical concurrent semantics expressed as a coreflection between the category of (semi-weighted) graph grammars a...

Aims The aim of the study was to evaluate the effect of 10% sodium ascorbate (SA),10% hesperidin, 1% riboflavin 5-phosphate, collagen cross-linkers, on the pushout bond strength of the fiber resin postluted to the radicular dentin. Materials and Methods Twenty-eight, single-rooted extracted human teeth were collected. The cleaning shaping and obturation was done followed postspace preparation...

Since the early 80’s the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. fo...

in this paper, we presented algebroids and crossed modules of algebroids. we also presented pullback crossed module of algebroids and we then define pushout crossed modules of algebroids.

Impressum Forschungsberichte der FHDW Hannover – Veröffentlichungen aus dem Bereich Forschung und Entwicklung der FHDW Hannover. Abstract. The paper extends single-pushout graph transformation by poly-morphism, a key concept in object-oriented design. The notions sub-rule and remainder, well-known in single-pushout rewriting, are applied to model dynamic rule extension and type dependent rule a...