Abstract
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.
Research partially supported by the German Research Council (DFG), the TMR network GETGRATS, and the ESPRIT Basic Research Working Group APPLIGRAPH
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Giese, J. Graf, and G. Wirtz. Modeling Distributed Software Systems with Object Coordination Nets. In Proc. Int. Symposium on software Engineering for Parallel and distributed Systems (PDSE’98), Kyoto, Japan, pages 107–116, jul. 1998.
M. Große-Rhode, F. Parisi Presicce, and M. Simeoni. Refinements of Graph Transformation Systems via Rule Expressions. In G. Engels and G. Rozenberg (eds.), Proc. 6th International Workshop on Theory and Applications of Graph Transformation (TAGT’98), number tr-ri-98-201 in Reihe Informatik, pages 96–103. Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik, 1998.
M. Große-Rhode. Specification of State Based Systems by Algebra Rewrite Systems and Refinements. Technical Report 99-04, TU Berlin, FB Informatik, March 1999.
R. Heckel, H. Ehrig, G. Engels, and G. Taentzer. Classification and comparison of modularity concepts for graph transformation systems. In Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT’98), 1998.
D. Harel and E. Gery. Executable object modeling with Statecharts. In Proceedings of IGSE-18. IEEE, 1996.
J.-H. Jahnke and A. Zündorf. Specification and Implementation of a Distributed Planning and Information System for Courses based on Story Driven Modelling. In Proc. of the 9th Int. Workshop on software Specification and Design, Ise-Shima, Japan, pages 77–86. IEEE Computer Society, 1998.
M. Koch. Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, Technische Universität Berlin, FB 13, 1999. to defend.
A. Roock. Visuelles Design eines verteilten Filemanagers mit Graphtransformation. Master’s thesis, TU Berlin, 1998.
B. Selic and J. Rumbaugh. Using UML for Modeling Complex Real-Time Systems. Rational Software Corporation, available at http://www.rational.com, 1998.
G. Taentzer, C. Ermel, and M. Rudolf. AGG-Approach: Language and Tool Environment. In G. Rozenberg (ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Specification and Programming. World Scientific, 1999. to appear.
G. Taentzer, I. Fischer, M. Koch, and V. Voile. Visual Design of Distributed Systems by Graph Transformation. In G. Rozenberg, U. Montanari, H. Ehrig, and H.-J. Kreowski (eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution. World Scientific, 1999. to appear.
G. Taentzer and A. Schürr. DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems. Proc. of SEGRAGRA’95 “Graph Rewriting and Computation”, Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.
Rational Software Cooperation. Unified Modeling Language. available at http://www.rational.com, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Große-Rhode, M., Parisi-Presicce, F., Simeoni, M., Taentzer, G. (2000). Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_3
Download citation
DOI: https://doi.org/10.1007/3-540-45104-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67658-4
Online ISBN: 978-3-540-45104-4
eBook Packages: Springer Book Archive