SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
We present a formal model to specify compensation of workflows: Each acyclic workflow net W (as defined by v.d. Aalst) is canonically extended to a net W+, representing the potential occurrence of failures, and the compensation of so-far executed actions. We show that the construction is compositional and correct, i.e. meets the expected properties.