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

Abstract

A reference model is a generic conceptual model that formalizes recommended practices for a certain domain. Today, the SAP reference models are among the most comprehensive reference models, including over 4000 entity types and covering over 1000 business processes and inter-organizational scenarios. The SAP reference models use Event-driven Process Chains (EPCs) to model these processes and scenarios. Like other informal languages, EPCs are intended to support the transition from a business model to an executable model. For this reason, researchers have tried to formalize the semantics of EPCs. However, in their approaches, they fail to acknowledge the fact that in EPCs constructs exist that require human judgment to assess correctness. This paper aims to acknowledge this fact by introducing a two-step approach. First, the EPC is reduced using universally accepted reduction rules. Second, the reduced EPC is analyzed using a mixture of state-space analysis, invariants, and human judgment. This approach has been implemented in a tool, and applying this tool to the SAP reference models showed that these contain errors, which clearly shows the added value of this verification approach.

References

1. [1] Keller, G. and Teufel, T., SAP R/3 Process Oriented Implementation. 1998. Addison-Wesley, Reading, MA.
2. [2] van der Aalst, W.M.P. and van Hee, K.M., Workflow Management: Models, Methods, and Systems. 2002. MIT press, Cambridge, MA.
3. [3] Leymann, F. and Roller, D., Production Workflow: Concepts and Techniques. 1999. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA.
4. [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. [5] Scheer, A.W., Business Process Engineering, Reference Models for Industrial Enterprises. 1994. Springer-Verlag, Berlin.
6. [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., Oberweis, A. (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 161-183.
7. [7] Dehnert, J. and Rittgen, P., Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., 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, Springer-Verlag, Berlin. pp. 157-170.
8. [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. v13 i3. 289-332.
9. [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. [10] Murata, T., Petri nets: properties, analysis and applications. Proceedings of the IEEE. v77 iApril (4). 541-580.
11. [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., Rozenberg, G. (Eds.), Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 309-373.
12. [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. [13] In: Reisig, W., Rozenberg, G. (Eds.), Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, Springer-Verlag, Berlin.
14. [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. v25 i1. 43-69.
15. [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., Best, E. (Eds.), Application and Theory of Petri Nets, volume 2679 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 335-354.
16. [16] Verbeek, H.M.W., Basten, T. and van der Aalst, W.M.P., Diagnosing workflow processes using woflan. The Computer Journal. v44 i4. 246-279.
17. [17] van der Aalst, W.M.P., Formalization and verification of event-driven process chains. Information and Software Technology. v41 i10. 639-650.
18. [18] van der Aalst, W.M.P., Desel, J. and Kindler, E., On the semantics of EPCs: a vicious circle. In: Nüttgens, M., Rump, F.J. (Eds.), Proceedings of the EPK 2002: Business Process Management using EPCs, Gesellschaft für Informatik, Bonn. pp. 71-80.
19. [19] Langner, P., Schneider, C. and Wehler, J., Petri net based certification of event driven process chains. In: Desel, J., Silva, M. (Eds.), Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 286-305.
20. [20] Sadiq, W. and Orlowska, M.E., Applying graph reduction techniques for identifying structural conflicts in process models. In: Jarke, M., Oberweis, A. (Eds.), Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE '99), volume 1626 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 195-209.
21. [21] Sadiq, W. and Orlowska, M.E., Analyzing process models using graph reduction techniques. Information Systems. v25 i2. 117-134.
22. [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., 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, Springer-Verlag, Berlin. pp. 535-552.
23. [23] Lin, H., Zhao, Z., Li, H. and Chen, Z., A novel graph reduction algorithm to identify structural conflicts. In: Proceedings of the 34th Annual Hawaii International Conference on System Science (HICSS-35), IEEE Computer Society Press.
24. [24] Kindler, E., On the semantics of EPCs: a framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (Eds.), International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 82-97.
25. [25] Kindler, E., On the semantics of EPCs: a Framework for resolving the vicious circle. Data and Knowledge Engineering. v56 i1. 23-40.
26. [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., Rump, F.J. (Eds.), Proceedings of Fourth Workshop on Event-driven Process Chains (WI-EPK 2005), Gesellschaft für Informatik, Bonn, Hamburg, Germany, December. pp. 7-23.
27. [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., Darondeau, P. (Eds.), Applications and Theory of Petri Nets, volume 3536 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 423-443.
28. [28] van Dongen, B.F. and Jansen-Vullers, M.H., Verification of SAP reference models. 2005. Springer-Verlag, Berlin.
29. [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. In: Conference on Advanced Information Systems Engineering (CAiSE 2005), volume 3520 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 372-386.
30. [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, Springer-Verlag, Berlin. pp. 79-112.
31. [31] van der Aalst, W.M.P., Verification of workflow nets. In: Azéma, P., Balbo, G. (Eds.), Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 407-426.
32. [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., Darondeau, P. (Eds.), Application and Theory of Petri Nets, volume 3536 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 444-454.
33. [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. v47 i2. 237-267.
34. [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., Ling, T.W. (Eds.), International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. pp. 362-376.
35. [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. [36] Curran, T. and Keller, G., SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. 1997. Pretice-Hall, Upper Saddle River.
37. [37] Fettke, P. and Loos, P., Classification of reference models-a methodology and its application. Information Systems and e-Business Management. v1 i1. 35-53.
38. [38] Frank, U., Conceptual modelling as the core of information systems discipline-perspectives and epistemological challenges. In: Proceedings of the America Conference on Information Systems-AMCIS '99, pp. 695-698.
39. [39] Rosemann, M., Application reference models and building blocks for management and control (ERP systems). In: Bernus, P., Nemes, L., Schmidt, G. (Eds.), Handbook on Enterprise Architecture, Springer-Verlag, Berlin. pp. 596-616.
40. [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. [41] Scheer, A.W., ARIS: Business Process Modelling. 2000. Springer-Verlag, Berlin.
42. [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. [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.

Index Terms

• Applied computing

  • Operations research

    • Decision analysis

• Information systems

  • Information systems applications

    • Data mining

    • Decision support systems

• Social and professional topics

  • Professional topics

    • Management of computing and information systems

      • Project and people management