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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

90 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)459-482
Aantal pagina's24
TijdschriftFormal Aspects of Computing
Volume22
Nummer van het tijdschrift3-4
DOI's
StatusGepubliceerd - 2010

Vingerafdruk

Duik in de onderzoeksthema's van 'Preserving correctness during business model configuration'. Samen vormen ze een unieke vingerafdruk.

Citeer dit