Andrea Burattin
Associate Professor
Technical University of Denmark
Formal Reasoning on Natural Language Descriptions of Processes
J. Sànchez-Ferreres, A. Burattin, J. Carmona, Marco Montali, L. Padró
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.
Paper Information and Files
In Proceedings of BPM 2019; Vienna, Austria; September 2019.
- DOI: 10.1007/978-3-030-26619-6_8
- BibTeX: see at DBLP
- Download text
General rights
Copyright and moral rights for the publications made accessible in the public website are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
- Users may download and print one copy of any publication from the website for the purpose of private study or research.
- You may not further distribute the material or use it for any profit-making activity or commercial gain.
If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.