Component-based system integration using proper augmented marked graphs

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.