Software errors and complexity: an empirical investigation0
Communications of the ACM
Design complexity measurement and testing
Communications of the ACM
Circuits, handles, bridges and nets
APN 90 Proceedings on Advances in Petri nets 1990
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Free choice Petri nets
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Verification of workflow task structures: A petri-net-based approach
Information Systems
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Software Engineering Economics
Software Engineering Economics
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
Workflow support for electronic commerce applications
Decision Support Systems
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Formal Approach to Workflow Analysis
Information Systems Research
Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
Research Commentary: Workflow Management Issues in e-Business
Information Systems Research
Workflow-Supported Organizational Memory Systems: An Industrial Application
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 7 - Volume 7
XML-Based Schema Definition for Support of Interorganizational Workflow
Information Systems Research
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Tool Support for the Collaborative Design of Reference Models — A Business Engineering Perspective
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 01
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Transformation of yEPC business process models to YAWL
Proceedings of the 2006 ACM symposium on Applied computing
How do practitioners use conceptual modeling in practice?
Data & Knowledge Engineering - Special issue: ER 2004
YAWL: yet another workflow language
Information Systems
A configurable reference modelling language
Information Systems
IEEE Transactions on Software Engineering
Software Structure Metrics Based on Information Flow
IEEE Transactions on Software Engineering
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Yet another event-driven process chain
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Comparing the control-flow of EPC and petri net from the end-user perspective
BPM'05 Proceedings of the 3rd international conference on Business Process Management
On the correlation between process model metrics and errors
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
On a Quest for Good Process Models: The Cross-Connectivity Metric
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Comparison of approaches for estimating reliability of individual regression predictions
Data & Knowledge Engineering
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Instantiation Semantics for Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Improved model management with aggregated business process models
Data & Knowledge Engineering
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Seven process modeling guidelines (7PMG)
Information and Software Technology
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
The measurement of perceived ontological deficiencies of conceptual modeling grammars
Data & Knowledge Engineering
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Survey paper: Refactoring large process model repositories
Computers in Industry
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Syntax highlighting in business process models
Decision Support Systems
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Journal of Systems and Software
Thresholds for error probability measures of business process models
Journal of Systems and Software
Ensuring correctness during process configuration via partner synthesis
Information Systems
From fine-grained to abstract process models: A semantic approach
Information Systems
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
What makes a good process model?
Software and Systems Modeling (SoSyM)
Journal of Database Management
Formal workflow design analytics using data flow modeling
Decision Support Systems
Mining configurable process models from collections of event logs
BPM'13 Proceedings of the 11th international conference on Business Process Management
Formal correctness of supply chain design
Decision Support Systems
Hi-index | 0.00 |
Up to now there is neither data available on how many errors can be expected in process model collections, nor is it understood why errors are introduced. In this article, we provide empirical evidence for these questions based on the SAP reference model. This model collection contains about 600 process models expressed as Event-driven Process Chains (EPCs). We translated these EPCs into YAWL models, and analyzed them using the verification tool WofYAWL. We discovered that at least 34 of these EPCs contain errors. Moreover, we used logistic regression to show that complexity of EPCs has a significant impact on error probability.