Compatibility of Software Components - Modeling and Verification

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] [English] PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (187kB)


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)
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):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics