Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Graph transformation for specification and programming
Science of Computer Programming
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Graph Algorithms
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Hierarchically Distributed Graph Transformation
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
More About Control Conditions for Transformation Units
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Refinements and Modules for Typed Graph Transformation Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Graph Grammars as Tools in Applications Work?
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Specifying Concurrent Languages and Systems with ???-Grammars
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
On the Interleaving Sematics of Transformation Units - A Step into GRACE
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
UML Packages for PROgrammed Graph REwriting Systems
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
| Hi-index | 0.00 |
In this paper, we investigate the notion of transformation modules as a structuring principle for the specification of graph transformation systems which provide a collection of operations on graphs. Based on the notion of transformation units, a concept that allows to specify binary relations on graphs, a transformation module consists of a set of transformation units. To be able to distinguish betweem hidden and public operations, a module has an export interface. Moreover, there may be an import interface and a formal parameter. The import interface allows the use of transformation units which are known in the environment of a module. The formal parameter consists of formal parameter units which specify operations on graphs in a loose way. A formal parameter unit may be instantiated by an exported transformation unit of another module through module composition.