Dynamic Evaluation Forms using Declarative Modeling.

The adoption of formal models by process specialists has faced<br/>two challenges: First, it requires process specialists to get training in formal<br/>modeling. Second, the resulting specifications bear little resemblance wrt.<br/>the original descriptions. We introduce a tool that supports translations<br/>between natural language descriptions and declarative process models.<br/>The resulting models are given in a graphical formalism, DCR Graphs.<br/>Traceability is at the core of the tool: Later changes in the process model<br/>due to, e.g., ambiguity resolution are traced back into the text. This allows<br/>users to either correct and complete their descriptions, or to derive models<br/>more refined than the text. In this paper, we describe the mechanics of<br/>the tool and provide examples of its use. Finally, we report on experiences<br/>using the tool in a Danish Municipal government.