Zuberek, W. M. and Craig, Donald C. (2007) Verification of Component Behavioral Compatibility. In: 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 14-16 June 2007, Szklarska, Poland.
![[img]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.)
- Accepted Version
Available under License Creative Commons Attribution Non-commercial. Download (112kB) |
Abstract
In component-based systems, two components are behaviorally compatible if all possible sequences of services requested by one component can be provided by the other component. Verification of this compatibility is essential if subtle software failures, which are difficult to detect and correct, are to be eliminated. 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 discusses the verification process for several classes of interface languages, with emphasis on the algorithmic aspects of verification.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14584 |
| Item ID: | 14584 |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | June 2007 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/DEPCOS-RELCOMEX.2007.53 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics