The Process Highlighter: From Texts to Declarative Processes and Back

Hugo-Andrés López-Acosta, Thomas Hildebrandt, Søren Debois, Morten Marquard

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-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, eg, 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
JournalCEUR Workshop Proceedings
Pages (from-to)66-70
Number of pages5
Publication statusPublished - 10 Sept 2018


  • Process highlighter
  • Process Models
  • Business Process Management
  • Digitalization


Dive into the research topics of 'The Process Highlighter: From Texts to Declarative Processes and Back'. Together they form a unique fingerprint.

Cite this