Abstract
In this contribution we consider the application of distributed graph transformation to the problem of specifying dynamic change in distributed systems. Change in distributed systems is related to at least two levels. One is the management of change in a local node of the distributed system and how such a local change is then propagated to those nodes which need to know about the change. The other aspect is changing the structure of the distributed system itself. This implies e.g. to add and/or remove a local node or an entire subsystem to/from the distributed system. In some important application areas such operations must be done during runtime without disturbing the unmodified rest of the distributed computing system. We first give an overview of our model of change and how exactly the two aspects of change interact. We describe distributed graph transformation as a technique to realize our change model. An example – a ring database – then shows how our approach can be applied to a small but nontrivial distributed system. This example shows nicely how the two aspects of change can be described uniformly using graph transformation rules and how the interaction of the two change aspects can be defined in an adequate way. Since this is ongoing work we conclude with an assessment of our approach and a brief discussion of further work.
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.
Similar content being viewed by others
References
Agnew, B., Hofmeister, C.R., Purtilo, J.M.: Planning for Change: A Reconfiguration Language for Distributed Systems. In: Proc. 2nd Int. Conf. on Distributed Computing Systems. IEEE Computer Society Press, Pittsburgh (1994)
Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96, 217–248 (1992)
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1, pp. 163–245. World Scientific, Singapore (1997)
Fischer, I., Koch, M., Taentzer, G.: Local Views on Distributed Systems and their Communication, TAGT 98, tr-ri-98-201 Dept. of Computer Science, University of Paderborn, Germany
Fischer, I., Koch, M., Volle, V.: Modeling Distributed Configuration Management by Distributed Attributed Graph Transformation, to appear as technical report at University of Erlangen, Germany (1998)
Fossa, H., Sloman, M.: Implementing Interactive Configuration Management for Distributed Systems. In: Proc. of the 3rd ICCDS, pp. 44–51. IEEE Computer Society Press, Annapolis (1996)
Goedicke, M., Meyer, T.: Dynamic Semantics Negotiation in Distributed and Evolving CORBA Systems: Towards Semantics-Directed System Configuration. In: Proc. 4th ICCDS, Annapolis, USA (1998)
Goedicke, M., Meyer, T., Taentzer, G.: ViewPoint-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. In: Proc. 4th IEEE Intl Symp. on Requirements Engineering, Limerick, Ireland (1999)
Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars – A constructive Approach. In: Proc. of SEGRAGR 1995 ’Graph Rewriting and Computation’, Electronic Notes of TCS, vol. 2 (1995), http://www.elsevier.nl/locate/entcs/volume2.html
Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A Case Study. In: Proc. 4th ICCDS, Annapolis, USA (1998)
Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE TSE, SE-16 11, 1293–1306 (1990)
Magee, J., Kramer, J.: Self Organizing Software Architectures. In: Proc. SIGSOFT Workshops, pp. 35–38. ACM Press, New York (1996)
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: Proc. 4th ACM SIGSOFT Symp. Foundations of Software Engineering. ACM Press, San Francisco (1996)
Magee, J., Dulay, N., Kramer, J.: Regis: A Constructive Development Environment for Distributed Programs. IEE/IOP/ BCS Distributed Systems Engineering Journal 1(5), 304–312 (1994)
Métayer, D.L.: Software architecture styles as graph grammars. In: Proc. 4th ACM SIGSOFT Symp. Foundations of Software Engineering, pp. 15–23. ACM Press, New York (1996)
Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, Shaker Verlag (1996)
Taentzer, G., Fischer, I., Koch, M., and Volle, V.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems, to appear in Graph Grammar Handbook 3 Concurrency and Distribution (1998)
Taentzer, G., Ermel, C., Rudolf, C.: AGG-Approach: Language and Tool Environment, in Graph Grammar handbook 2: Specification and Programming (1998)
Taentzer, G., Goedicke, M., Meyer, T.: Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems. Tech. Rep., Dept. of Math. and Computing, Univ. of Essen (1998)
Wermelinger, M.: Towards a Chemical Model for Software Architecture Reconfiguration. In: Proc. 4th ICCDS, Annapolis, USA (1998)
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
Taentzer, G., Goedicke, M., Meyer, T. (2000). Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Theory and Application of Graph Transformations. TAGT 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46464-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-46464-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67203-6
Online ISBN: 978-3-540-46464-8
eBook Packages: Springer Book Archive