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.
Similar content being viewed by others
References
van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21–66 (1998)
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)
Becker, J., Kugeler, M., Rosemann, M.: Process Management: A Guide for the Design of Business Processes. Springer, Berlin (2003)
Berthelot, G.: Checking properties of nets using transformation. In: Advances in Petri Nets 1985, pp. 19–40. Springer, London (1986)
Berthelot, G.: Transformations and decompositions of nets. In: Advances in Petri nets 1986, pp. 359–376. Springer, London (1987)
Bobrik, R., Bauer, Th., Reichert, M.: Proviado—personalized and configurable visualizations of business processes. In: EC-Web, pp. 61–71 (2006)
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
Bobrik, R., Reichert, M., Bauer, T.: View-based process visualization. In: BPM 2007. LNCS, vol. 4714, pp. 88–95. Springer, Berlin (2007)
Brassel, K.E., Weibel, R.: A review and conceptual framework of automated map generalization. Int. J. Geogr. Inf. Sci. 2(3), 229–244 (1988)
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)
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)
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)
Workflow Management Coalition: Reference model—the workflow reference model. Technical report WFMC-TC-1003, Workflow Management Coalition, January 1995
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)
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)
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)
Eshuis, R., Grefen, P.: Constructing customized process views. Data Knowl. Eng. 64(2), 419–438 (2008)
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)
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)
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)
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)
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)
Kindler, E.: On the semantics of EPCs: resolving the vicious circle. Data Knowl. Eng. 56, 23–40 (2006)
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)
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)
Liu, D., Shen, M.: Workflow modeling for virtual processes: an order-preserving process-view approach. Inf. Syst. 28(6), 505–532 (2003)
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)
McMaster, R.B., Shea, S.K.: Generalization in digital cartography. In: Resource Publication of the Association of American Geographers, Washington, DC, USA (1992)
Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. LNBIP, vol. 6. Springer, Berlin (2008)
Mendling, J., Simon, C.: Business process design by view integration. In: Business Process Management Workshops. LNCS, vol. 4103, pp. 55–64. Springer, Berlin (2006)
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)
Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
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)
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)
OMG: Meta Object Facility (MOF) Core Specification, 2.0 edition, January 2006
OMG: Business Process Model and Notation (BPMN), 2011 edition, January 2011
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)
Polyvyanyy, A., Smirnov, S., Weske, M.: Process model abstraction: a slider approach. In: EDOC 2008, pp. 325–331 (2008)
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
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
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)
Preuner, G., Conrad, S., Schrefl, M.: View integration of behavior in object-oriented databases. Data Knowl. Eng. 36(2), 153–183 (2001)
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)
Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Berlin (1998)
Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117–134 (2000)
Shen, M., Liu, D.: Discovering role-relevant process-views for recommending workflow information. In: DEXA. LNCS, vol. 2736, pp. 836–845. Springer, Berlin (2003)
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)
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)
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)
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)
Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: POPL 1980, pp. 95–105. ACM, New York (1980)
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)
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)
Weber, I., Hoffmann, J.: J. Mendling. Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271–343 (2010)
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)
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)
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
Corresponding author
Additional information
Communicated by Asuman Dogac.
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10619-011-7088-5