Charles Explorer logo
🇬🇧

On Similarities Between Workflow Verification and Grammar Checking

Publication at Faculty of Mathematics and Physics |
2016

Abstract

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.