A graph-based approach to the compositional specification of distributed systems
Manuel Koch · Electronic Notes in Theoretical Computer Science · 2002
Distributed graph transformation is introduced 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 topological, local data and dynamical aspects of distributed systems. 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.