Service Renaming in Component Composition

Zuberek, W. M. (2012) Service Renaming in Component Composition. In: Seventh International Conference on Dependability of Complex Systems, June, 25-29 2012, Brunow Palace, Poland.

[img] [English] PDF - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (147kB)


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 cleint-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.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14921
Keywords: Software Component, Regular Language, Component Composition, Interface Language, Provider Component
Department(s): Science, Faculty of > Computer Science
Date: June 2012
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