Compositional specification of distributed systems by distributed graph transformation

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.