Bridging the gap between business models and workflow specifications

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

137 Citaten (Scopus)


This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While the first is concerned with intuitive descriptions that are mainly used for communication, the second is concerned with configuring a process-aware information system, thus requiring a more rigorous language less suitable for communication. Unlike existing approaches the gap is not bridged by providing formal semantics for an informal language. Instead it is assumed that the desired behavior is just a subset of the full behavior obtained using a liberal interpretation of the informal business process modeling language. Using a new correctness criterion (relaxed soundness), it is verified whether a selection of suitable behavior is possible. The methodology consists of five steps and is illustrated using event-driven process chains as a business process modeling language and Petri nets as the workflow specification language.
Originele taal-2Engels
Pagina's (van-tot)289-332
TijdschriftInternational Journal of Cooperative Information Systems
Nummer van het tijdschrift3
StatusGepubliceerd - 2004


Duik in de onderzoeksthema's van 'Bridging the gap between business models and workflow specifications'. Samen vormen ze een unieke vingerafdruk.

Citeer dit