TY - JOUR
T1 - Component-based system integration using proper augmented marked graphs
AU - Cheung, K. S.
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2014.
PY - 2014
Y1 - 2014
N2 - A key challenge in component-based system integration is to ensure the correctness of the integrated system in terms of liveness and boundedness, especially as there involve distributed components competing for some shared resources. This paper proposes a formal integration method for distributed component-based systems using proper augmented marked graphs. A subclass of Petri nets, proper augmented marked graphs possess a special structure for modelling systems with shared resources and desirable properties pertaining to liveness and boundedness. By composing a set of proper augmented marked graphs via common resource places, liveness and boundedness can be preserved under simple conditions. In this paper, based on the theory of proper augmented marked graphs, the modelling and integration of distributed component-based systems with shared resources are elaborated and illustrated.
AB - A key challenge in component-based system integration is to ensure the correctness of the integrated system in terms of liveness and boundedness, especially as there involve distributed components competing for some shared resources. This paper proposes a formal integration method for distributed component-based systems using proper augmented marked graphs. A subclass of Petri nets, proper augmented marked graphs possess a special structure for modelling systems with shared resources and desirable properties pertaining to liveness and boundedness. By composing a set of proper augmented marked graphs via common resource places, liveness and boundedness can be preserved under simple conditions. In this paper, based on the theory of proper augmented marked graphs, the modelling and integration of distributed component-based systems with shared resources are elaborated and illustrated.
KW - Augmented marked graph
KW - Component-based system
KW - Distributed system
KW - Petri net
KW - Shared-resource system
KW - System integration
UR - http://www.scopus.com/inward/record.url?scp=84911934227&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-13966-1_49
DO - 10.1007/978-3-319-13966-1_49
M3 - Article
AN - SCOPUS:84911934227
SN - 0302-9743
VL - 8917
SP - 498
EP - 509
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -