Shuffle–based verification of component compatibility

Zuberek, W. M. (2013) Shuffle–based verification of component compatibility. In: Eighth International Conference on Dependability of Complex Systems, Sept. 8-13, 2013, Brunow Palace, Poland.

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

Download (112kB)


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.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14922
Keywords: software components, component-based systems, compo- nent composition, component compatibility, compatibility verification, shuffle operation, labelled Petri nets
Department(s): Science, Faculty of > Computer Science
Date: September 2013
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