Faulty EPCs in the SAP reference model

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

Volumn 4102 LNCS, Issue , 2006, Pages 451-457

  Mendling, J ^a   Moser, M ^a   Neumann, G ^a   Verbeek, H M W ^b   Van Dongen, B F ^b   Van Der Aalst, W M P ^b  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; ERROR DETECTION; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; PETRI NETS; PROBABILITY;

ENTERPRISE MODELS; EVENT-DRIVEN PROCESS CHAINS (EPC); VERIFICATION TOOLS;

PROCESS ENGINEERING;

EID: 33750016320     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_38     Document Type: Conference Paper

References (13)

1. W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275, 2005.
2. T. Curran and G. Keller A. Ladd. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Enterprise Resource Planning Series. Prentice Hall PTR, Upper Saddle River, 1997.
3. Islay Davies, Peter Green, Michael Rosemann, Marta Indulska, and Stan Gallo. How do practitioners use conceptual modeling in practice? Data & Knowledge Engineering, In Press, 2006.
4. J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of CAiSE 2001, volume 2068 of LNCS, pages 157-170. Springer-Verlag, Berlin, 2001.
5. B.F. van Dongen and M.H. Jansen-Vullers. EPC Verification in the ARIS for MySAP reference model database. BETA Working Paper WP 142, Eindhoven University of Technology, 2005.
6. 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), volume 3520 of LNCS, pages 372-386. Springer-Verlag, Berlin, 2005.
7. 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), Saarbrücken, 1992.
8. G. Keller and T. Teufel. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, 1998.
9. E. Kindler. On the Semantics of EPCs: Resolving the Vicious Circle. Data and Knowledge Engineering, 56(1):23-40, 2006.
10. J. Mendling, J. Recker, M. Rosemann, and W.M.P. van der Aalst. Generating Correct EPCs from Configured C-EPCs. In Proceedings of the 21th Annual ACM Symposium on Applied Computing (SAC 2006). ACM Press, 2006.
11. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
12. H.M.W. Verbeek and W.M.P. van der Aalst. On the verification of EPCs using T-invariants. BPM Center Report BPM-06-05, BPMcenter.org, 2006.
13. H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying workflows with cancellation regions and OR-joins: An approach based on invariants. BETA Working Paper WP 156, Eindhoven University of Technology, 2006.