Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
Matthieu Perrin, Claude Jard, Achour Mostefaoui
TL;DR
This paper presents a method to track causal dependencies in ORC web service orchestrations by instrumenting operational semantics, enabling detection of race conditions through asymmetric labeled event structures.
Contribution
It introduces a novel approach to instrument ORC's operational semantics for causal dependency tracking using asymmetric labeled event structures.
Findings
Effective detection of race conditions in web service orchestrations
Operational semantics can be instrumented for causal dependency analysis
Application demonstrated on a Web service orchestration instance
Abstract
This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on asymmetric labeled event structures. The approach is illustrated using a Web service orchestration instance and the detection of race conditions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services · Business Process Modeling and Analysis · Distributed systems and fault tolerance