Property-preserving composition of distributed system components

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with host publication)peer-review

1 Scopus Citations
View graph of relations

Author(s)

  • K.S. Cheung
  • K.O. Chow

Related Research Unit(s)

Detail(s)

Original languageEnglish
Title of host publicationAdvanced Parallel Processing Technologies
Subtitle of host publication7th International Symposium, APPT 2007
EditorsMing Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
PublisherSpringer Verlag
Pages111-120
ISBN (Electronic)978-3-540-76837-1
ISBN (Print)9783540768364
Publication statusPublished - 2007

Publication series

NameLecture Notes in Computer Science (including subseries Theoretical Computer Science and General Issues)
Volume4847
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Title7th International Symposium on Advanced Parallel Processing Technologies, APPT 2007
PlaceChina
CityGuangzhou
Period22 - 23 November 2007

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. © Springer-Verlag Berlin Heidelberg 2007.

Citation Format(s)

Property-preserving composition of distributed system components. / Cheung, K.S.; Chow, K.O.
Advanced Parallel Processing Technologies: 7th International Symposium, APPT 2007. ed. / Ming Xu; Yinwei Zhan; Jiannong Cao; Yijun Liu. Springer Verlag, 2007. p. 111-120 (Lecture Notes in Computer Science (including subseries Theoretical Computer Science and General Issues); Vol. 4847).

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with host publication)peer-review