Dynamic Evaluation Forms using Declarative Modeling

Rasmus Strømsted, Hugo-Andrés López-Acosta, Søren Debois, Morten Marquard

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review


The adoption of formal models by process specialists has faced
two challenges: First, it requires process specialists to get training in formal
modeling. Second, the resulting specifications bear little resemblance wrt.
the original descriptions. We introduce a tool that supports translations
between natural language descriptions and declarative process models.
The resulting models are given in a graphical formalism, DCR Graphs.
Traceability is at the core of the tool: Later changes in the process model
due to, e.g., ambiguity resolution are traced back into the text. This allows
users to either correct and complete their descriptions, or to derive models
more refined than the text. In this paper, we describe the mechanics of
the tool and provide examples of its use. Finally, we report on experiences
using the tool in a Danish Municipal government.
Original languageEnglish
Title of host publication16th International Conference on Business Process Management (BPM'18)
EditorsBarbara Weber, Wil M. P. van der Aalst, Fabio Casati, Rafaele Conforti, Marlon Dumas
Number of pages7
Place of PublicationSydney, Australia
PublisherCEUR Workshop Proceedings
Publication date4 Sept 2018
Publication statusPublished - 4 Sept 2018
SeriesCEUR Workshop Proceedings


  • forms
  • declarative process model
  • Dynamic Condition Response
  • DCR
  • process execution


Dive into the research topics of 'Dynamic Evaluation Forms using Declarative Modeling'. Together they form a unique fingerprint.

Cite this