Skip to main content
SpringerLink
Log in
Book cover

Mexican International Conference on Artificial Intelligence

MICAI 2016: Advances in Computational Intelligence pp 332–345Cite as

On Verification of Workflow and Planning Domain Models Using Attribute Grammars

  • Conference paper
  • First Online:

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

Abstract

Recently, attribute grammars have been suggested as a unifying framework to describe workflow and planning domains models. One of the critical aspects of the domain model is its soundness, that is, the model should not contain any dead-ends and should describe at least one plan. In this paper we describe how the domain model can be verified by using the concept of reduction of attribute grammars. Two verification methods are suggested, one based on transformation to context-free grammars and one direct method exploiting constraint satisfaction.

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

  2. Barták, R., Cully, M., Jaška, M., Novák, L., Rovenský, V., Sheahan, C., Skalický, T., Thanh-Tung, D.: 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 

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

    Article  Google Scholar 

  4. Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Inf. Technol. Manag. 5(3–4), 293–318 (2004)

    Article  Google Scholar 

  5. Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)

    MATH  Google Scholar 

  6. Dvořák, T.: Hierarchické modelování plánovacích problémů. Master Thesis (in Czech), Charles University (2016)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Nau, D.S., Au, T.-C., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: an HTN planning system. J. Artif. Intell. Res. (JAIR) 20, 379–404 (2003)

    MATH  Google Scholar 

  9. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117–134 (2000)

    Article  Google Scholar 

  10. van der Aalst, W., ter Hofstede, A.H.M.: Verification of workflow task structures: a petri-net-based approach. Inf. Syst. 25(1), 43–69 (2000)

    Article  MATH  Google Scholar 

  11. Taniguchi, K., Kasami, T.: Reduction of context-free grammars. Inf. Control 17(1), 92–108 (1970)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

Research is supported by the Czech Science Foundation under the project P103-15-19877S.

Author information

Authors and Affiliations

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

    Roman Barták & Tomáš Dvořák

Authors
  1. Roman Barták
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomáš Dvořák
    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., Dvořák, T. (2017). On Verification of Workflow and Planning Domain Models Using Attribute Grammars. 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_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62434-1_28

  • 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