Verification of SAP reference models

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 464-469

  Van Dongen, B F ^a   Jansen Vullers, M H ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Event driven Process Chains; Reference Models; SAP; Verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; ENTERPRISE RESOURCE PLANNING; INFORMATION SCIENCE; PROCESS CONTROL;

PROCESS MODELS; PROCESS-AWARE INFORMATION SYSTEMS; REFERENCE MODELS; WORKFLOW SYSTEMS;

INFORMATION MANAGEMENT;

EID: 27144486220     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_41     Document Type: Conference Paper

References (18)

1. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
2. P. Bernus. GERAM: Generalised Enterprise Reference Architecture and Methodology.
3. T. Curran and G. Keller. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Upper Saddle River, 1997.
4. B.F. van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A new era in process mining tool support. In accepted tool presentation at ATPN 2005, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2005.
5. B.F. van Dongen, H.M.W. Verbeek, and W.M.P. van der Aalst. Verification of EPCs: Using reduction rules and Petri nets. In Conference on Advanced Information Systems Engineering (CAiSE 2005), Lecture Notes in Computer Science, pages 372-386. Springer-Verlag, Berlin, 2005.
6. B.F. van Dongen and M.H. Vullers-Jansen. EPC Verification in the ARIS for MySAP reference model database. BETA Working Paper Series, WP 142, Eindhoven University of Technology, Eindhoven, 2005.
7. P. Fettke and P. Loos. Classification of Reference Models - a methodology and its application. Information Systems and e-Business Management, 1(1):35-53, 2003.
8. G. Keller, M. Nüttgens, and 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.
9. G. Keller and T. Teufel. SAP R/3 Process Oriented Implementation. Addison-Wesley, Reading MA, 1998.
10. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA, 1999.
11. M. Rosemann. Application Reference Models and Building Blocks for Management and Control (ERP systems), pages 595-616. Springer-Verlag, Berlin, 2003.
12. M. Rosemann and W.M.P. van der Aalst. A Configurable Reference Modelling Language. QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane, 2003.
13. W. Sadiq and M.E. Orlowska. Modeling and verification of workflow graphs. Technical Report No. 386, Department of Computer Science, The University of Queensland, Australia, 1996.
14. A.W. Scheer. Business Process Engineering, Reference Models for Industrial Enterprises. Springer-Verlag, Berlin, 1994.
15. A.W. Scheer. Business Process Modelling. 3rd edition, 2000.
16. L. Silverston. The Data Model Resource Book, Volume 1, A Library of Universal Data Models for all Enterprises, revised edition, 2001.
17. L. Silverston. The Data Model Resource Book, Volume 2, A Library of Data Models for Specific Industries, revised edition, 2001.
18. U. Frank. Conceptual Modelling as the Core of Information Systems Discipline - Perspectives and Epistemological Challanges. In Proceedings of the America Conference on Information Systems - AMCIS'99, pages 695-398, Milwaukee, 1999.