Free choice Petri nets
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Petri Net Based Certification of Event-Driven Process Chains
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Generating correct EPCs from configured C-EPCs
Proceedings of the 2006 ACM symposium on Applied computing
What business process modelers can learn from programmers
Science of Computer Programming
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
The importance of business process modeling in software systems design
Science of Computer Programming
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Soundness-preserving reduction rules for reset workflow nets
Information Sciences: an International Journal
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
An ontology-based semantic foundation for ARIS EPCs
Proceedings of the 2010 ACM Symposium on Applied Computing
Business process integration: method and analysis
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
Tangible media in process modeling: a controlled experiment
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Faulty EPCs in the SAP reference model
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verification of SAP reference models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Journal of Database Management
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
On negotiation as concurrency primitive
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |
Designing business models is a complicated and error prone task. On the one hand, business models need to be intuitive and easy to understand. On the other hand, ambiguities may lead to different interpretations and false consensus. Moreover, to configure process-aware information systems (e.g., a workflow system), the business model needs to be transformed into an executable model. Event-driven Process Chains (EPCs), but also other informal languages, are intended as a language to support the transition from a business model to an executable model. Many researchers have assigned formal semantics to EPCs and are using these semantics for execution and verification. In this paper, we use a different tactic. We propose a two-step approach where first the informal model is reduced and then verified in an interactive manner. This approach acknowledges that some constructs are correct or incorrect no matter what interpretation is used and that the remaining constructs require human judgment to assess correctness. This paper presents a software tool that supports this two-step approach and thus allows for the verification of real-life EPCs as illustrated by two case studies.