Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Relevance of Named Entities in Authorship Attribution Read chapter Read first chapter

2017 | OriginalPaper | Chapter

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

Authors : Roman Barták, Vladislav Kuboň

Published in: Advances in Computational Intelligence

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Creating Collections of Descriptors of Events and Processes Based on Internet Queries
next chapter On Verification of Workflow and Planning Domain Models Using Attribute Grammars
Literature
1.
van der Aalst, W., t. Hofstede, A.H.M.: Yawl: yet another workow language. Inf. Syst. 30, 245–275 (2005)
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)CrossRef
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 CrossRef
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)
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)CrossRef
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 CrossRef
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)
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)
9.
Metadata
Title
Using a Grammar Checker to Validate Compliance of Processes with Workflow Models
Authors
Roman Barták
Vladislav Kuboň
Copyright Year
2017
Book
Advances in Computational Intelligence

Print ISBN: 978-3-319-62433-4

Electronic ISBN: 978-3-319-62434-1

Copyright Year: 2017

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

Premium Partner

    Image Credits