Multicomponent compatibility and its verification

Craig, D.C. and Zuberek, W.M.

Proc. 7-th Int. Conf. on Application of Concurrency to System Design (ACSD-07), Bratislava, Slovakia, 10-13 July 2007, pp.233-235.


In component-based systems, a provider component is compatible with a family of requester components components if all possible sequences of services needed by the requester components can be provided by the provider component. For verification of compatibility, the behavior of interacting components, at their interfaces, is modeled by labeled Petri nets with labels representing the requested and provided services. The paper formally defines the composition of interacting components and outlines the compatibility verification process.


Software architecture, software components, component compatibility, Petri nets, deadlock detection.


Available in pdf.