Abstract
Graph transformation systems can be used for modeling the structure and the behavior of a software system in a visual way. In our project, we extend existing graph transformation systems to model and execute distributed systems. One challenge in this context is the simultaneous and correct modification of the local runtime graphs of the participating applications by visual distributed graph transformations.
As the execution of these transformations may cause inconsistencies in the local runtime graphs, we present an approach to avoid inconsistencies: A runtime mechanism translates invalid graph transformations into valid transformations. This translation is based on predefined rules describing the substitution of invalid transformation parts. Thus, new graph transformations are dynamically built at runtime. Furthermore, the runtime mechanism controls access within a distributed system.
Chapter PDF
References
Schürr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen. PhD-Thesis, RWTH Aachen University (1991)
Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296–309. Springer, Heidelberg (2000)
Böhlen, B., Jäger, D., Schleicher, A., Westfechtel, B.: UPGRADE: A framework for building graph-based interactive tools. In: Mens, T., Schürr, A., Taentzer, G. (eds.) 1st International Workshop on Graph-Based Tools, GraBaTs’02. ENTCS, vol. 72, Elsevier Science Publishers, Amsterdam (2002)
Böhlen, B., Ranger, U.: Concepts for specifying complex graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 96–111. Springer, Heidelberg (2004)
Ranger, U., Schultchen, E., Mosler, C.: Specifying distributed graph transformation systems. Presented at the 3rd International Workshop on Graph-Based Tools, GraBaTs’06 (2006)
Ranger, U., Lüstraeten, M.: Search trees for distributed graph transformation systems. In: Karsai, G., Taentzer, G. (eds.) 2nd International Workshop on Graph and Model Transformation, GraMoT’06. Electronic Communications of the EASST, vol. 4, European Association of Software Science and Technology (to appear, 2006)
Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Ehrig, H., Ermel, C., Padberg, J. (eds.) 1st International Workshop on Uniform Approaches to Graphical Process Specification Techniques, UNIGRA’01. ENTCS, vol. 44(4), Elsevier Science, Amsterdam (2001)
Winter, A.: Visuelles Programmieren mit Graphtransformationen. PhD-Thesis, RWTH Aachen University (2000)
Heckel, R., Ehrig, H., Engels, G., Taentzer, G.: A view-based approach to system modeling based on open graph transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol. 2, pp. 639–668. World Scientific, Singapore (1999)
Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3-4), 287–313 (1996)
Varró, D., Pataricza, A.: Generic and Meta-transformations for Model Transformation Engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)
Tichy, M.: Durchgängige Unterstützung für Entwurf, Implementierung und Betrieb von Komponenten in offenen Softwarearchitekturen mittels UML. Diploma Thesis, University of Paderborn (2002)
Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Fischer, I., Koch, M., Taentzer, G.: Visual design of distributed object systems by graph transformation. Technical Report 98-15, Tech. University of Berlin (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ranger, U., Hermes, T. (2007). Ensuring Consistency Within Distributed Graph Transformation Systems. In: Dwyer, M.B., Lopes, A. (eds) Fundamental Approaches to Software Engineering. FASE 2007. Lecture Notes in Computer Science, vol 4422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71289-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-71289-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71288-6
Online ISBN: 978-3-540-71289-3
eBook Packages: Computer ScienceComputer Science (R0)