Skip to main content
SpringerLink
Log in

Constructing and Analysis of the State Spaces of Workflow Process Models

  • Conference paper
  • First Online:
Advances in Intelligent Systems and Interactive Applications (IISA 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 686))

  • 2405 Accesses

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.

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

Access this chapter

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Institutional subscriptions

References

  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)

    Google Scholar 

  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)

    Google Scholar 

  3. van der Aalst, WMP: Verification of workflow nets, Application and Theory of Petri Nets, pp. 407–426 (1997)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  7. van der Aalst, WMP.: Supporting the workflow management system development process with YAWL. CEUR Workshop Proc. pp. 33–40 (2013)

    Google Scholar 

  8. Jonathan, PB.: The Z Formal Specification Notation, The Z Formal Specification Notation, pp. 15–43 (1997)

    Google Scholar 

  9. Derrick, J., Boiten, E.: Combining component specifications in object-Z and CSP. Formal Aspects Comput. 13(2), 111–127 (2001)

    Article  MATH  Google Scholar 

  10. Workflow Standards and Associated Documents www.wfmc.org (2008)

Download references

Acknowledgements

The work of this paper was supported by the National Key Basic Research Program of China (Grant No.2014CB744903, 2014CB744904).

Author information

Authors and Affiliations

  1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, 210016, China

    Lisong Wang, Yifan Chu, Min Xu, Yongchao Yin & Ping Zhou

Authors
  1. Lisong Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yifan Chu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Min Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yongchao Yin
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ping Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lisong Wang .

Editor information

Editors and Affiliations

  1. Technical University of Catalonia, Barcelona, Spain

    Fatos Xhafa

  2. Department of Computer Science and Engineering, Faculty of Engineering and Technology, SOA University, Bhubaneswar, Odisha, India

    Srikanta Patnaik

  3. School of Information Technologies, University of Sydney, Sydney, New South Wales, Australia

    Albert Y. Zomaya

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wang, L., Chu, Y., Xu, M., Yin, Y., Zhou, P. (2018). Constructing and Analysis of the State Spaces of Workflow Process Models. In: Xhafa, F., Patnaik, S., Zomaya, A. (eds) Advances in Intelligent Systems and Interactive Applications. IISA 2017. Advances in Intelligent Systems and Computing, vol 686. Springer, Cham. https://doi.org/10.1007/978-3-319-69096-4_117

Download citation

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

  • Published:

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-319-69096-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation