TY - GEN
T1 - Property-preserving composition of distributed system components
AU - Cheung, K. S.
AU - Chow, K. O.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38149078917&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-76837-1_15
DO - 10.1007/978-3-540-76837-1_15
M3 - Conference contribution
AN - SCOPUS:38149078917
SN - 9783540768364
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 111
EP - 120
BT - Advanced Parallel Processing Technologies - 7th International Symposium, APPT 2007
T2 - 7th International Symposium on Advanced Parallel Processing Technologies, APPT 2007
Y2 - 22 November 2007 through 23 November 2007
ER -