EPC verification in the ARIS for MySAP reference model database

EPK 2005 - Geschaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 4th Workshop der Gesellschaft fur Informatik e.V. (GI) und Treffen Ihres Arbeitkreises - Proceedings

Volumn , Issue , 2005, Pages 24-40

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

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; ERP SYSTEM; EVENT DRIVEN PROCESS CHAIN; IMPLEMENTATION COST; OPERATIONAL LEVEL; PROCESS SPECIFICATION; PROCESS-AWARE INFORMATION SYSTEMS; REFERENCE MODELS; SAP R/3; WORKFLOW MANAGEMENT SYSTEMS;

DATABASE SYSTEMS; ENTERPRISE RESOURCE MANAGEMENT; ERRORS; INDUSTRY; INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; SPECIFICATIONS; WORK SIMPLIFICATION;

MODELS;

EID: 84873951483     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. W.M.P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650, 1999.
2. W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petrinet- based Techniques. In W.M.P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, Berlin, 2000.
3. W.M.P. van der Aalst, J. Desel, and E. Kindler. On the Semantics of EPCs: A Vicious Circle. In M. N̈uttgens and F.J. Rump, editors, Proceedings of the EPK 2002: Busi- ness Process Management using EPCs, pages 71-80, Trier, Germany, November 2002. Gesellschaft f ̈ur Informatik, Bonn.
4. W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, 25(1):43-69, 2000.
5. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
6. W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek. An Alternative Way to Analyze Workflow Graphs. In A. Banks-Pidduck, J. Mylopoulos, C.C. Woo, and M.T. Ozsu, editors, Proceedings of the 14th International Conference on Advanced Infor- mation Systems Engineering (CAiSE'02), volume 2348 of Lecture Notes in Computer Science, pages 535-552. Springer-Verlag, Berlin, 2002.
7. P. Bernus. GERAM: Generalised Enterprise Reference Architecture and Methodology.
8. T. Curran and G. Keller. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Upper Saddle River, 1997.
9. J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems, 13(3):289-332, 2004.
10. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
11. B.F. van Dongen and M.H. Jansen-Vullers. Verification of SAP reference models. In Business Process Management 2005, volume 3649 of Lecture Notes in Computer Science, pages 464-469. Springer-Verlag, Berlin, 2005.
12. B.F. van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M.Weijters, andW.M.P. van der Aalst. The ProM framework: A new era in process mining tool support. In Application and Theory of Petri Nets 2005.
13. J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 157-170. Springer-Verlag, Berlin, 2001.
14. 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 Lecture Notes in Computer Science, pages 372-386. Springer-Verlag, Berlin, 2005.
15. 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.
16. 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-698, Milwaukee, 1999.
17. K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. InW.M.P. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, pages 335-354. Springer-Verlag, Berlin, 2003.
18. E. Kindler. On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In J. Desel, B. Pernici, and M. Weske, editors, International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, pages 82-97. Springer-Verlag, Berlin, 2004.
19. G. Keller, M. N̈uttgens, and A.W. Scheer. Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Ver ̈offentlichungen des Instituts f ̈ur Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr ̈ucken, 1992.
20. G. Keller and T. Teufel. SAP R/3 Process Oriented Implementation. Addison-Wesley, Reading MA, 1998.
21. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice- Hall PTR, Upper Saddle River, New Jersey, USA, 1999.
22. P. Langner, C. Schneider, and J. Wehler. Petri Net Based Certification of Event driven Process Chains. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets 1998, volume 1420 of Lecture Notes in Computer Science, pages 286-305. Springer- Verlag, Berlin, 1998.
23. H. Lin, Z. Zhao, H. Li, and Z. Chen. A Novel Graph Reduction Algorithm to Identify Structural Conflicts. In Proceedings of the Thirty-Fourth Annual Hawaii International Conference on System Science (HICSS-35). IEEE Computer Society Press, 2002.
24. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
25. 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.
26. M. Rosemann. Application Reference Models and Building Blocks for Management and Control (ERP systems), pages 595-616. Springer-Verlag, Berlin, 2003.
27. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
28. A.W. Scheer. Business Process Engineering, Reference Models for Industrial Enterprises. Springer-Verlag, Berlin, 1994.
29. A.W. Scheer. Business Process Modelling. 3rd edition, 2000.
30. L. Silverston. The Data Model Resource Book, Volume 1, A Library of Universal Data Models for all Enterprises. revised edition, 2001.
31. L. Silverston. The Data Model Resource Book, Volume 2, A Library of Data Models for Specific Industries. revised edition, 2001.
32. 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.
33. W. Sadiq and M.E. Orlowska. Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models. In M. Jarke and A. Oberweis, editors, Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE '99), volume 1626 of Lecture Notes in Computer Science, pages 195-209. Springer-Verlag, Berlin, 1999.
34. W. Sadiq and M.E. Orlowska. Analyzing Process Models using Graph Reduction Techniques. Information Systems, 25(2):117-134, 2000.
35. H.M.W. Verbeek and W.M.P. van der Aalst. Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 475-484. Springer-Verlag, Berlin, 2000.