Linguistic Approach to Specifying Component Compatibility and Substitutability

Zuberek, W.M.

in: Symbiosis of Technology and Computer Science, ed. T. Kwater, B. Twarog, Wyd. Uniwersytetu Rzeszowskiego, Rzeszow, pp.11-36, 2010 (ISBN 978-83-7338-620-4)


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 the 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 also convenient for analysis of more complex interactions involving several components requesting services, when interleaving of requests can take place. 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, the new component can safely replace the old one.


Software components, component-based systems, component compatibility, compatibility verification, component substitutability, Petri nets.