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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van der Aalst, W., t. Hofstede, A.H.M.: Yawl: yet another workow language. Inf. Syst. 30, 245–275 (2005)
Bae, J., Bae, H., Kang, S.H., Kim, Z.: Automatic control of workflow processes using eca rules. IEEE Trans. Knowl. Data Eng. 16, 1010–1023 (2004)
Barták, R.: Using attribute grammars to model nested workflows with extra constraints. In: Freivalds, R.M., Engels, G., Catania, B. (eds.) SOFSEM 2016. LNCS, vol. 9587, pp. 171–182. Springer, Heidelberg (2016). doi:10.1007/978-3-662-49192-8_14
Barták, R., Cully, M., Jaška, M., Novák, L., Rovenský, V., Sheahan, C., Skalický, T.: Workflow optimization with flowopt, on modelling, optimizing, visualizing, and analysing production workflows. In: Proceedings of Conference on Technologies and Applications of Artificial Intelligence (TAAI 2011), pp. 167–172. IEEE Conference Publishing Services (2011)
Barták, R., Rovenský, V.: On verification of nested workflows with extra constraints: from theory to practice. Expert Syst. Appl. 41, 904–918 (2014)
Barták, R., Čepek, O.: Nested precedence networks with alternatives: recognition, tractability, and models. In: Dochev, D., Pistore, M., Traverso, P. (eds.) AIMSA 2008. LNCS, vol. 5253, pp. 235–246. Springer, Heidelberg (2008). doi:10.1007/978-3-540-85776-1_20
Holan, T.: Nástroje pro vývoj závislostních analyzátorů přirozených jazyků s volným slovosledem. MFF UK, Prague (2001). (in Czech)
Holan, T., Kuboň, V., Plátek, M.: A prototype of a grammar checker for czech. In: Proceedings of the Fifth Conference on Applied Natural Language Processing, pp. 147–154. ACL, Washington, DC (1997)
Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2, 127–145 (1968)
Acknowledgments
The research reported in this paper has been supported by the Czech Science Foundation GACR, grant No. P103-15-19877S.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Barták, R., Kuboň, V. (2017). Using a Grammar Checker to Validate Compliance of Processes with Workflow Models. In: Sidorov, G., Herrera-Alcántara, O. (eds) Advances in Computational Intelligence. MICAI 2016. Lecture Notes in Computer Science(), vol 10061. Springer, Cham. https://doi.org/10.1007/978-3-319-62434-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-62434-1_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62433-4
Online ISBN: 978-3-319-62434-1
eBook Packages: Computer ScienceComputer Science (R0)