Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Refinements of Graph Transformation Systems via Rule Expressions
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Modeling Distributed Software Systems with Object Coordination Nets
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Defining Abstract Graph Views as Module Interfaces
Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
Due to the special requirements of distributed systems, it is important that modeling techniques for this kind of systems offer a stringent module concept. Each module has to support the encapsulation of data structure as well as functionality also at runtime. Modular graph transformation, presented in this contribution, supports these features. Modules are built up of specifications where attributed graphs describe the static data structures, whereas the dynamic behavior is modeled by the controlled application of graph rules. Rule expressions are used to formulate the control flow. Within one module, we can state a (weak) preservation of export and import behavior wrt. the local behavior in the module's body in the sense that an interface derivation is subsumed by a local derivation if it can be performed. Modules may use each other meaning that each import interface has to be connected with an export interface in a way that the import behavior is subsumed by the export behavior.