Towards EPC semantics based on state and context

EPK 2006 - Geschaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 5th Workshop der Gesellschaft fur Informatik e.V. (GI) und Treffen Ihres Arbeitkreises - Proceedings

Volumn , Issue , 2006, Pages 25-48

  Mendling, Jan ^a   Van Der Aalst, Wil ^b  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODELING LANGUAGES; FOUR-PHASE APPROACH; NEGATIVE TOKENS; ON STATE;

ENTERPRISE RESOURCE MANAGEMENT; SYSTEMS ENGINEERING;

SEMANTICS;

EID: 84873943354     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. W. M. P. van der Aalst. Verification of Workflow Nets. In P. Aźema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of LNCS, pages 407-426. 1997.
2. W. M. P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650, 1999.
3. W. M. P. van der Aalst, J. Desel, and E. Kindler. On the semantics of EPCs: A vicious circle. In M. N̈uttgens and F. J. Rump, editor, Proc. of the 1st GI-Workshop EPK 2002, pages 71-79, 2002.
4. Wil M. P. van der Aalst and Arthur H. M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275, 2005.
5. N. Cuntz and E. Kindler. On the semantics of epcs: Efficient calculation and simulation. In W. M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management, 3rd Int. Conference BPM 2005, volume 3649 of LNCS, pages 398-403, 2005.
6. R. Chen and A. W. Scheer. Modellierung von Prozessketten mittels Petri- Netz-Theorie. Heft 107, Institut fürWirtschaftsinformatik, Saarbrücken, Germany, 1994.
7. Nicolas Cuntz, Über die effiziente Simulation von Ereignisgesteuerten Prozessketten. Master's thesis, Univ. of Paderborn, June 2004. (in German).
8. Juliane Dehnert and Wil M. P. van der Aalst. Bridging The Gap Between Business Models AndWorkflow Specifications. Int. J. Cooperative Inf. Syst., 13(3):289-332, 2004.
9. A. Finkel and Ph. Schnoebelen. Well-structured Transition Systems everywhere! Theoretical Computer Science, 256(1-2):63-92, April 2001.
10. K. van Hee, O. Oanea, A. Serebrenik, N. Sidorova, and M. Voorhoeve. Workflow model compositions perserving relaxed soundness. In S. Dustdar, J. . Fiadeiro, and A. Sheth, editors, Business Process Management, 4th Int. Conference, BPM 2006, volume 4102 of LNCS, pages 225-240. 2006.
11. Ekkart Kindler. On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng., 56(1):23-40, 2006.
12. G. Keller, M. Nüttgens, and A.-W. Scheer. Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)". Heft 89, Institut f̈ur Wirtschaftsinformatik, Saarbr̈ucken, Germany, 1992.
13. Frank Leymann and Wolfgang Altenhuber. Managing business processes an an information resource. IBM Systems Journal, 33(2):326-348, 1994.
14. P. Langner, C. Schneider, and J. Wehler. Petri Net Based Certification of Event driven Process Chains. In J. Desel and M. Silva, editor, Application and Theory of Petri Nets, volume 1420 of LNCS, pages 286-305, 1998.
15. Jan Mendling, Michael Moser, and Gustaf Neumann. Transformation of yEPC Business Process Models to YAWL. In Proceedings of the 21st Annual ACM Symposium on Applied Computing, volume 2, pages 1262-1267, Dijon, France, 2006. ACM.
16. J. Mendling and M. N̈uttgens. EPC Modelling based on Implicit Arc Types. In M. Godlevsky and S. W. Liddle and H. C. Mayr, editor, Proc. of the 2nd International Conference on Information Systems Technology and its Applications (ISTA), volume 30 of LNI, pages 131-142, 2003.
17. M. Nüttgens and F. J. Rump. Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In J. Desel and M. Weske, editor, Proceedings of Promise 2002, Potsdam, Germany, volume 21 of LNI, pages 64-77, 2002.
18. P. Rittgen. Paving the Road to Business Process Automation. In Proc. of the Europ. Conf. on Information Systems (ECIS), pages 313-319, 2000.
19. F. J. Rump. Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausf̈uhrung von EPKs. Teubner Verlag, 1999.
20. M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond. VerifyingWorkflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. In S. Dustdar, J.L. Fiadeiro, and A. Sheth, editors, Proceedings of BPM 2006, volume 4102 of LNCS, pages 389-394, Vienna, Austria, 2006.
21. M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536, pages 423-443, 2005.