On Similarities Between Workflow Verification and Grammar Checking
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332068" target="_blank" >RIV/00216208:11320/16:10332068 - isvavai.cz</a>
Result on the web
<a href="http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12946/12634" target="_blank" >http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12946/12634</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
On Similarities Between Workflow Verification and Grammar Checking
Original language description
The paper investigates the similarities in the application of attribute grammars to two seemingly different research areas, namely the area of formal description of workflows and the area of checking the syntactic correctness of natural languages. It uses existing models and formalisms and tries to find a common ground which would enable to exploit mutually the experience gained in both individual fields. It shows how a slight adaptation of a grammar formalism used for grammar checking of languages with a high degree of word-order freedom may lead to a tool useful for a workflow verification.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA15-19877S" target="_blank" >GA15-19877S: Automated Knowledge and Plan Modeling for Autonomous Robots</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
ISBN
978-1-57735-756-8
ISSN
2334-0754
e-ISSN
—
Number of pages
6
Pages from-to
585-590
Publisher name
AAAI Press
Place of publication
Menlo Park, CA, USA
Event location
Key Largo, Florida
Event date
May 16, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—