Book ChapterDOI
Faulty EPCs in the SAP reference model
Jan Mendling,Markus Moser,Gustaf Neumann,H. M. W. Verbeek,B. F. van Dongen,W.M.P. van der Aalst +5 more
- pp 451-457
Reads0
Chats0
TLDR
A systematic analysis of the SAP reference model illustrates the need for verification tools such as WofYAWL, a verification tool based on Petri nets, to acquire knowledge about errors in large enterprise models.Abstract:
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 non-trivial process models expressed in terms of Event-driven Process Chains (EPCs). We have automatically translated these EPCs into YAWL models and analyzed these models using WofYAWL, a verification tool based on Petri nets, in order to acquire knowledge about errors in large enterprise models. We discovered that at least 34 of these EPCs contain errors (i.e., at least 5.6% is flawed) and analyzed which parts of the SAP reference model contain most errors. This systematic analysis of the SAP reference model illustrates the need for verification tools such as WofYAWL.read more
Citations
More filters
Book ChapterDOI
What makes process models understandable
TL;DR: The results reveal that participants tend to exaggerate the differences in model understandability, that self-assessment of modeling competence appears to be invalid, and that the number of arcs in models has animportant influence on understandability.
Journal ArticleDOI
Soundness of workflow nets: classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
TL;DR: It is shown that the eight soundness notions described in the literature are decidable for workflow nets, however, most extensions will make all of these notions undecidable.
Soundness of workflow nets : classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
TL;DR: Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows as mentioned in this paper, and they are used as an abstraction of the workflow that is used to check the so-called soundness property.
Book ChapterDOI
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
TL;DR: The results suggest that control-flow analysis of many real process models is feasible without significant delay (less than a second) and could be used frequently during editing time, which allows errors to be caught at earliest possible time.
Quality metrics for business process models
TL;DR: This chapter elaborates on the importance of quality metrics for business process modeling and presents a classification and an overview of current business process metrics and it gives an example of the implementation of these metrics using the ProM tool.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
YAWL: yet another workflow language
TL;DR: In this paper, a new workflow language (YAWL) is proposed based on a rigorous analysis of existing workflow management systems and workflow languages, and a set of workflow patterns are collected.
YAWL: yet another workflow language
TL;DR: This paper motivates the need for a new workflow language, specifies the semantics of the language, and shows that soundness can be verified in a compositional way.
Journal ArticleDOI
How do practitioners use conceptual modeling in practice
TL;DR: The study found that the top six most frequently used modeling techniques and methods were ER diagrams, data flow diagramming, systems flowcharting, workflow modeling, UML, and structured charts, and the highest ranked purposes for which modeling was undertaken were database design and management, business process documentation,business process improvement, and software development.
Book
Sap R/3 Business Blueprint: Understanding the Business Process Reference Model
TL;DR: The R/3 Reference Model is a three-tier client/server architecture for business process integration and is used in the SAP Business Framework (SAPBLUE).