M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Re nements. PhD thesis, Universita di Roma La Sapienza, 2000.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... is based on the integration paradigm in the papers [9, 10] The generic component concept in [11] has been mainly motivated by the ideas in [21] for a component concept in the German BMBF project Continuous Software Engineering and by the module concepts for graph transformation systems in [27] and for Petri nets in [25] In contrast to these concepts and that for UML [5] an important new aspect in our framework is the fact that we are able to give a self contained, compositional semantics for each component. The syntactical level of the approaches in [27, 25] is partly motivated by ....

....graph transformation systems in [27] and for Petri nets in [25] In contrast to these concepts and that for UML [5] an important new aspect in our framework is the fact that we are able to give a self contained, compositional semantics for each component. The syntactical level of the approaches in [27, 25] is partly motivated by algebraic module speci cations in [8] The semantics of algebraic module speci cations is based on free constructions between import and body part. This constructor based semantics has been dropped in [25, 27] for graph and net based modules, where the key concepts are ....

[Article contains additional citation context not shown here]

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Re nements. PhD thesis, Dip. di Scienze dell'Informazione, Universit a di Roma La Sapienza (2000). Condensed version to appear in JCSS.

....and exp : EXP BOD are both integrated speci cation morphisms and in addition imp was assumed to be constructive. Another in some sense dual variant would be to require that not the import but the export morphism is of special kind. The module concepts for graph transformation systems in [Sim00] and for Petri nets in [PB01] require that the export morphism exp : EXP BOD is a re nement of graph transformations (resp. a substitution morphism of Petri nets) where abstract graph transformation rules (resp. abstract transitions of Petri nets) in the export EXP are replaced by a combination ....

....of CCS processes and amalgamation of processes for open nets should be a suitable constructor in order to construct components based on CCS [Mil89] and open nets [BCEH01] respectively. In section 4. 3 we have discussed already brie y the module concepts for graph transformation systems in [Sim00] and for Petri nets in [PB01] They should become instantiations of the re nement variant of components sketched in 4.3 as generalization of these concepts. This may lead also to other interesting instantiations for other integrated data type and process modeling techniques. 5 Conclusion In ....

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Re nements. PhD thesis, Dip. di Scienze dell'Informazione, Universita di Roma La Sapienza, 2000.

....are presented in Sect. 5. 1. 2 Related Work The generic component concept, presented in this paper, has been mainly motivated by the ideas in [15] for a component concept in the German BMBF project Continuous Software Engineering and by the module concepts for graph transformation systems in [20] and for Petri nets in [18] In contrast to these concepts and that for UML [3] an important new aspect in our framework is the fact that we are able to give a self contained, compositional semantics for each component. The syntactical level of the approaches in [20, 18] is partly motivated by ....

....graph transformation systems in [20] and for Petri nets in [18] In contrast to these concepts and that for UML [3] an important new aspect in our framework is the fact that we are able to give a self contained, compositional semantics for each component. The syntactical level of the approaches in [20, 18] is partly motivated by algebraic module speci cations in [6] The semantics of algebraic module speci cations is based on free constructions between import and body part. This constructorbased semantics has been dropped in [18, 20] for graph and net based modules, where the key concepts are now ....

[Article contains additional citation context not shown here]

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Renements. PhD thesis, Dip. di Scienze dell'Informazione, Universit a di Roma La Sapienza (2000). Condensed version to appear in JCSS.

....supported. They specify which actions may be synchronized by executing their amalgamated rules. This yields more control over the composition of systems based on the (intuitive) synchronization of actions. Another application of the re nement relations of transformation systems can be found in [18] where modules for typed graph transformation systems have been introduced. These are given by an export and an import interface and a body that realizes the services o ered at the export interface, using the services required at the import interface. The parts (export, import, 6 Gro e Rhode ....

....Corresponding notions of preservation of behaviour as de ned for transformation systems in general are used to show that the expected behaviour as speci ed at an export interface is guaranteed by the implementation in the body and is stable w.r.t. the composition operations for modules de ned in [18]. Beyond these speci cation formalisms, that have both a formal syntax and a formal semantics, also software modelling techniques have been considered. Their semantics are usually only de ned informally, as for the di erent diagram techniques of the Uni ed Modeling Language [19,2] The ....

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Renements. PhD thesis, Dip. di Scienze dell'Informazione, Universita di Roma La Sapienza, 2000.

....of a module concept for typed graph transformation systems. Finally, as a rst step towards an algebra of modules, the operations of union and composition of modules are introduced. Furthermore, an abstract categorical approach to modularization of graph transformation systems is introduced in [Sim00] It is initiated for both Local Action Systems [Jan99] and typed graph transformation systems over the Double Pushout approach. The abstract module concept proposed is inspired by the algebraic speci cation modules. Modules are de ned over a generic category cat of graph transformation speci ....

....interface. Each component is a graph transformation system speci cation which consists of a set of graph transformation rules that de ne its basic steps. 7 The interconnections between the components are modeled by morphisms of graph transformation speci cations. The module concept presented in [Sim00] supports implementation via re nements, i.e each exported rule is associated with a combination of body rules re ning (implementing) it, while information hiding is supported both by the use of types (realizing data hiding) and by using re nements (realizing implementation hiding) Each body ....

[Article contains additional citation context not shown here]

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Renement. Doctoral dissertation, University of Rome, Italy, 2000.

No context found.

M. Simeoni. A Categorical Approach to Modularization of Graph Transformation Systems using Re nements. PhD thesis, Universita di Roma La Sapienza, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC