Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cuntz, N.: Über die effiziente Simulation von Ereignisgesteuerten Prozessketten. Masters thesis (in German), University of Paderborn (June 2004) (in preparation)
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)
Leymann, F., Altenhuber, W.: Managing business processes as an information resource. IBM Systems Journal 33(2), 326–348 (1994)
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)
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)
Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik 42, 27–35 (2000)
Rump, F.J.: Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten. In: Teubner-Reihe Wirtschaftsinformatik, B.G.Teubner, Stuttgart (1999)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kindler, E. (2004). On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds) Business Process Management. BPM 2004. Lecture Notes in Computer Science, vol 3080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25970-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-25970-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22235-4
Online ISBN: 978-3-540-25970-1
eBook Packages: Springer Book Archive