| | |
Summary: Correctness Ensuring Process Configuration:
An Approach Based on Partner Synthesis
Wil van der Aalst1,3
, Niels Lohmann1,2
, Marcello La Rosa3
, and Jingxin Xu3
1
Eindhoven University of Technology, The Netherlands
w.m.p.v.d.aalst@tue.nl
2
Universitšat Rostock, Germany
niels.lohmann@uni-rostock.de
3
Queensland University of Technology, Australia
m.larosa@qut.edu.au,jingxin.xu@connect.qut.edu.au
Abstract. A configurable process model describes a family of similar process
models in a given domain. Such a model can be configured to obtain a specific
process model that is subsequently used to handle individual cases, for instance,
to process customer orders. Process configuration is notoriously difficult as there
may be all kinds of interdependencies between configuration decisions. In fact, an
|
