Mixed-paradigm process modeling with intertwined state spaces

Johannes De Smedt*, Jochen De Weerdt, Jan Vanthienen, Geert Poels

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Business process modeling often deals with the trade-off between comprehensibility and flexibility. Many languages have been proposed to support different paradigms to tackle these characteristics. Well-known procedural, token-based languages such as Petri nets, BPMN, EPC, etc. have been used and extended to incorporate more flexible use cases, however the declarative workflow paradigm, most notably represented by the Declare framework, is still widely accepted for modeling flexible processes. A real trade-off exists between the readable, rather inflexible procedural models, and the highly-expressive but cognitively demanding declarative models containing a lot of implicit behavior. This paper investigates in detail the scenarios in which combining both approaches is useful, it provides a scoring table for Declare constructs to capture their intricacies and similarities compared to procedural ones, and offers a step-wise approach to construct mixed-paradigm models. Such models are especially useful in the case of environments with different layers of flexibility and go beyond using atomic subprocesses modeled according to either paradigm. The paper combines Petri nets and Declare to express the findings.
Original languageEnglish
Pages (from-to)19-29
Number of pages11
JournalBusiness and Information Systems Engineering
Issue number1
Early online date2 Dec 2015
Publication statusPublished - Feb 2016


  • business process modeling
  • mixed-paradigm process modeling
  • petri nets
  • declare


Dive into the research topics of 'Mixed-paradigm process modeling with intertwined state spaces'. Together they form a unique fingerprint.

Cite this