Dynamic Evaluation Forms using Declarative Modeling

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

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 chapter › Article in proceedings › Research › peer-review

Abstract

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 language	English
Title of host publication	16th International Conference on Business Process Management (BPM'18)
Editors	Barbara Weber, Wil M. P. van der Aalst, Fabio Casati, Rafaele Conforti, Marlon Dumas
Number of pages	7
Place of Publication	Sydney, Australia
Publisher	CEUR Workshop Proceedings
Publication date	4 Sept 2018
Pages	172-179
Publication status	Published - 4 Sept 2018

Series	CEUR Workshop Proceedings
Volume	2196
ISSN	1613-0073

Keywords

forms
declarative process model
Dynamic Condition Response
DCR
process execution

Access to Document

BPM_2018_paper_34Final published version, 559 KBLicence: CC BY

http://ceur-ws.org/Vol-2196/BPM_2018_paper_34.pdfLicence: CC BY

EcoKnow: Effective, co-created & compliant adaptive case management for knowledge workers
Hildebrandt, T. (PI), Debois, S. (CoI), Christensen, L. R. (CoI), Cohn, M. (CoI), Faithfull, A. (CoI), Petersen, A. C. M. (CoI), Madsen, F. (CoI) & Mbabazi, P. N. (CoI)
IFD - Innovation Fund Denmark
01/09/2017 → 31/08/2021
Project: Research

Cite this

Strømsted, Rasmus ; López-Acosta, Hugo-Andrés ; Debois, Søren et al. / Dynamic Evaluation Forms using Declarative Modeling. 16th International Conference on Business Process Management (BPM'18). editor / Barbara Weber ; Wil M. P. van der Aalst ; Fabio Casati ; Rafaele Conforti ; Marlon Dumas. Sydney, Australia : CEUR Workshop Proceedings, 2018. pp. 172-179 (CEUR Workshop Proceedings, Vol. 2196).

@inproceedings{239bb72a04b345faaa9a44f42969e58a,

title = "Dynamic Evaluation Forms using Declarative Modeling",

abstract = "The adoption of formal models by process specialists has facedtwo challenges: First, it requires process specialists to get training in formalmodeling. Second, the resulting specifications bear little resemblance wrt.the original descriptions. We introduce a tool that supports translationsbetween 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 modeldue to, e.g., ambiguity resolution are traced back into the text. This allowsusers to either correct and complete their descriptions, or to derive modelsmore refined than the text. In this paper, we describe the mechanics ofthe tool and provide examples of its use. Finally, we report on experiencesusing the tool in a Danish Municipal government.",

keywords = "forms, declarative process model, Dynamic Condition Response, DCR, process execution, forms, declarative process model, Dynamic Condition Response, DCR, process execution",

author = "Rasmus Str{\o}msted and Hugo-Andr{\'e}s L{\'o}pez-Acosta and S{\o}ren Debois and Morten Marquard",

year = "2018",

month = sep,

day = "4",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "172--179",

editor = "Barbara Weber and {van der Aalst}, {Wil M. P.} and Casati, {Fabio } and Rafaele Conforti and Marlon Dumas",

booktitle = "16th International Conference on Business Process Management (BPM'18)",

}

Strømsted, R, López-Acosta, H-A, Debois, S & Marquard, M 2018, Dynamic Evaluation Forms using Declarative Modeling. in B Weber, WMP van der Aalst, F Casati, R Conforti & M Dumas (eds), 16th International Conference on Business Process Management (BPM'18). CEUR Workshop Proceedings, Sydney, Australia, CEUR Workshop Proceedings, vol. 2196, pp. 172-179. <http://ceur-ws.org/Vol-2196/BPM_2018_paper_34.pdf>

Dynamic Evaluation Forms using Declarative Modeling. / Strømsted, Rasmus; López-Acosta, Hugo-Andrés; Debois, Søren et al.
16th International Conference on Business Process Management (BPM'18). ed. / Barbara Weber; Wil M. P. van der Aalst; Fabio Casati; Rafaele Conforti; Marlon Dumas. Sydney, Australia: CEUR Workshop Proceedings, 2018. p. 172-179 (CEUR Workshop Proceedings, Vol. 2196).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Dynamic Evaluation Forms using Declarative Modeling

AU - Strømsted, Rasmus

AU - López-Acosta, Hugo-Andrés

AU - Debois, Søren

AU - Marquard, Morten

PY - 2018/9/4

Y1 - 2018/9/4

N2 - The adoption of formal models by process specialists has facedtwo challenges: First, it requires process specialists to get training in formalmodeling. Second, the resulting specifications bear little resemblance wrt.the original descriptions. We introduce a tool that supports translationsbetween 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 modeldue to, e.g., ambiguity resolution are traced back into the text. This allowsusers to either correct and complete their descriptions, or to derive modelsmore refined than the text. In this paper, we describe the mechanics ofthe tool and provide examples of its use. Finally, we report on experiencesusing the tool in a Danish Municipal government.

AB - The adoption of formal models by process specialists has facedtwo challenges: First, it requires process specialists to get training in formalmodeling. Second, the resulting specifications bear little resemblance wrt.the original descriptions. We introduce a tool that supports translationsbetween 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 modeldue to, e.g., ambiguity resolution are traced back into the text. This allowsusers to either correct and complete their descriptions, or to derive modelsmore refined than the text. In this paper, we describe the mechanics ofthe tool and provide examples of its use. Finally, we report on experiencesusing the tool in a Danish Municipal government.

KW - forms

KW - declarative process model

KW - Dynamic Condition Response

KW - DCR

KW - process execution

KW - forms

KW - declarative process model

KW - Dynamic Condition Response

KW - DCR

KW - process execution

M3 - Article in proceedings

T3 - CEUR Workshop Proceedings

SP - 172

EP - 179

BT - 16th International Conference on Business Process Management (BPM'18)

A2 - Weber, Barbara

A2 - van der Aalst, Wil M. P.

A2 - Casati, Fabio

A2 - Conforti, Rafaele

A2 - Dumas, Marlon

PB - CEUR Workshop Proceedings

CY - Sydney, Australia

ER -

Dynamic Evaluation Forms using Declarative Modeling

Abstract

Keywords

Access to Document

Fingerprint

Projects

EcoKnow: Effective, co-created & compliant adaptive case management for knowledge workers

Cite this