TAGT 1998: Theory and Application of Graph Transformations pp 179-193 | Cite as
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems
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.
Keywords
Network Node Graph Transformation Network Graph Graph Grammar Graph ElementPreview
Unable to display preview. Download preview PDF.
References
- 1.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)Google Scholar
- 2.Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96, 217–248 (1992)MATHCrossRefMathSciNetGoogle Scholar
- 3.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)CrossRefGoogle Scholar
- 4.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 Google Scholar
- 5.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) Google Scholar
- 6.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)Google Scholar
- 7.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)Google Scholar
- 8.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)Google Scholar
- 9.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
- 10.Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A Case Study. In: Proc. 4th ICCDS, Annapolis, USA (1998)Google Scholar
- 11.Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE TSE, SE-16 11, 1293–1306 (1990)Google Scholar
- 12.Magee, J., Kramer, J.: Self Organizing Software Architectures. In: Proc. SIGSOFT Workshops, pp. 35–38. ACM Press, New York (1996)Google Scholar
- 13.Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: Proc. 4th ACM SIGSOFT Symp. Foundations of Software Engineering. ACM Press, San Francisco (1996)Google Scholar
- 14.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)CrossRefGoogle Scholar
- 15.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)CrossRefGoogle Scholar
- 16.Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, Shaker Verlag (1996) Google Scholar
- 17.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) Google Scholar
- 18.Taentzer, G., Ermel, C., Rudolf, C.: AGG-Approach: Language and Tool Environment, in Graph Grammar handbook 2: Specification and Programming (1998) Google Scholar
- 19.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) Google Scholar
- 20.Wermelinger, M.: Towards a Chemical Model for Software Architecture Reconfiguration. In: Proc. 4th ICCDS, Annapolis, USA (1998)Google Scholar