Incremental Composition of Software Components

Zuberek, W. M. (2011) Incremental Composition of Software Components. In: Sixth International Conference on Dependability of Complex Systems,, June 27 – July 1, 2011, Brunow Palace, Poland.

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

Download (140kB)


In component-based systems, two interacting components are compatible if all sequences of services requested by one components can be provided by the other component. In the case of several components interacting with a single provider, as is typically the case in client–server computing, the requests from different components can be interleaved and therefore verifying component compatibility must check all possible interleavings of requests from all interacting components. Incremental composition of interacting components eliminates this need for exhaustive combinatorial checking of the interleavings by imposing some restrictions on the interleavings. The paper introduces simple conditions which must be satisfied by the interacting components for their composition to be incremental and illustrates the concepts using simple examples of interactions.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14920
Keywords: Software Componen,t Regular Language, Component Behavior, Single Provider, Interface Language
Department(s): Science, Faculty of > Computer Science
Date: June 2011
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