Preserving correctness during business process model configuration |
| |
Authors: | Wil M P van der Aalst Marlon Dumas Florian Gottschalk Arthur H M ter Hofstede Marcello La Rosa Jan Mendling |
| |
Affiliation: | 1. Eindhoven University of Technology, P.O. Box 513, 5600?MB, Eindhoven, The Netherlands 3. Queensland University of Technology, Brisbane, Australia 2. University of Tartu, Tartu, Estonia 4. Humboldt University of Berlin, Berlin, Germany
|
| |
Abstract: | A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|