On the semantics of EPCs: Resolving the vicious circle

Data and Knowledge Engineering

Volumn 56, Issue 1, 2006, Pages 23-40

  Kindler, Ekkart ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Business process modelling; EPC; Event driven process chains; Fixed points; Formal semantics

Indexed keywords

BUSINESS PROCESS MODELING; EVENT DRIVEN PROCESS CHAINS (EPC); FIXED POINTS; FORMAL SEMANTICS;

KNOWLEDGE ENGINEERING; PROCESS CONTROL;

SEMANTICS;

EID: 27544451161     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2005.02.005     Document Type: Article

References (13)

1. W.M.P. van der Aalst, J. Desel, E. Kindler, On the semantics of EPCs: A vicious circle. In M. Nüttgens, F.J. Rump, (Eds.), EPK 2002, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, November 2002, pp. 71-79.
2. W.M.P. van der Aalst and A.H.M. ter Hofstede, YAWL: Yet Another Workflow Language. Technical Report QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.
3. 20 states and beyond Information and Computation 98 1992 142 170
4. E. Clarke, O. Grumberg, and D. Peled Model Checking 1999 MIT Press
5. N. Cuntz, Über die effiziente Simulation von Ereignisgesteuerten Prozessketten, Masters thesis (in German), University of Paderborn, June 2004.
6. N. Cuntz and E. Kindler. The EPC Tools project. http://www.upb.de/cs/kindler/research/EPCTools, 2004.
7. N. Cuntz, E. Kindler, On the semantics of EPCs: Efficient Calculation and Simulation, In: M. Nüttgens, F.J. Rump, (Eds.), EPK2002, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, October 2004, pp. 7-26.
8. G. Keller, M. Nüttgens, and A.-W. Scheer. Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi), Heft 89, Universität des Saarlandes, January 1992.
9. F. Leymann, and W. Altenhuber Managing business processes as an information resource IBM Systems Journal 33 2 1994 326 348
10. P. Langner, C. Schneider, and J. Wehler Petri net based certification of event driven process chains J. Desel M. Silva Application and Theory of Petri Nets 1998 LNCS 1420 1998 Springer 286 305
11. M. Nüttgens, F.J. Rump, 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.
12. P. Rittgen Quo vadis EPK in ARIS? Wirtschaftsinformatik 42 2000 27 35
13. F.J. Rump, Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten, Teubner-Reihe Wirtschaftsinformatik. B.G.Teubner, 1999.