Formal Reasoning on Natural Language Descriptions of Processes

Josep S'ànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

37 Downloads (Pure)

Abstract

The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this information is important, since it encompasses aspects of a process that are left out when formalizing it on a particular modelling notation. This paper picks up this challenge and faces the problem of ambiguities by acknowledging its existence and mitigating it. Specifically, we propose a framework to partially automate the elicitation of a formal representation of a textual process description, via text annotation techniques on top of natural language processing. The result is the ATDP language, whose syntax and semantics are described in this paper. ATDP allows to explicitly cope with several interpretations of the same textual description of a process model. Moreover, we link the ATDP language to a formal reasoning engine and show several use cases. A prototype tool enabling the complete methodology has been implemented, and several examples using the tool are provided.

Original languageEnglish
Title of host publicationBusiness Process Management
PublisherSpringer
Publication date2019
Pages86-101
ISBN (Print)978-3-030-26619-6
DOIs
Publication statusPublished - 2019
Event17th Int. Conference on Business Process Management
- Vienna University of Economics and Business, Vienna, Austria
Duration: 1 Sep 20196 Sep 2019
Conference number: 17

Conference

Conference17th Int. Conference on Business Process Management
Number17
LocationVienna University of Economics and Business
CountryAustria
CityVienna
Period01/09/201906/09/2019
SeriesLecture Notes in Computer Science
Volume11675
ISSN0302-9743

Cite this

S'ànchez-Ferreres, J., Burattin, A., Carmona, J., & Montali, M. (2019). Formal Reasoning on Natural Language Descriptions of Processes. In Business Process Management (pp. 86-101). Springer. Lecture Notes in Computer Science, Vol.. 11675 https://doi.org/10.1007/978-3-030-26619-6_8
S'ànchez-Ferreres, Josep ; Burattin, Andrea ; Carmona, Josep ; Montali, Marco. / Formal Reasoning on Natural Language Descriptions of Processes. Business Process Management. Springer, 2019. pp. 86-101 (Lecture Notes in Computer Science, Vol. 11675).
@inproceedings{6bec84385344465ea0399d696e1e2957,
title = "Formal Reasoning on Natural Language Descriptions of Processes",
abstract = "The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this information is important, since it encompasses aspects of a process that are left out when formalizing it on a particular modelling notation. This paper picks up this challenge and faces the problem of ambiguities by acknowledging its existence and mitigating it. Specifically, we propose a framework to partially automate the elicitation of a formal representation of a textual process description, via text annotation techniques on top of natural language processing. The result is the ATDP language, whose syntax and semantics are described in this paper. ATDP allows to explicitly cope with several interpretations of the same textual description of a process model. Moreover, we link the ATDP language to a formal reasoning engine and show several use cases. A prototype tool enabling the complete methodology has been implemented, and several examples using the tool are provided.",
author = "Josep S'{\`a}nchez-Ferreres and Andrea Burattin and Josep Carmona and Marco Montali",
year = "2019",
doi = "10.1007/978-3-030-26619-6_8",
language = "English",
isbn = "978-3-030-26619-6",
pages = "86--101",
booktitle = "Business Process Management",
publisher = "Springer",

}

S'ànchez-Ferreres, J, Burattin, A, Carmona, J & Montali, M 2019, Formal Reasoning on Natural Language Descriptions of Processes. in Business Process Management. Springer, Lecture Notes in Computer Science, vol. 11675, pp. 86-101, 17th Int. Conference on Business Process Management
, Vienna, Austria, 01/09/2019. https://doi.org/10.1007/978-3-030-26619-6_8

Formal Reasoning on Natural Language Descriptions of Processes. / S'ànchez-Ferreres, Josep; Burattin, Andrea; Carmona, Josep; Montali, Marco.

Business Process Management. Springer, 2019. p. 86-101 (Lecture Notes in Computer Science, Vol. 11675).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - Formal Reasoning on Natural Language Descriptions of Processes

AU - S'ànchez-Ferreres, Josep

AU - Burattin, Andrea

AU - Carmona, Josep

AU - Montali, Marco

PY - 2019

Y1 - 2019

N2 - The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this information is important, since it encompasses aspects of a process that are left out when formalizing it on a particular modelling notation. This paper picks up this challenge and faces the problem of ambiguities by acknowledging its existence and mitigating it. Specifically, we propose a framework to partially automate the elicitation of a formal representation of a textual process description, via text annotation techniques on top of natural language processing. The result is the ATDP language, whose syntax and semantics are described in this paper. ATDP allows to explicitly cope with several interpretations of the same textual description of a process model. Moreover, we link the ATDP language to a formal reasoning engine and show several use cases. A prototype tool enabling the complete methodology has been implemented, and several examples using the tool are provided.

AB - The existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this information is important, since it encompasses aspects of a process that are left out when formalizing it on a particular modelling notation. This paper picks up this challenge and faces the problem of ambiguities by acknowledging its existence and mitigating it. Specifically, we propose a framework to partially automate the elicitation of a formal representation of a textual process description, via text annotation techniques on top of natural language processing. The result is the ATDP language, whose syntax and semantics are described in this paper. ATDP allows to explicitly cope with several interpretations of the same textual description of a process model. Moreover, we link the ATDP language to a formal reasoning engine and show several use cases. A prototype tool enabling the complete methodology has been implemented, and several examples using the tool are provided.

U2 - 10.1007/978-3-030-26619-6_8

DO - 10.1007/978-3-030-26619-6_8

M3 - Article in proceedings

SN - 978-3-030-26619-6

SP - 86

EP - 101

BT - Business Process Management

PB - Springer

ER -

S'ànchez-Ferreres J, Burattin A, Carmona J, Montali M. Formal Reasoning on Natural Language Descriptions of Processes. In Business Process Management. Springer. 2019. p. 86-101. (Lecture Notes in Computer Science, Vol. 11675). https://doi.org/10.1007/978-3-030-26619-6_8