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 in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10278/32312
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact