Graph transformation systems are a well known formal specification technique that support the rule based specification of the dynamic behaviour of systems. Recently, many specification languages for graph transformation systems have been developed, and modularization techniques are then needed in order to deal with large and complex graph transformation specifications, to enhance the reuse of specifications, and to hide implementation details. In this paper we present an abstract categorical approach to modularization of graph transformation systems. Modules are called cat–modules and defined over a generic category cat of graph transformation specifications and morphisms. We describe the main characteristics and properties of cat–modules, their interconnection operations, namely union, composition and refinement of modules, and some compatibility properties between such operations.
Graph transformation systems are a well known formal specification technique that support the rule based specification of the dynamic behaviour of systems. Recently, many specification languages for graph transformation systems have been developed, and modularization techniques are then needed in order to deal with large and complex graph transformation specifications, to enhance the reuse of specifications, and to hide implementation details. In this paper we present an abstract categorical approach to modularization of graph transformation systems. Modules are called cat-modules and defined over a generic category cat of graph transformation specifications and morphisms. We describe the main characteristics and properties of cat-modules, their interconnection operations, namely union, composition and refinement of modules, and some compatibility properties between such operations.
An Abstract Module Concept for Graph Transformation Systems
SIMEONI, Marta
2002-01-01
Abstract
Graph transformation systems are a well known formal specification technique that support the rule based specification of the dynamic behaviour of systems. Recently, many specification languages for graph transformation systems have been developed, and modularization techniques are then needed in order to deal with large and complex graph transformation specifications, to enhance the reuse of specifications, and to hide implementation details. In this paper we present an abstract categorical approach to modularization of graph transformation systems. Modules are called cat-modules and defined over a generic category cat of graph transformation specifications and morphisms. We describe the main characteristics and properties of cat-modules, their interconnection operations, namely union, composition and refinement of modules, and some compatibility properties between such operations.File | Dimensione | Formato | |
---|---|---|---|
An-Abstract-Module-Concept-for-Graph-Transformation-Systems11_2002_Electroni.pdf
accesso aperto
Descrizione: main paper
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
323.07 kB
Formato
Adobe PDF
|
323.07 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.