On the Semantics of EPCs: A Framework for Resolving the Vicious Circle

  • Ekkart Kindler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3080)


One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or no formal definition is given at all.

It can be shown that a single transition relation cannot precisely capture the informal idea of the non-local semantics of EPCs. Therefore, we formalize the non-local semantics of EPCs as a pair of two corresponding transition relations by employing standard techniques from fixed point theory.

Actually, there are several choices when formalizing this semantics for EPCs. These choices, however, do not compromise the application of the underlying fixed point theory. Therefore, the mathematics applied in this paper can be considered as a semantical framework for formally defining different kinds of non-local semantics for EPCs. This framework can be used for the discussion and, eventually, for settling the discussion on the semantics of EPCs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cuntz, N.: Über die effiziente Simulation von Ereignisgesteuerten Prozessketten. Masters thesis (in German), University of Paderborn (June 2004) (in preparation)Google Scholar
  2. 2.
    Keller, G., Nüttgens, M., Scheer, A.-W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi), Heft 89, Universität des Saarlandes (January 1992)Google Scholar
  3. 3.
    Leymann, F., Altenhuber, W.: Managing business processes as an information resource. IBM Systems Journal 33(2), 326–348 (1994)CrossRefGoogle Scholar
  4. 4.
    Langner, P., Schneider, C., Wehler, J.: Petri Net Based Certification of Event driven Process Chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 286–305. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: PROMISE 2002, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. GI Lecture Notes in Informatics P-21, pp. 64–77. Gesellschaft für Informatik (2002)Google Scholar
  6. 6.
    Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik 42, 27–35 (2000)Google Scholar
  7. 7.
    Rump, F.J.: Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten. In: Teubner-Reihe Wirtschaftsinformatik, B.G.Teubner, Stuttgart (1999)Google Scholar
  8. 8.
    van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: Nüttgens, M., Rump, F.J. (eds.) EPK 2002, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, November 2002, pp. 71–79 (2002)Google Scholar
  9. 9.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Technical Report QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Ekkart Kindler
    • 1
  1. 1.Computer Science DepartmentUniversity of PaderbornGermany

Personalised recommendations