Service renaming in component composition

Zuberek, W.M.

in: Complex Systems and Dependability (Advances in Intelligent and Soft Computing 170); ed. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk; Springer-Verlag, pp.319-330, 2012 (ISBN 978-3-642-30661-7).


In component-based systems, the behavior of components is usually described at component interfaces and the components are characterized as requester (active) and provider (reactive) components. Two interacting components are considered compatible if all possible sequences of services requested by one component can be provided by the other component. This concept of component compatibility can be extended to sets of interacting components, however, in the case of several requester components interacting with one or more provider components, as is typically the case of client--server applications, the requests from different components can be interleaved and then verifying component compatibility must take into account all possible interleavings of requests. Such interleaving of requests can lead to unexpected behavior of the composed system, e.g. a deadlock can occur. Service renaming is proposed as a method of systematic eliminating of such unexpected effects and streamlining component compositions.


software components, component-based systems, component compatibility, compatibility verification, service renaming.


Available in pdf.