Skip to main content
SpringerLink
Log in

Visualization of Successor Relations in Business Process Models

  • Conference paper
  • First Online:
Book cover Web Services and Formal Methods (WS-FM 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8379))

Included in the following conference series:

  • 490 Accesses

Abstract

Business process models are a central knowledge asset for organizations, as they explicitly capture the knowledge for documentation, analysis, automation, and certification of business processes. Companies maintain an abundance of process models and their reuse requires powerful means to searching them and presenting the search results effectively. Visualizing specific fragments of a process model facilitates comprehension, and can be used to highlight those parts of a process model that have been matched by a query in process model search.

In this work, we develop an approach to projecting a successor relation, a characterization of the behavior of a process, on fragments of a process model graph. Our solution is applicable to process models that can be traced back to bounded Petri net systems. For sound, free-choice workflow systems, discovery of these fragments is carried out efficiently.

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

Notes

  1. 1.

    We refer to transitions by their character annotations in the model, hereafter.

References

  1. Awad, A., Sakr, S., Kunze, M., Weske, M.: Design by selection: a reuse-based approach for business process modeling. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 332–345. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  2. Becker, M., Laue, R.: A comparative survey of business process similarity measures. Comput. Ind. 63(2), 148–167 (2012)

    Article  Google Scholar 

  3. Bunke, H., Allermann, G.: Inexact graph matching for structural pattern recognition. Pattern Recogn. Lett. 1(4), 245–253 (1983)

    Article  MATH  Google Scholar 

  4. Alves de Medeiros, A.K., van der Aalst, W.M.P., Weijters, A.J.M.M.: Quantifying process equivalence based on observed behavior. Data Knowl. Eng. 64(1), 55–74 (2008)

    Article  Google Scholar 

  5. Desel, J., Esparza, J.: Free Choice Petri nets. Cambridge University Press, New York (1995)

    Book  MATH  Google Scholar 

  6. Dumas, M., García-Bañuelos, L., Dijkman, R.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23–28 (2009)

    Google Scholar 

  7. Gerke, K., Cardoso, J., Claus, A.: Measuring the compliance of processes with reference models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009, Part I. LNCS, vol. 5870, pp. 76–93. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  8. Hack, M.: Decidability questions for Petri nets. Ph.D. Thesis, MIT. Department of Electrical Engineering and Computer Science (1976)

    Google Scholar 

  9. Hoare, C.: A model for communicating sequential processes. Oxford University Computing Laboratory, Technical report (1980)

    Google Scholar 

  10. Jin, T., Wang, J., Wen, L.: Querying business process models based on semantics. In: Yu, J.X., Kim, M.H., Unland, R. (eds.) DASFAA 2011, Part II. LNCS, vol. 6588, pp. 164–178. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  11. Jin, T., Wang, J., Wen, L.: Efficient retrieval of similar workflow models based on behavior. In: Sheng, Q.Z., Wang, G., Jensen, ChS, Xu, G. (eds.) APWeb 2012. LNCS, vol. 7235, pp. 677–684. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  12. Kiepuszewski, B., Ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39, 143–209 (2002)

    Article  Google Scholar 

  13. Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity – a proper metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 166–181. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Kunze, M., Weske, M.: Local behavior similarity. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) EMMSAD 2012 and BPMDS 2012. LNBIP, vol. 113, pp. 107–120. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  15. Laue, R., Awad, A.: Visualization of business process modeling anti patterns. ECEASST, 25 (2010)

    Google Scholar 

  16. Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes – a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. Mahleko, B., Wombacher, A.: Indexing business processes based on annotated finite state automata. In: ICWS 2006, pp. 303–311. IEEE Computer Society (2006)

    Google Scholar 

  18. Reijers, H., Freytag, T., Mendling, J., Eckleder, A.: Syntax highlighting in business process models. Decis. Support Syst. 51(3), 339–349 (2011)

    Article  Google Scholar 

  19. Sakr, S., Awad, A., Kunze, M.: Querying process models repositories by aggregated graph search. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 573–585. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  20. Valmari, A.: Stubborn sets for reduced state space generation. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 491–515. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  21. Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429–528. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  24. Wang, J., Jin, T., Wong, R., Wen, L.: Querying business process model repositories. In: World Wide Web, pp. 1–28 (2013)

    Google Scholar 

  25. Weber, B., Reichert, M.: Refactoring process models in large process repositories. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 124–139. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Weidlich, M., Elliger, F., Weske, M.: Generalised computation of behavioural profiles based on Petri-net unfoldings. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 101–115. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  27. Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Softw. Eng. 37(3), 410–429 (2011)

    Article  MathSciNet  Google Scholar 

  28. Weidlich, M., van der Werf, J.M.: On profiles and footprints – relational semantics for Petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 148–167. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  29. Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Heidelberg (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hasso Plattner Institute at the University of Potsdam, Prof.-Dr.-Helmert-Str. 2-3, 14482, Potsdam, Germany

    Matthias Kunze & Mathias Weske

Authors
  1. Matthias Kunze
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthias Kunze .

Editor information

Editors and Affiliations

  1. Computer Science, University of Leicester, Leicester, United Kingdom

    Emilio Tuosto

  2. Science and Engineering Faculty, Queensland University, Brisbane, Queensland, Australia

    Chun Ouyang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Science and Engineering Faculty

About this paper

Cite this paper

Kunze, M., Weske, M. (2014). Visualization of Successor Relations in Business Process Models. In: Tuosto, E., Ouyang, C. (eds) Web Services and Formal Methods. WS-FM 2013. Lecture Notes in Computer Science(), vol 8379. Springer, Cham. https://doi.org/10.1007/978-3-319-08260-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08260-8_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08259-2

  • Online ISBN: 978-3-319-08260-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation