Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

  title={Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis},
  author={Wil M. P. van der Aalst and Niels Lohmann and Marcello La Rosa and Jingxin Xu},
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 incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS
27 Citations
24 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 27 extracted citations

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 24 references

A tool to synthesize partners for services

  • N. Lohmann, D. Weinberg. Wendy
  • In PETRI NETS 2010, LNCS. Springer,
  • 2010
Highly Influential
8 Excerpts

, and J . Mendling . Preserving Correctness During Business Process Model Configuration

  • B. Kiepuszewski
  • Formal Aspects of Computing
  • 2010

, and N . Sidorova . Data - Flow Anti - Patterns : Discovering Data - Flow Errors in Workflows

  • W. M. P. van der Aalst Trcka
  • Information Systems
  • 2007

Similar Papers

Loading similar papers…