Compositional Specification of Distributed Systems by Distributed Graph Transformation

Manuel Koch ()
Additional contact information
Manuel Koch: Universitá degli Studi di Roma “La Sapienza”, Dipartimento dell’Informazione

A chapter in Communication-Based Systems, 2000, pp 73-91 from Springer

Abstract: Abstract Our daily life is confronted with a growing number of distributed systems consisting of a dynamically changing number of components connected via a network. Compared with central systems, distributed systems are more economical, faster, more suitable for distributed applications and easy extensible. On the other hand, to develop distributed systems and to ensure their quality and correctness, is more challengeable. I introduce distributed graph transformation as a formal specification technique for the compositional specification of distributed systems. Distributed graph transformations are an intuitive, graphical and rule-based formalism to model the topology and the local data aspects as well as the dynamic behavior of the system. The approach is compositional in the sense that local components are specified locally and are composed by means of synchronization constraints. The operational semantics of the distributed system is composed from the operational semantics of its components.

Keywords: Transformation System; Process Type; Operational Semantic; Graph Transformation; Local Component (search for similar items in EconPapers)
Date: 2000
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-015-9608-4_6

Ordering information: This item can be ordered from
http://www.springer.com/9789401596084

DOI: 10.1007/978-94-015-9608-4_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().