Refactoring Process Models in Large Process Repositories
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)
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Engineering adaptive IT service support processes using meta-modeling technologies
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Configurable process models for the swedish public sector
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
In practice, the development of process-aware informa- tion systems suffers from a gap between conceptual business process models and executable workflow specifications. Be- cause of this gap, conceptual models are hardly reused as execution templates. In this paper, we address the noto- rious "OR-join problem" that is partly responsible for this gap. At the conceptual level people frequently use OR-joins. However, given their non-local semantics, OR-joins cannot be mapped easily onto executable languages. In particular, we present a new approach to map a conceptual process model with OR-joins (expressed in terms of an EPC) onto an executable model without OR-joins (expressed in terms of a Petri net). Although we used an EPC process model as a run- ning example, the approach is equally applicable to other process modeling languages that offer OR-joins as (e.g. BPMN). Moreover, the resulting Petri net can be mapped onto other execution languages such as BPEL. All of this has been implemented in the context of the ProM frame- work.