Checking compatibility and substitutability of software components

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

Download (197kB)


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)
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 View Item


Downloads per month over the past year

View more statistics