Skip to main content
SpringerLink
Log in

Visual Analytics for Soundness Verification of Process Models

  • Conference paper
  • First Online:
Business Process Management Workshops (BPM 2017)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 308))

Included in the following conference series:

Abstract

Soundness validation of process models is a complex task for process modelers due to all the factors that must be taken into account. Although there are tools to verify this property, they do not provide users with easy information on where soundness starts breaking and under which conditions. Providing insights such as states in which problems occur, involved activities, or paths leading to those states, is crucial for process modelers to better understand why the model is not sound. In this paper we address the problem of validating the soundness property of a process model by using a novel visual approach and a new tool called PSVis (Petri net Soundness Visualization) supporting this approach. The PSVis tool aims to guide expert users through the process models in order to get insights into the problems that cause the process to be unsound.

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

Institutional subscriptions

References

  1. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63139-9_48

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)

    Article  Google Scholar 

  3. Adam, N.R., Atluri, V., Huang, W.K.: Modeling and analysis of workflows using Petri nets. J. Intell. Inf. Syst. 10(2), 131–158 (1998)

    Article  Google Scholar 

  4. Bergenthum, R., Desel, J., Juhás, G., Lorenz, R.: Can i execute my scenario in your net? viptool tells you!. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 381–390. Springer, Heidelberg (2006). https://doi.org/10.1007/11767589_21

    Chapter  Google Scholar 

  5. Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 157–170. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45341-5_11

    Chapter  Google Scholar 

  6. Desel, J.: Validation of process models by construction of process nets. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 110–128. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45594-9_8

    Chapter  Google Scholar 

  7. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  8. Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and validation with viptool. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380–389. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44895-0_26

    Chapter  Google Scholar 

  9. Ellis, C.A.: Information control nets: a mathematical model of office information flow. In: Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, Colorado, USA, pp. 225–240. ACM Press (1979)

    Google Scholar 

  10. Heer, J., Card, S.K., Landay, J.A.: Prefuse: a toolkit for interactive information visualization. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 421–430. ACM (2005)

    Google Scholar 

  11. Mendling, J., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1), 312–329 (2008). Fourth International Conference on Business Process Management (BPM 2006), 8th International Conference on Enterprise Information Systems (ICEIS 2006), Four Selected and Extended Papers, Three Selected and Extended Papers

    Article  Google Scholar 

  12. De Michelis, G., Ellis, C., Memmi, G., (eds.): Modelling workflow management systems with high-level Petri nets. In: Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri nets and Related Formalisms, Zaragoza, Spain, June 1994

    Google Scholar 

  13. Moody, D.: The physics of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756–779 (2009)

    Article  Google Scholar 

  14. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  15. Ouyang, C., Verbeek, H.M.W., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2), 162–198 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    MATH  Google Scholar 

  17. Polyvyanyy, A., Weidlich, M.: Towards a compendium of process technologies: the jBPT library for process model analysis. In: Proceedings of the CAiSE 2013 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 106–113. Sun SITE Central Europe (2013)

    Google Scholar 

  18. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)

    Book  MATH  Google Scholar 

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

    Article  Google Scholar 

  20. Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybern. 11(2), 109–125 (1981)

    Article  MathSciNet  Google Scholar 

  21. van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Berlin (2016)

    Book  Google Scholar 

  22. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 2(2), 182–192 (2012)

    Article  Google Scholar 

  23. van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444–454. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_25

    Chapter  Google Scholar 

  24. van Dongen, B.F., Jansen-Vullers, M.H., Verbeek, H.M.W., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6), 578–601 (2007)

    Article  Google Scholar 

  25. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: using reduction rules and Petri nets. In: Pastor, O., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372–386. Springer, Heidelberg (2005). https://doi.org/10.1007/11431855_26

    Chapter  Google Scholar 

  26. van Hee, K., Sidorova, N., Voorhoeve, M.: Generalised soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 197–215. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27793-4_12

    Chapter  Google Scholar 

  27. Verbeek, H.M.W.: Verification of WF-nets. Eindhoven University of Technology Eindhoven, The Netherlands (2004)

    Google Scholar 

  28. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput. J. 44(4), 246–279 (2001)

    Article  MATH  Google Scholar 

  29. Verbeek, H.M.W., Wynn, M.T.: Verification. In: ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N. (eds.) Modern Business Process Automation: YAWL and its Support Environment, pp. 513–539. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-03121-2_20. Database Management & Info Retrieval, Chap. 20

    Chapter  Google Scholar 

  30. Ward, M.O.: Multivariate data glyphs: principles and practice. In: Chen, C.-H., Härdle, W., Unwin, A. (eds.) Handbook of Data Visualization. SHCS, pp. 179–198. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-33037-0_8

    Chapter  Google Scholar 

  31. Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business process verification - finally a reality!. Bus. Process Manag. J. 15(1), 74–92 (2009)

    Article  Google Scholar 

Download references

Acknowledgment

This research was performed within the framework of the strategic joint research program on Data Science between TU/e and Philips Electronics Nederland B.V.

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Humberto S. Garcia Caballero, Michel A. Westenberg, Henricus M. W. Verbeek & Wil M. P. van der Aalst

Authors
  1. Humberto S. Garcia Caballero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel A. Westenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Henricus M. W. Verbeek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wil M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Humberto S. Garcia Caballero .

Editor information

Editors and Affiliations

  1. Department of Service and Information System Engineering, Universitat Politècnica de Catalunya, Barcelona, Spain

    Ernest Teniente

  2. Humboldt-Universität zu Berlin, Berlin, Berlin, Germany

    Matthias Weidlich

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

Garcia Caballero, H.S., Westenberg, M.A., Verbeek, H.M.W., van der Aalst, W.M.P. (2018). Visual Analytics for Soundness Verification of Process Models. In: Teniente, E., Weidlich, M. (eds) Business Process Management Workshops. BPM 2017. Lecture Notes in Business Information Processing, vol 308. Springer, Cham. https://doi.org/10.1007/978-3-319-74030-0_59

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74030-0_59

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74029-4

  • Online ISBN: 978-3-319-74030-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation