Abstract
To configure a process-aware information system (e.g., a workflow system, an ERP system), a business model needs to be transformed into an executable process model. Due to similarities in these transformations for different companies, databases with reference models, such as ARIS for MySAP, have been developed. The models stored in such a database can be customized to generate an executable model. Since these customized models are typically used on an execution level, it is of the utmost importance that both the reference models and their customizations are free of erroneous constructs.
In this paper, we analyze a reference model for SAP R/3 that is stored in the ARIS for MySAP database, and we verify whether it is correct. Since the model is stored as an Event-driven Process Chains (EPC), we use a verification approach tailored towards the verification of this language to check for errors in the model. We show that using this approach adds value to a set of reference models, such as ARIS for MySAP, since modelling errors are discovered at an early stage and can be avoided on an execution level.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
Bernus, P.: GERAM: Generalised Enterprise Reference Architecture and Methodology
Curran, T., Keller, G.: SAP R/3 Business Blueprint: Understanding the Business Process Reference Model, Upper Saddle River (1997)
van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: 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)
van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W(E.): Verification of ePCs: Using reduction rules and petri nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372–386. Springer, Heidelberg (2005)
van Dongen, B.F., Vullers-Jansen, M.H.: EPC Verification in the ARIS for MySAP reference model database. In: BETA Working Paper Series, WP 142. Eindhoven University of Technology, Eindhoven (2005)
Fettke, P., Loos, P.: Classification of Reference Models - a methodology and its application. Information Systems and e-Business Management 1(1), 35–53 (2003)
Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). In: Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken (1992)
Keller, G., Teufel, T.: SAP R/3 Process Oriented Implementation. Addison-Wesley, Reading (1998)
Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Englewood Cliffs (1999)
Rosemann, M.: Application Reference Models and Building Blocks for Management and Control (ERP systems), pp. 595–616. Springer, Berlin (2003)
Rosemann, M., van der Aalst, W.M.P.: A Configurable Reference Modelling Language. QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane (2003)
Sadiq, W., Orlowska, M.E.: Modeling and verification of workflow graphs. Technical Report No. 386, Department of Computer Science. The University of Queensland, Australia (1996)
Scheer, A.W.: Business Process Engineering, Reference Models for Industrial Enterprises. Springer, Berlin (1994)
Scheer, A.W.: Business Process Modelling, 3rd edn. (2000)
Silverston, L.: The Data Model Resource Book. A Library of Universal Data Models for all Enterprises, vol. 1 (2001) (revised edition)
Silverston, L.: The Data Model Resource Book. A Library of Data Models for Specific Industries, vol. 2 (2001) (revised edition)
Frank, U.: Conceptual Modelling as the Core of Information Systems Discipline - Perspectives and Epistemological Challanges. In: Proceedings of the America Conference on Information Systems - AMCIS 1999, Milwaukee, pp. 695–698 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Dongen, B.F., Jansen-Vullers, M.H. (2005). Verification of SAP Reference Models. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_41
Download citation
DOI: https://doi.org/10.1007/11538394_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)