Managing business processes as an information resource
IBM Systems Journal
Reduction and synthesis of live and bounded free choice Petri nets
Information and Computation
Well-structured transition systems everywhere!
Theoretical Computer Science
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
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
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
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
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
YAWL: yet another workflow language
Information Systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
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
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
On a Quest for Good Process Models: The Cross-Connectivity Metric
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems 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
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Towards a Methodology for Semantic Business Process Modeling and Configuration
Service-Oriented Computing - ICSOC 2007 Workshops
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
Semantics of standard process models with OR-joins
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
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
What makes process models understandable?
BPM'07 Proceedings of the 5th international conference on Business process management
A new semantics for the inclusive converging gateway in safe processes
BPM'10 Proceedings of the 8th international conference on Business process management
Modeling process-related RBAC models with extended UML activity models
Information and Software Technology
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Journal of Database Management
Formal workflow design analytics using data flow modeling
Decision Support Systems
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
| Hi-index | 0.02 |
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two major problems. First, several formalizations depend upon restrictions of the EPC to a subset. Second, several approaches contradict the modeling intuition since the structuredness of the process does not guarantee soundness. In this paper, we present a novel semantical definition of EPCs that addresses these aspects yielding a formalization that is applicable for all EPCs and for which structuredness is a sufficient condition for soundness. Furthermore, we introduce a set of reduction rules for the verification of an EPCspecific soundness criterion and present a respective implementation.