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

Distributed and Parallel Databases

Volumn 30, Issue 1, 2012, Pages 63-99

  Smirnov, Sergey ^a   Reijers, Hajo A ^b   Weske, Mathias ^a   Nugteren, Thijs ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c Deloitte Consulting BV   (Netherlands)

Author keywords

Business process modeling; Model abstraction; Process model management; Process model views

Indexed keywords

ABSTRACTION TECHNIQUES; BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELING; DETAILED MODELS; END USERS; MODEL ABSTRACTION; PROCESS MODEL; STATE OF THE ART;

ENTERPRISE RESOURCE MANAGEMENT; HEALTH INSURANCE; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS;

ABSTRACTING;

EID: 84859963128     PISSN: 09268782     EISSN: 15737578     Source Type: Journal    
DOI: 10.1007/s10619-011-7088-5     Document Type: Review

References (57)

1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21-66 (1998) (Pubitemid 128540249)
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) (Pubitemid 127088936)
3. Becker, J., Kugeler, M., Rosemann, M.: Process Management: A Guide for the Design of Business Processes. Springer, Berlin (2003)
4. Berthelot, G.: Checking properties of nets using transformation. In: Advances in Petri Nets 1985, pp. 19-40. Springer, London (1986)
5. Berthelot, G.: Transformations and decompositions of nets. In: Advances in Petri nets 1986, pp. 359-376. Springer, London (1987)
6. Bobrik, R., Bauer, Th., Reichert, M.: Proviado-personalized and configurable visualizations of business processes. In: EC-Web, pp. 61-71 (2006) (Pubitemid 44577466)
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)
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)
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) (Pubitemid 43231671)
11. Chiu, D.K.W., Cheung, S.C., Till, S., Karlapalem, K., Li, Q., Kafeza, E.:Workflow view driven crossorganizational interoperability in a web service environment. Int. J. Inf. Technol. Manag. 5(3-4), 221-250 (2004)
12. Chiu, D.K.W., Karlapalem, K., Li, Q., Kafeza, E.: Workflow view based E-contracts in a crossorganizational E-services environment. Distrib. Parallel Databases 12(2-3), 193-216 (2002) (Pubitemid 35011708)
13. WorkflowManagement 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)
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)
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) (Pubitemid 351602007)
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) (Pubitemid 46802841)
18. Eshuis, R., Grefen, P.: Constructing customized process views. Data Knowl. Eng. 64(2), 419-438 (2008) (Pubitemid 350297496)
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)
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)
21. Günther, C.W., van der Aalst,W.M.P.: Fuzzy mining-adaptive process simplification based on multiperspective metrics. In: BPM 2007. LNCS, vol. 4714, pp. 328-343. Springer, Berlin (2007)
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)
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) (Pubitemid 41542966)
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) (Pubitemid 351608971)
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)
27. Liu, D., Shen, M.: Workflow modeling for virtual processes: an order-preserving process-view approach. Inf. Syst. 28(6), 505-532 (2003)
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)
29. McMaster, R.B., Shea, S.K.: Generalization in digital cartography. In: Resource Publication of the Association of American Geographers, Washington, DC, USA (1992)
30. Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. LNBIP, vol. 6. Springer, Berlin (2008)
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) (Pubitemid 44543236)
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) (Pubitemid 350087292)
33. Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541-580 (1989)
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)
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)
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)
39. Polyvyanyy, A., Smirnov, S., Weske, M.: Process model abstraction: a slider approach. In: EDOC 2008, pp. 325-331 (2008)
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
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
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)
43. Preuner, G., Conrad, S., Schrefl, M.: View integration of behavior in object-oriented databases. Data Knowl. Eng. 36(2), 153-183 (2001) (Pubitemid 32029462)
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)
45. Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Berlin (1998)
46. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117-134 (2000)
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)
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)
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)
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)
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) (Pubitemid 41490764)
52. Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: POPL 1980, pp. 95-105. ACM, New York (1980)
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)
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)
55. Weber, I., Hoffmann, J.: J. Mendling. Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271-343 (2010)
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)
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)