Abstract
Distributed graph transformation has been used to specify static as well as dynamic aspects of distributed systems. To support distributed designs by different developers, local views are introduced. A local view on a distributed system consists of one local system, its import and export interfaces, and connected remote interfaces. The behavior of a local system is specified by a set of graph rules that are applicable only to the local view of the local system. Local systems communicate either synchronously or asynchronously via their import and export interfaces. Asynchronous communication is modeled by sequential application of graph rules, synchronous communication by the amalgamation of graph rules. We compose a distributed system grammar from the rule sets for local systems. The operational semantics of the distributed system is given by distributed transformation sequences.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol. 1, World Scientific, Singapore (1997)
Koch, M.: Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, Technische Universität Berlin, FB 13 (1999) (to defend)
Koch, M.: Bedingte verteilte Graphtransformation und ihre Anwendung auf verteilte Transaktionen. Technical Report 97-11, TU Berlin (1997)
Koch, M., Taentzer, G.: Distributing Attributed Graph Transformations. In: Proc. Workshop on General Theory of Graph Transformation Systems, Bordeaux (1997)
Taentzer, G.: Parallel high-level replacement systems. Theoretical Computer Science (186) (1997)
Taentzer, G., Fischer, I., Koch, M., Volle, V.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, vol. III, World Scientific, Singapore (1998) (to appear)
Taentzer, G., Fischer, I., Koch, M., Volle, V.: Visual design of distributed systems by graph transformation. In: Rozenberg, G., Montanari, U., Ehrig, H., Kreowski, H.-J. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency and Distribution, vol. 3. World Scientific, Singapore (1999)
Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, Shaker Verlag (1996)
Volle, K.V.: Verteilte Konfigurationsverwaltung: COMAND. Technical report, Basys GmbH, Am Weichselgarten 4, 91058 Erlangen (1997)
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
Fischer, I., Koch, M., Taentzer, G. (2000). Local Views on Distributed Systems and Their Communication. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-46464-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67203-6
Online ISBN: 978-3-540-46464-8
eBook Packages: Springer Book Archive