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:
Prediction of Rolling Force Based on a Fusion of Extreme Learning Machine and Self Learning Model of Rolling Force Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Constructing and Analysis of the State Spaces of Workflow Process Models

Authors : Lisong Wang, Yifan Chu, Min Xu, Yongchao Yin, Ping Zhou

Published in: Advances in Intelligent Systems and Interactive Applications

Publisher: Springer International Publishing

Log in

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

search-config
loading …

Abstract

In this paper, a novel formal language Z is adopted to describe the state spaces of workflow process models. We construct the state space for two aspects of workflow process: control flow and resource management. The formulation proposed in this paper can guarantee the correctness of process models to some extent. At the same time, it provides a useful tool for checking the consistence of workflow process models and real processes.

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 The Application of Decision Tree in Workflow
next chapter Analysis on the Causes of Bad PCBA Heavy Tin
Literature
1.
van der Aalst, WMP., van Hee, KM., ter Hofstede, AHM., Sidorova, N., Verbeek, HMW, et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing pp. 333–363 (2010)
2.
van der Aalst, WMP.: Workflow verification: finding control-flow errors using petri-net-based techniques. Lect. Notes in Comput. Sci. pp. 19–128 (2000)
3.
van der Aalst, WMP: Verification of workflow nets, Application and Theory of Petri Nets, pp. 407–426 (1997)
4.
Choi, Y., Zhao, JL.: Feedback Partitioning and Decomposition-Oriented Analysis of Cyclic Workflow Graphs, On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, pp. 17–18 (2004)
5.
Rafe, V., Adel, T.: A graph transformation-based approach to formal modeling and verification of workflows. Rahmani, Communications in Computer and Information Science, pp. 291–298 (2009)
6.
Clempner, JB.: Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification. J. Exp. Theor. Artif. Intell. p. 15 (2015)
7.
van der Aalst, WMP.: Supporting the workflow management system development process with YAWL. CEUR Workshop Proc. pp. 33–40 (2013)
8.
Jonathan, PB.: The Z Formal Specification Notation, The Z Formal Specification Notation, pp. 15–43 (1997)
9.
Derrick, J., Boiten, E.: Combining component specifications in object-Z and CSP. Formal Aspects Comput. 13(2), 111–127 (2001)CrossRefMATH
10.
Metadata
Title
Constructing and Analysis of the State Spaces of Workflow Process Models
Authors
Lisong Wang
Yifan Chu
Min Xu
Yongchao Yin
Ping Zhou
Copyright Year
2018
Book
Advances in Intelligent Systems and Interactive Applications

Print ISBN: 978-3-319-69095-7

Electronic ISBN: 978-3-319-69096-4

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-319-69096-4_117

Premium Partner

    Image Credits