The Community for Technology Leaders
RSS Icon
July 7, 2008 to July 11, 2008
ISBN: 978-0-7695-3283-7
pp: 249-256
ABSTRACT
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.
INDEX TERMS
correlation, service choreography, isolation
CITATION
Gero Decker, Mathias Weske, "Instance Isolation Analysis for Service-Oriented Architectures", SCC, 2008, 2013 IEEE International Conference on Services Computing, 2013 IEEE International Conference on Services Computing 2008, pp. 249-256, doi:10.1109/SCC.2008.44
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool