Craig, Donald C. and Zuberek, W. M. (2006) Compatibility of Software Components - Modeling and Verification. In: 2006 International Conference on Dependability of Computer Systems, 25-27 May 2006, Szklarska Poreba, 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 (187kB) |
Abstract
Component-based software engineering (CBSE) has been emerging as a promising approach to the development of large-scale software architectures in which software components with well-defined interfaces can be quickly assembled into complex software systems. However, assembled components must be compatible in the sense that any sequence of operations requested by one of the interacting components must be provided by the other component(s). Component incompatibility may result in subtle software failures which are difficult to detect and correct. A formal model of component interaction is proposed by representing component behaviors by labeled Petri nets. These net models are designed in such a way that component incompatibility is manifested by deadlocks in the net model of interacting components. Reachability-based as well as structural methods of deadlock detection are discussed. A simple example illustrating the proposed approach is provided.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14620 |
| Item ID: | 14620 |
| Keywords: | software architecture, software components, component compatibility, Petri nets, deadlock detection |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | May 2006 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/10.1109/DEPCOS-RELCOMEX.2006.13 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics