Compositional synthesis of distributed system components based on augmented marked graphs

• Main Author: K. S. Cheung
• Format: Article
• Language: English
• Published: Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata 2008-04-01
• Series: Journal of Computer Science and Technology
• Subjects: petri nets; augmented marked graphs; distributed systems; component-based system design
• Online Access: https://journal.info.unlp.edu.ar/JCST/article/view/766

Augmented marked graphs possess a special structure for modelling common resources as well as some desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. This paper investigates the property-preserving composition of augmented marked graphs for the synthesis of distributed systems. It is proposed that distributed system components are specified as augmented marked graphs. An integrated system is obtained by composing these augmented marked graphs via their common resource places. Based on preservation of properties, liveness, boundedness, reversibility and conservativeness of the system can be readily derived. This contributes to resolve the problem of ensuring design correctness in the composition of distributed system components.