Local Views on Distributed Systems and their Communications

Taentzer G, Koch M, Fischer I (2000)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2000

Publisher: Springer

Series: Lecture Notes of Computer Science

City/Town: Berlin Heidelberg

Book Volume: 1764

Pages Range: 162-176

Conference Proceedings Title: Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98)

Event location: Paderborn DE

ISBN: 978-3-540-67203-6

URI: http://www2.informatik.uni-erlangen.de/publication/download/TAGT.ps.gz

DOI: 10.1007/978-3-540-46464-8_12

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.

How to cite

APA:

Taentzer, G., Koch, M., & Fischer, I. (2000). Local Views on Distributed Systems and their Communications. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.), Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98) (pp. 162-176). Paderborn, DE: Berlin Heidelberg: Springer.

MLA:

Taentzer, Gabi, Manuel Koch, and Ingrid Fischer. "Local Views on Distributed Systems and their Communications." Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT'98), Paderborn Ed. Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, Berlin Heidelberg: Springer, 2000. 162-176.

BibTeX: Download