Skip to main content
SpringerLink
Log in
Book cover

Mexican International Conference on Artificial Intelligence

MICAI 2016: Advances in Computational Intelligence pp 317–331Cite as

Using a Grammar Checker to Validate Compliance of Processes with Workflow Models

  • Conference paper
  • First Online:

  • 1354 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10061))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. van der Aalst, W., t. Hofstede, A.H.M.: Yawl: yet another workow language. Inf. Syst. 30, 245–275 (2005)

    Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. 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

    Chapter  Google Scholar 

  4. 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)

    Google Scholar 

  5. Barták, R., Rovenský, V.: On verification of nested workflows with extra constraints: from theory to practice. Expert Syst. Appl. 41, 904–918 (2014)

    Article  Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2, 127–145 (1968)

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

  1. Faculty of Mathematics and Physics, Charles University, Malostranské nám. 25, 118 00, Prague 1, Czech Republic

    Roman Barták & Vladislav Kuboň

Authors
  1. Roman Barták
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladislav Kuboň
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roman Barták .

Editor information

Editors and Affiliations

  1. Instituto Politécnico Nacional, Centro de Investigación en Computación, Mexico City, Mexico

    Grigori Sidorov

  2. Universidad Autónoma Metropolitana, Mexico City, Mexico

    Oscar Herrera-Alcántara

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation