Bridging the gap between business models and workflow specifications

Research output: Contribution to journalArticleAcademicpeer-review

143 Citations (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.
Original languageEnglish
Pages (from-to)289-332
JournalInternational Journal of Cooperative Information Systems
Issue number3
Publication statusPublished - 2004


Dive into the research topics of 'Bridging the gap between business models and workflow specifications'. Together they form a unique fingerprint.

Cite this