Shuffle-based verification of component compatibility

Zuberek, W.M.

in: New Results in Dependability and Complex Sytems (Advances in Intelligent and Soft Computing 224); ed. W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, J. Kacprzyk; Springer Internatioanl Publishing, pp.543-553, 2013 (DOI 10.1007/978-3-319-00945-2_50).


An extension of earlier work on component compatibility is described in this paper. Similarly as before, the behavior of components is specified by component interface languages, and the shuffle operation is introduced to represent possible interleavings of service requests that originate at several concurrent components. The paper shows that the verification of component compatibility is possible without the exhaustive analysis of the state space of interacting components. Exhaustive analysis of state spaces was the basis of earlier approaches to compatibility verification.


software components, component-based systems, component composition, component compatibility, compatibility verification, shuffle operation, labelled Petri nets


Available in pdf.