Instance Isolation Analysis for Service-Oriented Architectures


When a service engages in multiple conversations concurrently, incoming messages must be correlated with messages previously sent or received. Languages such as BPEL incorporate correlation as first-class citizen. However, current verification and testing techniques for service implementations largely ignore possible correlation anomalies as they typically focus on isolated conversations. This paper defines the notion of instance isolation and shows how to check this property. For doing so it introduces v*-nets, a Petri net extension with name creation and name passing.

DOI: 10.1109/SCC.2008.44

Extracted Key Phrases

7 Figures and Tables

Cite this paper

@article{Decker2008InstanceIA, title={Instance Isolation Analysis for Service-Oriented Architectures}, author={Gero Decker and Mathias Weske}, journal={2008 IEEE International Conference on Services Computing}, year={2008}, volume={1}, pages={249-256} }