Property-preserving composition of distributed system components

K. S. Cheung, K. O. Chow

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationAdvanced Parallel Processing Technologies - 7th International Symposium, APPT 2007
Pages111-120
Number of pages10
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event7th International Symposium on Advanced Parallel Processing Technologies, APPT 2007 - Guangzhou, China
Duration: 22 Nov 200723 Nov 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4847 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Symposium on Advanced Parallel Processing Technologies, APPT 2007
Country/TerritoryChina
CityGuangzhou
Period22/11/0723/11/07

Fingerprint

Dive into the research topics of 'Property-preserving composition of distributed system components'. Together they form a unique fingerprint.

Cite this