Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

Computers in Industry

Volumn 58, Issue 6, 2007, Pages 578-601

  van Dongen, B F ^a   Jansen Vullers, M H ^a   Verbeek, H M W ^a   van der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Event driven Process Chains; Petri nets; Process mining; SAP R 3 reference models; Verification

Indexed keywords

ERROR ANALYSIS; INFORMATION MANAGEMENT; LOGIC PROGRAMMING; SEMANTICS; SOCIETIES AND INSTITUTIONS; STATE SPACE METHODS;

BUSINESS MODELS; EVENT-DRIVEN PROCESS CHAINS; PROCESS MINING; SAP R/3 REFERENCE MODELS;

DATA STRUCTURES;

EID: 34249010560     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2007.01.001     Document Type: Article

References (43)

1. Keller G., and Teufel T. SAP R/3 Process Oriented Implementation (1998), Addison-Wesley, Reading, MA
2. van der Aalst W.M.P., and van Hee K.M. Workflow Management: Models, Methods, and Systems (2002), MIT press, Cambridge, MA
3. Leymann F., and Roller D. Production Workflow: Concepts and Techniques (1999), Prentice-Hall PTR, Upper Saddle River, New Jersey, USA
4. G. Keller, M. Nüttgens, A.W. Scheer, Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken, 1992.
5. Scheer A.W. Business Process Engineering, Reference Models for Industrial Enterprises (1994), Springer-Verlag, Berlin
6. van der Aalst W.M.P. Workflow verification: finding control-flow errors using Petri-net-based techniques. In: van der Aalst W.M.P., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science (2000), Springer-Verlag, Berlin 161-183
7. Dehnert J., and Rittgen P. Relaxed soundness of business processes. In: Dittrich K.R., Geppert A., and Norrie M.C. (Eds). Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science (2001), Springer-Verlag, Berlin 157-170
8. Dehnert J., and van der Aalst W.M.P. Bridging the gap between business models and workflow specifications. International Journal of Cooperative Information Systems 13 3 (2004) 289-332
9. Desel J., and Esparza J. Free Choice Petri nets, volume 40 of Cambridge Tracts in Theoretical Computer Science (1995), Cambridge University Press, Cambridge, UK
10. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE 77 April (4) (1989) 541-580
11. Silva M., Teruel E., and Colom J.M. Linear algebraic and linear programming techniques for the analysis of place/transition net systems. In: Reisig W., and Rozenberg G. (Eds). Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science (1998), Springer-Verlag, Berlin 309-373
12. W. Sadiq, M.E. Orlowska, Modeling and Verification of Workflow Graphs, Technical Report No. 386, Department of Computer Science, The University of Queensland, Australia, 1996.
13. In: Reisig W., and Rozenberg G. (Eds). Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science (1998), Springer-Verlag, Berlin
14. van der Aalst W.M.P., and ter Hofstede A.H.M. Verification of workflow task structures: a Petri-net-based approach. Information Systems 25 1 (2000) 43-69
15. van Hee K., Sidorova N., and Voorhoeve M. Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst W.M.P., and Best E. (Eds). Application and Theory of Petri Nets, volume 2679 of Lecture Notes in Computer Science (2003), Springer-Verlag, Berlin 335-354
16. Verbeek H.M.W., Basten T., and van der Aalst W.M.P. Diagnosing workflow processes using woflan. The Computer Journal 44 4 (2001) 246-279
17. van der Aalst W.M.P. Formalization and verification of event-driven process chains. Information and Software Technology 41 10 (1999) 639-650
18. van der Aalst W.M.P., Desel J., and Kindler E. On the semantics of EPCs: a vicious circle. In: Nüttgens M., and Rump F.J. (Eds). Proceedings of the EPK 2002: Business Process Management using EPCs. Trier, Germany (November 2002), Gesellschaft für Informatik, Bonn 71-80
19. Langner P., Schneider C., and Wehler J. Petri net based certification of event driven process chains. In: Desel J., and Silva M. (Eds). Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science (1998), Springer-Verlag, Berlin 286-305
20. Sadiq W., and Orlowska M.E. Applying graph reduction techniques for identifying structural conflicts in process models. In: Jarke M., and Oberweis A. (Eds). Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE '99), volume 1626 of Lecture Notes in Computer Science (1999), Springer-Verlag, Berlin 195-209
21. Sadiq W., and Orlowska M.E. Analyzing process models using graph reduction techniques. Information Systems 25 2 (2000) 117-134
22. van der Aalst W.M.P., Hirnschall A., and Verbeek H.M.W. An alternative way to analyze workflow graphs. In: Banks-Pidduck A., Mylopoulos J., Woo C.C., and Ozsu M.T. (Eds). Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), volume 2348 of Lecture Notes in Computer Science (2002), Springer-Verlag, Berlin 535-552
23. Lin H., Zhao Z., Li H., and Chen Z. A novel graph reduction algorithm to identify structural conflicts. Proceedings of the 34th Annual Hawaii International Conference on System Science (HICSS-35) (2002), IEEE Computer Society Press
24. Kindler E. On the semantics of EPCs: a framework for resolving the vicious circle. In: Desel J., Pernici B., and Weske M. (Eds). International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science (2004), Springer-Verlag, Berlin 82-97
25. Kindler E. On the semantics of EPCs: a Framework for resolving the vicious circle. Data and Knowledge Engineering 56 1 (2006) 23-40
26. Cuntz N., Freiheit J., and Kindler E. On the semantics of EPCs: faster calculation for EPCs with small state spaces. In: Nüttgens M., and Rump F.J. (Eds). Proceedings of Fourth Workshop on Event-driven Process Chains (WI-EPK 2005) (2005), Gesellschaft für Informatik, Bonn, Hamburg, Germany, December 7-23
27. Wynn M.T., Edmond D., van der Aalst W.M.P., and ter Hofstede A.H.M. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Ciardo G., and Darondeau P. (Eds). Applications and Theory of Petri Nets, volume 3536 of Lecture Notes in Computer Science (2005), Springer-Verlag, Berlin 423-443
28. van Dongen B.F., and Jansen-Vullers M.H. Verification of SAP reference models. Business Process Management, volume 3649 of Lecture Notes in Computer Science (2005), Springer-Verlag, Berlin pp. 464-469
29. van Dongen B.F., Verbeek H.M.W., and van der Aalst W.M.P. Verification of EPCs: using reduction rules and Petri nets. Conference on Advanced Information Systems Engineering (CAiSE 2005), volume 3520 of Lecture Notes in Computer Science (2005), Springer-Verlag, Berlin 372-386
30. Colom J.M., and Silva M. Convex geometry and semiflows in P/T nets, a comparative study of algorithms for computation of minimal P-semiflows. In: Rozenberg G. (Ed). Advances in Petri Nets, volume 483 of Lecture Notes in Computer Science (1990), Springer-Verlag, Berlin 79-112
31. van der Aalst W.M.P. Verification of workflow nets. In: Azéma P., and Balbo G. (Eds). Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science (1997), Springer-Verlag, Berlin 407-426
32. van Dongen B.F., Alves de Medeiros A.K., Verbeek H.M.W., Weijters A.J.M.M., and van der Aalst W.M.P. The ProM framework: a new Era in process mining tool support. In: Ciardo G., and Darondeau P. (Eds). Application and Theory of Petri Nets, volume 3536 of Lecture Notes in Computer Science (2005), Springer-Verlag, Berlin 444-454
33. van der Aalst W.M.P., van Dongen B.F., Herbst J., Maruster L., Schimm G., and Weijters A.J.M.M. Workflow mining: a survey of issues and approaches. Data and Knowledge Engineering 47 2 (2003) 237-267
34. van Dongen B.F., and van der Aalst W.M.P. Multi-phase process mining: building instance graphs. In: Atzeni P., Chu W., Lu H., Zhou S., and Ling T.W. (Eds). International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science (2004), Springer-Verlag, Berlin 362-376
35. P. Bernus, Generalised Enterprise Reference Architecture and Methodology, Version 1.6.3. IFIP-IFAC Task Force on Architectures for Enterprise Integration, March 1999.
36. Curran T., and Keller G. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model (1997), Pretice-Hall, Upper Saddle River
37. Fettke P., and Loos P. Classification of reference models-a methodology and its application. Information Systems and e-Business Management 1 1 (2003) 35-53
38. Frank U. Conceptual modelling as the core of information systems discipline-perspectives and epistemological challenges. Proceedings of the America Conference on Information Systems-AMCIS '99. Milwaukee (1999) 695-698
39. Rosemann M. Application reference models and building blocks for management and control (ERP systems). In: Bernus P., Nemes L., and Schmidt G. (Eds). Handbook on Enterprise Architecture (2003), Springer-Verlag, Berlin 596-616
40. M. Rosemann, W.M.P. van der Aalst, A Configurable Reference Modelling Language, QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane, Information Systems, vol. 32, no. 1, 2006, pp. 1-23.
41. Scheer A.W. ARIS: Business Process Modelling (2000), Springer-Verlag, Berlin
42. Silverston L. The Data Model Resource Book, vol. 1, A Library of Universal Data Models for all Enterprises (2001), John Wiley and Sons, New York
43. Silverston L. The Data Model Resource Book, vol. 2, A Library of Data Models for Specific Industries (2001), John Wiley and Sons, New York