Summary: Ensuring Correctness During Process Configuration via
Partner Synthesis
Wil M.P. van der Aalsta,c,
, Niels Lohmannb
, Marcello La Rosac
aEindhoven University of Technology, The Netherlands
bUniversitšat Rostock, Germany
cQueensland University of Technology, Australia
Abstract
Variants of the same process can be encountered within one organization or
across different organizations. For example, different municipalities, courts, and
rental agencies all need to support highly similar processes. In fact, procurement
and sales processes can be found in almost any organization. However, despite
these similarities, there is also the need to allow for local variations in a controlled
manner. Therefore, many academics and practitioners have advocated the use
of configurable process models (sometimes referred to as reference models). 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