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]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF
- Submitted Version
Available under License Creative Commons Attribution Non-commercial. Download (137kB) |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14684 |
| Item ID: | 14684 |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | June 2009 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/10.1109/DepCoS-RELCOMEX.2009.35 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics