Formal reasoning on natural language descriptions of processes
Visualitza/Obre
10.1007/978-3-030-26619-6_8
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/178367
Tipus de documentText en actes de congrés
Data publicació2019
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteMODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA (AEI-TIN2017-86727-C2-1-R)
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.
CitacióSànchez, J. [et al.]. Formal reasoning on natural language descriptions of processes. A: International Conference on Business Process Management. "Business Process Management, 17th International Conference, BPM 2019: Vienna, Austria, September 1-6, 2019: proceedings". Berlín: Springer, 2019, p. 86-101.
ISBN978-3-030-26619-6
Versió de l'editorhttps://link.springer.com/chapter/10.1007/978-3-030-26619-6_8
Col·leccions
- GPLN - Grup de Processament del Llenguatge Natural - Ponències/Comunicacions de congressos [192]
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.274]
- Doctorat en Computació - Ponències/Comunicacions de congressos [57]
- ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [334]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
From_NL_Descriptions_to_Reasoning-7.pdf | 947,4Kb | Visualitza/Obre |