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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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.

Originalsprog	Engelsk
Titel	16th International Conference on Business Process Management (BPM'18)
Redaktører	Barbara Weber, Wil M. P. van der Aalst, Fabio Casati, Rafaele Conforti, Marlon Dumas
Antal sider	7
Udgivelsessted	Sydney, Australia
Forlag	CEUR Workshop Proceedings
Publikationsdato	4 sep. 2018
Sider	172-179
Status	Udgivet - 4 sep. 2018

Navn	CEUR Workshop Proceedings
Vol/bind	2196
ISSN	1613-0073

Adgang til dokumentet

BPM_2018_paper_34Forlagets udgivne version, 559 KBLicens: CC BY

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

Citationsformater

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

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). red. / Barbara Weber ; Wil M. P. van der Aalst ; Fabio Casati ; Rafaele Conforti ; Marlon Dumas. Sydney, Australia : CEUR Workshop Proceedings, 2018. s. 172-179 (CEUR Workshop Proceedings, Bind 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",

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. i B Weber, WMP van der Aalst, F Casati, R Conforti & M Dumas (red), 16th International Conference on Business Process Management (BPM'18). CEUR Workshop Proceedings, Sydney, Australia, CEUR Workshop Proceedings, bind 2196, s. 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). red. / Barbara Weber; Wil M. P. van der Aalst; Fabio Casati; Rafaele Conforti; Marlon Dumas. Sydney, Australia: CEUR Workshop Proceedings, 2018. s. 172-179 (CEUR Workshop Proceedings, Bind 2196).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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

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

Adgang til dokumentet

Fingeraftryk

Citationsformater