Skip to main content
SpringerLink
Log in

Business process model abstraction: a definition, catalog, and survey

  • Published:
Distributed and Parallel Databases Aims and scope Submit manuscript

Abstract

The discipline of business process management aims at capturing, understanding, and improving work in organizations by using process models as central artifacts. Since business-oriented tasks require different information from such models to be highlighted, a range of abstraction techniques has been developed over the past years to manipulate overly detailed models. At this point, a clear understanding of what distinguishes these techniques and how they address real world use cases has not yet been established. In this paper we systematically develop, classify, and consolidate the use cases for business process model abstraction and present a case study to illustrate the value of this technique. The catalog of use cases that we present is based on a thorough evaluation of the state of the art, as well as on our cooperation with end users in the health insurance sector. It has been subsequently validated by experts from the consultancy and tool vendor domains. Based on our findings, we evaluate how the existing business process model abstraction approaches support the discovered use cases and reveal which areas are not adequately covered, as such providing an agenda for further research in this area.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15

Similar content being viewed by others

References

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

    Article  Google Scholar 

  2. van der Aalst, W.M.P., Basten, T.: Life-cycle inheritance: a Petri-net-based approach. In: ICATPN 1997. LNCS, vol. 1248, pp. 62–81. Springer, Berlin (1997)

    Google Scholar 

  3. Becker, J., Kugeler, M., Rosemann, M.: Process Management: A Guide for the Design of Business Processes. Springer, Berlin (2003)

    Google Scholar 

  4. Berthelot, G.: Checking properties of nets using transformation. In: Advances in Petri Nets 1985, pp. 19–40. Springer, London (1986)

    Chapter  Google Scholar 

  5. Berthelot, G.: Transformations and decompositions of nets. In: Advances in Petri nets 1986, pp. 359–376. Springer, London (1987)

    Google Scholar 

  6. Bobrik, R., Bauer, Th., Reichert, M.: Proviado—personalized and configurable visualizations of business processes. In: EC-Web, pp. 61–71 (2006)

    Google Scholar 

  7. Bobrik, R., Reichert, M., Bauer, T.: Parameterizable views for process visualization. Technical Report TR-CTIT-07-37, Centre for Telematics and Information Technology, University of Twente, Enschede, April 2007

  8. Bobrik, R., Reichert, M., Bauer, T.: View-based process visualization. In: BPM 2007. LNCS, vol. 4714, pp. 88–95. Springer, Berlin (2007)

    Google Scholar 

  9. Brassel, K.E., Weibel, R.: A review and conceptual framework of automated map generalization. Int. J. Geogr. Inf. Sci. 2(3), 229–244 (1988)

    Article  Google Scholar 

  10. Cardoso, J., Miller, J.A., Sheth, A., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. J. Web Semant. 1(3), 281–308 (2004)

    Article  Google Scholar 

  11. Chiu, D.K.W., Cheung, S.C., Till, S., Karlapalem, K., Li, Q., Kafeza, E.: Workflow view driven cross-organizational interoperability in a web service environment. Int. J. Inf. Technol. Manag. 5(3–4), 221–250 (2004)

    Article  Google Scholar 

  12. Chiu, D.K.W., Karlapalem, K., Li, Q., Kafeza, E.: Workflow view based E-contracts in a cross-organizational E-services environment. Distrib. Parallel Databases 12(2–3), 193–216 (2002)

    Article  MATH  Google Scholar 

  13. Workflow Management Coalition: Reference model—the workflow reference model. Technical report WFMC-TC-1003, Workflow Management Coalition, January 1995

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

    Book  MATH  Google Scholar 

  15. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)

    Article  Google Scholar 

  16. Dijkman, R.M., Quartel, D.A.C., van Sinderen, M.J.: Consistency in multi-viewpoint design of enterprise information systems. Inf. Softw. Technol. 50(7–8), 737–752 (2008)

    Article  Google Scholar 

  17. van Dongen, B., Jansen-Vullers, M., Verbeek, H., 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 

  18. Eshuis, R., Grefen, P.: Constructing customized process views. Data Knowl. Eng. 64(2), 419–438 (2008)

    Article  Google Scholar 

  19. Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20(8), 569–578 (1994)

    Article  Google Scholar 

  20. Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3, 119–153 (1995)

    Article  Google Scholar 

  21. Günther, C.W., van der Aalst, W.M.P.: Fuzzy mining—adaptive process simplification based on multi-perspective metrics. In: BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Berlin (2007)

    Google Scholar 

  22. Johnson, R., Pearson, D., Pingali, K.: The program structure tree: computing control regions in linear time. In: ACM SIGPLAN PLDI 1994, PLDI, pp. 171–185. ACM, New York (1994)

    Google Scholar 

  23. Keller, G., Nüttgens, M., Scheer, A.: Semantische Prozessmodellierung auf der Grundlage “Ereignisgesteuerter Prozessketten (EPK)”. Technical Report Heft 89, Veröffentlichungen des Instituts für Wirtschaftsinformatik University of Saarland (1992)

  24. Kindler, E.: On the semantics of EPCs: resolving the vicious circle. Data Knowl. Eng. 56, 23–40 (2006)

    Article  Google Scholar 

  25. Koehler, J., Hauser, R., Küster, J.M., Ryndina, K., Vanhatalo, J., Wahler, M.: The role of visual modeling and model transformations in business-driven development. Electron. Notes Theor. Comput. Sci. 211, 5–15 (2008)

    Article  Google Scholar 

  26. La Rosa, M., Reijers, H.A., Aalst, W.M.P., Dijkman, R.M., Mendling, J., Dumas, M., Garcia-Banuelos, L.: Apromore: an advanced process model repository. Expert Syst. Appl. 38(6), 7029–7040 (2011)

    Article  Google Scholar 

  27. Liu, D., Shen, M.: Workflow modeling for virtual processes: an order-preserving process-view approach. Inf. Syst. 28(6), 505–532 (2003)

    Article  MATH  Google Scholar 

  28. Magnani, M., Montesi, D.: BPMN: how much does it cost? An incremental approach. In: BPM 2007. LNCS, vol. 4714, pp. 80–87. Springer, Berlin (2007)

    Google Scholar 

  29. McMaster, R.B., Shea, S.K.: Generalization in digital cartography. In: Resource Publication of the Association of American Geographers, Washington, DC, USA (1992)

    Google Scholar 

  30. Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. LNBIP, vol. 6. Springer, Berlin (2008)

    Google Scholar 

  31. Mendling, J., Simon, C.: Business process design by view integration. In: Business Process Management Workshops. LNCS, vol. 4103, pp. 55–64. Springer, Berlin (2006)

    Chapter  Google Scholar 

  32. Mendling, J., Verbeek, H., van Dongen, B., 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)

    Article  Google Scholar 

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

    Article  Google Scholar 

  34. Nickerson, B.G., Freeman, H.R.: Development of a rule-based system for automatic map generalization. In: ISSDH, Seattle, Washington, USA, January, pp. 537–556 (1986)

    Google Scholar 

  35. Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. Softw. Eng. 20(10), 760–773 (1994)

    Article  Google Scholar 

  36. OMG: Meta Object Facility (MOF) Core Specification, 2.0 edition, January 2006

  37. OMG: Business Process Model and Notation (BPMN), 2011 edition, January 2011

  38. Pankratius, V., Stucky, W.: A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets. In: APCCM 2005. CRPIT, vol. 43, pp. 79–88. Australian Computer Society, Darlinghurst (2005)

    Google Scholar 

  39. Polyvyanyy, A., Smirnov, S., Weske, M.: Process model abstraction: a slider approach. In: EDOC 2008, pp. 325–331 (2008)

    Google Scholar 

  40. Polyvyanyy, A., Smirnov, S., Weske, M.: Reducing complexity of large EPCs. In: Loos, P., Nüttgens, M., Turowski, K., Werth, D. (eds.) Modellierung betrieblicher Informationssysteme (MobIS 2008) Modellierung zwischen SOA und Compliance Management, 27–28 November 2008, Saarbrücken. GI-Edition - Lecture Notes in Informatics (LNI), vol. P-141, pp. 195–207. Bonner Köllen Verlag, Bonn (2008). ISBN 978-3-88579-235-2, ISSN 1617-5468

    Google Scholar 

  41. Polyvyanyy, A., Smirnov, S., Weske, M.: On application of structural decomposition for process model abstraction. In: Abramowicz, W., Maciaszek, L., Kowalczyk, R., Speck, A. (eds.) Business Process, Service Computing and Intelligent Service Management, 23–25 March 2009, Leipzig, Germany. GI-Edition - Lecture Notes in Informatics (LNI), vol. P-147, pp. 110–122. Bonner Köllen Verlag, Bonn (2009) ISBN 978-3-88579-241-3, ISSN 1617-5468

    Google Scholar 

  42. Polyvyanyy, A., Smirnov, S., Weske, M.: The triconnected abstraction of process models. In: BPM 2009, Ulm, Germany. LNCS, vol. 5701, pp. 229–244. Springer, Berlin (2009)

    Google Scholar 

  43. Preuner, G., Conrad, S., Schrefl, M.: View integration of behavior in object-oriented databases. Data Knowl. Eng. 36(2), 153–183 (2001)

    Article  MATH  Google Scholar 

  44. Reijers, H.A., Mendling, J.: Modularity in process models: review and effects. In: BPM 2008, Milan, Italy. LNCS, vol. 5240, pp. 20–35. Springer, Berlin (2008)

    Google Scholar 

  45. Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Berlin (1998)

    MATH  Google Scholar 

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

    Article  Google Scholar 

  47. Shen, M., Liu, D.: Discovering role-relevant process-views for recommending workflow information. In: DEXA. LNCS, vol. 2736, pp. 836–845. Springer, Berlin (2003)

    Google Scholar 

  48. Smirnov, S.: Structural aspects of business process diagram abstraction. In: International Workshop on BPMN, Vienna, Austria, July, pp. 375–382. IEEE Comput. Soc., Los Alamitos (2009)

    Google Scholar 

  49. Smirnov, S., Dijkman, R., Mendling, J., Weske, M.: Meronymy-based aggregation of activities in business process models. In: ER 2010. LNCS, vol. 6412, pp. 1–14. Springer, Berlin (2010)

    Google Scholar 

  50. Smirnov, S., Reijers, H.A., Weske, M.: A semantic approach for business process model abstraction. In: CAiSE 2011. LNCS, vol. 6741, pp. 497–511. Springer, Berlin (2011)

    Google Scholar 

  51. Streit, A., Pham, B., Brown, R.: Visualization support for managing large business process specifications. In: BPM 2005. LNCS, vol. 3649, pp. 205–219. Springer, Berlin (2005)

    Google Scholar 

  52. Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: POPL 1980, pp. 95–105. ACM, New York (1980)

    Chapter  Google Scholar 

  53. Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: BPM 2008, Milan, Italy. LNCS, vol. 5240, pp. 100–115. Springer, Berlin (2008)

    Google Scholar 

  54. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Berlin (2007)

    Google Scholar 

  55. Weber, I., Hoffmann, J.: J. Mendling. Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271–343 (2010)

    Article  Google Scholar 

  56. Weidlich, M., Dijkman, R.M., Mendling, J.: The ICoP framework: identification of correspondences between process models. In: CAiSE 2010. LNCS, vol. 6051, pp. 483–498. Springer, Berlin (2010)

    Google Scholar 

  57. Weidlich, M., Dijkman, R.M., Weske, M.: Deciding behaviour compatibility of complex correspondences between process models. In: BPM 2010. LNCS, vol. 6336, pp. 78–94. Springer, Berlin (2010)

    Google Scholar 

Download references

Acknowledgements

The authors acknowledge the support of the following industry partners: AOK Nordost in Teltow, Germany; Infosys in Bangalore, India; and Pallas Athena in Apeldoorn, The Netherlands. The authors thank Tassilo Glander for sharing his research expertise on map visualization.

Author information

Authors and Affiliations

  1. Hasso Plattner Institute, 2-3 Prof.-Dr.-Helmert-Strasse, Potsdam, 14482, Germany

    Sergey Smirnov & Mathias Weske

  2. Department of Industrial Engineering and Innovation Sciences, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Hajo A. Reijers

  3. Deloitte Consulting BV, P.O. Box 300, Laan van Kronenburg 2, 1180 AH, Amstelveen, The Netherlands

    Thijs Nugteren

Authors
  1. Sergey Smirnov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hajo A. Reijers
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Thijs Nugteren
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sergey Smirnov.

Additional information

Communicated by Asuman Dogac.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Smirnov, S., Reijers, H.A., Weske, M. et al. Business process model abstraction: a definition, catalog, and survey. Distrib Parallel Databases 30, 63–99 (2012). https://doi.org/10.1007/s10619-011-7088-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10619-011-7088-5

Keywords

Search

Navigation