Siphon-Based Verification of Component Compatibility

Zuberek, W. M. (2009) Siphon-Based Verification of Component Compatibility. In: Fourth International Conference on Dependability of Computer Systems, 30 June-2 July 2009, Brunow, Poland.

[img] [English] PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (137kB)


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.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14684
Department(s): Science, Faculty of > Computer Science
Date: June 2009
Date Type: Completion
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics