Formalization and verification of EPCs with OR-joins based on state and context

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4495 LNCS, Issue , 2007, Pages 439-453

  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

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING; SEMANTICS; VERIFICATION;

EPC; SEMANTICAL DEFINITION;

CODES (SYMBOLS);

EID: 38149048455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72988-4_31     Document Type: Conference Paper

References (29)

1. Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany (1992)
2. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56, 23-40 (2006)
3. Sadiq, W., Orlowska, M.E.: Applying graph reduction techniques for identifying structural conflicts in process models. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 195-209. Springer, Heidelberg (1999)
4. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Wangler, B., Bergman, L. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431-445. Springer, Heidelberg (2000)
5. van Dongen, B., van der Aalst, W., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and petri nets. In: Pastor, O., Falcão e Cunha, J.F. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372-386. Springer, Heidelberg (2005)
6. Esparza, J.: Reduction and synthesis of live and bounded free choice petri nets. Information and Computation 114, 50-87 (1994)
7. van der Aalst, W., Hirnschall, A., Verbeek, H.: An Alternative Way to Analyze Workflow Graphs. In: Banks-Pidduck, A., Mylopoulos, J., Woo, C., Ozsu, M. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535-552. Springer, Heidelberg (2002)
8. Chen, R., Scheer, A.W.: Modellierung von Prozessketten mittels Petri-Netz-Theorie. Heft 107, Institut für Wirtschaftsinformatik, Saarbrücken (1994)
9. Rittgen, P.: Paving the Road to Business Process Automation. In: Proc. of ECIS 2000. pp. 313-319 (2000)
10. 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, Springer, Heidelberg (1998)
11. Leymann, F., Altenhuber, W.: Managing business processes as an information resource. IBM Systems Journal 33, 326-348 (1994)
12. van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology 41, 639-650 (1999)
13. Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 151-170. Springer, Heidelberg (2001)
14. Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Desel, J., Weske, M. (eds.): Promise'02. Vol. 21 of LNI. pp. 64-77 (2002)
15. van der Aalst, W., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: Nüttgens, M., Rump, F. J. (eds.): Proc. of EPK'02. pp. 71-79 (2002)
16. van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Information Systems 30, 245-275 (2005)
17. Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Workflow model compositions perserving relaxed soundness. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, pp. 225-240. Springer, Heidelberg (2006)
18. Mendling, J., Moser, M., Neumann, G.: Transformation of yEPC Business Process Models to YAWL. In: Proc. of ACM SAC, 2, 1262-1267 (2006)
19. Mendling, J., van der Aalst, W.: Towards EPC Semantics based on State and Context. In: Nüttgens, M., Rump, F. J., Mendling, J. (eds.): Proc. of EPK'06 pp. 25-48 (2006)
20. Wynn, M., Edmond, D., van der Aalst, W., ter Hofstede, A.: Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 423-443. Springer, Heidelberg (2005)
21. Leuschel, M., Lehmann, H.: Coverability of reset petri nets and other wellstructured transition systems by partial deduction. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 101-115. Springer, Heidelberg (2000)
22. Finkel, A., Schnoebelen, P.: Well-structured Transition Systems everywhere! Theoretical Computer Science 256, 63-92 (2001)
23. Wynn, M., van der Aalst, W., ter Hofstede, A., Edmond, D.: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, pp. 389-394. Springer, Heidelberg (2006)
24. Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: Proc. of HICSS. 289 (2002)
25. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. Ph.D. Thesis, Vienna University of Economics and Business Administration (2007)
26. Rump, F.J.: Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausführung von EPKs. Teubner (1999)
27. van Dongen, B., Medeiros, A., Verbeek, H., Weijters, A., van der Aalst, W.: The ProM framework: A New Era in Process Mining Tool Support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444-454. Springer, Heidelberg (2005)
28. van der Aalst, W.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
29. Keller, G., Teufel, T.: SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, London (1998)