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]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[English]
PDF
- Accepted Version
Available under License Creative Commons Attribution Non-commercial. Download (112kB) |
Abstract
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) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14922 |
| 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): | https://doi.org/10.1007/978-3-319-00945-2_50 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics