[ Skip to the content ]

Institute of Formal and Applied Linguistics

at Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic


[ Back to the navigation ]

Publication


Year 2016
Type in proceedings
Status in press
Language English
Author(s) Barták, Roman Kuboň, Vladislav
Title Using a Grammar Checker to Validate Compliance of Processes with Workflow Models
Czech title Použití kontroly gramatiky k validaci shody procesů s modely procesních toků
Proceedings 2016: Heidelberg: MICAI 2016: Proceedings of the 15th Mexican International Conference on Artificial Intelligence
Pages range 1-16
How published print
Supported by 2015-2017 GA15-19877S (Automatické modelování znalostí a plánů pro autonomní roboty)
Czech abstract Nedávné výsledky ukázaly, že vhodným nástrojem popisu procesních toků jsou atributové gramatiky. Ty v minulosti posloužily také jako vhodný prostředek implementace kontroly gramatické správnosti přirozených jazyků. Článek popisuje způsob, jak by bylo možné validovat, zda daný procesní tok je správně sestaven podobně jako se to dělá pro věty přirozeného jazyka.
English abstract Grammar checking has been used for a long time to validate if a given sentence - a sequence of words - complies with grammar rules. Recently attribute grammars have been proposed as a formal model to describe workflows. A workflow specifies valid processes, which are sequences of actions. In this paper we show how a grammar checker developed for natural languages can be used to validate whether or not a given process complies with the workflow model expressed using an attribute grammar. The checker can also suggest possible corrections of the process to become a valid process.
Specialization linguistics ("jazykověda")
Confidentiality default – not confidential
Open access no
Address* Heidelberg
Month* October
Publisher* Springer
Institution* SMIA
Creator: Common Account
Created: 10/22/16 10:58 PM
Modifier: Common Account
Modified: 10/22/16 10:58 PM
***

Content, Design & Functionality: ÚFAL, 2006–2016. Page generated: Mon Sep 25 13:36:44 CEST 2017

[ Back to the navigation ] [ Back to the content ]

100% OpenAIRE compliant