Zuberek, W. M. (2010) Checking compatibility and substitutability of software components. In: Fifth International Conference on Dependability of Computer Systems, June 29 - July 1, 2010, Brunow, Poland.
![[img]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF
- Accepted Version
Available under License Creative Commons Attribution Non-commercial. Download (197kB) |
Abstract
In component-based systems, two components are compatible if all possible sequences of services requested by one component can be provided by the other component. It has been recently shown that for verification of compatibility, the behavior of interacting components, at their interfaces, can be modeled by labeled Petri nets with labels representing the requested and provided services. Such component models are then composed and the composition operation is designed in such a way that component incompatibilities are manifested as deadlocks in the composed model. Compatibility verification is thus performed through deadlock analysis of the composed models. Component compatibility is also used for the verification of component substitutability; if the new component is compatible with all components that interact with the old component, it can safely replace the old one.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14919 |
| Item ID: | 14919 |
| Additional Information: | DOI number in PDF does not work. |
| Keywords: | Software components, component-based systems, component compatibility, compatibility verification, component substitutability, Petri nets |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | June 2010 |
| Date Type: | Completion |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics