Preserving correctness during business model configuration

W.M.P. Aalst, van der, M. Dumas, F. Gottschalk, A.H.M. Hofstede, ter, M. La Rosa, J. Mendling

Research output: Contribution to journalArticleAcademicpeer-review

90 Citations (Scopus)
1 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)459-482
Number of pages24
JournalFormal Aspects of Computing
Issue number3-4
Publication statusPublished - 2010


Dive into the research topics of 'Preserving correctness during business model configuration'. Together they form a unique fingerprint.

Cite this