Conjugated Graph Grammars as a Mean to Assure Consistency of Systems of Conjugated Graphs

• Published in: 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX pp. 119 - 126
• Main Authors: Kotulski, L., Fryz, L.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.06.2008
• Subjects: Graph transformations; parallel derivation

Using graph grammars as a formal tool that supports the distributed system description necessitates a solution to both the problem of assurance of cohesion distributed subgraphs describing the system and making possible cooperation of (different) graph grammars (that will modify these graphs). The d...