Property-preserving composition of distributed system components

Authors:
K. S. Cheung;K. O. Chow
Affiliations:
Hong Kong Baptist University, Kowloon Tong, Hong Kong;City University of Hong Kong, Hong Kong
Venue:
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Year:
2007

Citing 5
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Component-based software engineering: putting the pieces together

Component-based software engineering: putting the pieces together
Building Reliable Component-Based Software Systems

Building Reliable Component-Based Software Systems
New characterization for live and reversible augmented marked graphs

Information Processing Letters
Deciding H1 by resolution

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 then obtained by composing these augmented marked graphs via their common resource places. Based on the preservation of properties, the liveness, boundedness, reversibility and conservativeness of the integrated system can be readily derived. This effectively solves the difficult problem of ensuring design correctness in the composition of distributed system components.