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.


Task Model Activation Place Compositional Semantic Source Place Sink Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In: Jensen, K. (ed.) Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets andCPN Tools (CPN 2002), DAIMI, Aarhus, Denmark, August 2002, vol. 560, pp. 1–20 (2002)Google Scholar
  3. 3.
    Du, W., Davis, J., Shan, M.C.: Flexible specification of workflow compensation scopes. In: GROUP 1997, pp. 309–316 (1997)Google Scholar
  4. 4.
    Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)zbMATHGoogle Scholar
  5. 5.
    Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987. Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 249–259. ACM Press, New York (1987)CrossRefGoogle Scholar
  6. 6.
    Leymann, F.: Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems. In: BTW 1995, pp. 51–70 (1995)Google Scholar
  7. 7.
    Reisig, W.: Elements of Distributed Algorithms: Modelling and Analysis with Petri Nets. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  8. 8.
    WFMC: Workflow Management Coalition, The Workflow Reference Model (TC00–1003). Technical Report, Workflow Management Coalition, Hempshire, UK (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Baver Acu
    • 1
  • Wolfgang Reisig
    • 1
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlin

Personalised recommendations