Incremental composition of software components

Zuberek, W.M. in: Dependable Computer Systems (Advances in Intelligent and Soft Computing 97), ed. W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, T. Walkowiak; Springer-Verlag, pp.301-311, 2011 (ISBN 978-3-642-21392-2)


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 satified by the interacting components for their composition to be incremental and illustrates the concepts using simple examples of interactions.


Software components, component compatibility, component composition, software arxhitecture, Petri nets.


Available in pdf.