Title :
Siphon-Based Verification of Component Compatibility
Author_Institution :
Dept. of Comput. Sci., Memorial Univ., St. John´´s, NL, Canada
fDate :
June 30 2009-July 2 2009
Abstract :
In component-based systems, two interacting components are compatible if any sequence of services requested by one component can be provided by the other. This concept of compatibility can easily be extended to a set of interacting components. Checking the compatibility of interacting components is essential for any dependable software system. Recently, an approach to verification of component compatibility has been proposed in which the behavior of individual components (at component interfaces) was modeled by labeled Petri nets. Moreover, the composition of interacting components was designed in such a way that all component incompatibilities were manifested by deadlocks in the composed model. Consequently, the verification of component compatibility is performed by deadlock analysis of the composed model. One of techniques for deadlock analysis is based on net structures called siphons. Siphon-based verification of component compatibility is the subject of this paper.
Keywords :
Petri nets; formal verification; object-oriented programming; software architecture; complex software architectures; component compatibility; component-based systems; deadlock analysis; dependable software system; labeled Petri nets; siphon-based verification; Performance analysis; Petri nets; Software systems; System recovery; Petri nets; component compatibility; component-based systems; deadlock analysis; software components;
Conference_Titel :
Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on
Conference_Location :
Brunow
Print_ISBN :
978-0-7695-3674-3
DOI :
10.1109/DepCoS-RELCOMEX.2009.35