TY - JOUR
T1 - Preserving correctness during business model configuration
AU - Aalst, van der, W.M.P.
AU - Dumas, M.
AU - Gottschalk, F.
AU - Hofstede, ter, A.H.M.
AU - La Rosa, M.
AU - Mendling, J.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
U2 - 10.1007/s00165-009-0112-0
DO - 10.1007/s00165-009-0112-0
M3 - Article
SN - 0934-5043
VL - 22
SP - 459
EP - 482
JO - Formal Aspects of Computing
JF - Formal Aspects of Computing
IS - 3-4
ER -