Business process model abstraction based on behavioral profiles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 1-16

  Smirnov, Sergey ^a   Weidlich, Matthias ^a   Mendling, Jan ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; ABSTRACT PROCESS; ABSTRACTION LEVEL; BEHAVIORAL CHARACTERISTICS; BEHAVIORAL PROFILES; BUSINESS PROCESS; BUSINESS PROCESS MODEL; COARSE-GRAINED; CONTROL FLOWS; DECISION SUPPORTS; LEVEL PROCESS; ORDERING CONSTRAINTS; ORIGINAL MODEL; PROCESS MODEL; PROCESS MODELING; SERVICE ORCHESTRATION;

DECISION SUPPORT SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS;

ABSTRACTING;

EID: 78650775056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_1     Document Type: Conference Paper

References (31)

1. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. JCSC 8(1), 21-66 (1998)
2. van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
3. van der Aalst, W.M.P., Basten, T.: Life-Cycle Inheritance: A Petri-Net-Based Approach. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 62-81. Springer, Heidelberg (1997
4. van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE TKDE 16(9), 1128-1142 (2004)
5. Basu, A., Blanning, R.W.: Synthesis and Decomposition of Processes in Organizations. ISR 14(4), 337-355 (2003)
6. Bobrik, R., Reichert, M., Bauer, T.: View-Based Process Visualization. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 88-95. Springer, Heidelberg (2007)
7. Cardoso, J., Miller, J., Sheth, A., Arnold, J.: Modeling Quality of Service for Workflows and Web Service Processes. Technical report, University of Georgia, Web Services (2002)
8. Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri Nets from Finite Transition Systems. IEEE TC 47(8), 859-882 (1998) (Pubitemid 128738520)
9. Dehnert, J., van der Aalst, W.M.P.: Bridging The Gap Between Business Models And Workflow Specifications. IJCIS 13(3), 289-332 (2004) (Pubitemid 39503058)
10. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. IST 50(12), 1281-1294 (2008)
11. 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. CAIE 58(6), 578-601 (2007)
12. Eshuis, R., Grefen, P.: Constructing Customized Process Views. DKE 64(2), 419-438 (2008)
13. Günther, C.W., van der Aalst, W.M.P.: Fuzzy Mining Adaptive Process Simplification Based on Multiperspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328-343. Springer, Heidelberg (2007)
14. Hammer, M., Champy, J.: Reengineering the Corporation: AManifesto for Business Revolution. HarperBusiness (April 1994)
15. Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143-209 (2003)
16. Liu, D., Shen, M.: Workflow Modeling for Virtual Processes: an Order-preserving Process-view Approach. ISJ 28(6), 505-532 (2003)
17. Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I Find a Partner? Undecidability of Partner Existence for Open Nets. IPL 108(6), 374-378 (2008)
18. Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439-453. Springer, Heidelberg (2007)
19. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541-580 (1989)
20. Pankratius, V., Stucky, W.: A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets. In: APCCM 2005, pp. 79-88. ACS, Inc, Darlinghurst (2005)
21. Polyvyanyy, A., Smirnov, S., Weske, M.: The Triconnected Abstraction of Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol. 5701, pp. 229-244. Springer, Heidelberg (2009)
22. Reijers, H.A., Mendling, J., Dijkman, R.M.: On the Usefulness of Subprocesses in Business Process Models. BPM Center Report BPM-10-03, BPMcenter.org (2010)
23. Sadiq, W., Orlowska, M.E.: Analyzing Process Models Using Graph Reduction Techniques. ISJ 25(2), 117-134 (2000)
24. Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM TOSEM 11(1), 92-148 (2002)
25. Smirnov, S., Dijkman, R., Mendling, J., Weske, M.: Meronymy-based Aggregation of Activities in Business Process Models. In: ER 2010. LNCS, Springer, Heidelberg (2010)
26. Smirnov, S., Reijers, H., Nugteren, T., Weske, M.: Business Process Model Abstraction: Theory and Practice. Technical report, Hasso Plattner Institute (2010), http://bpt.hpi.uni-potsdam.de/pub/Public/SergeySmirnov/ abstractionUseCases.pdf
27. Streit, A., Pham, B., Brown, R.: Visualization Support for Managing Large Business Process Specifications. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 205-219. Springer, Heidelberg (2005)
28. Vanhatalo, J., Völzer, H., Koehler, J.: The Refined Process Structure Tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100-115. Springer, Heidelberg (2008)
29. Weidlich, M., Barros, A., Mendling, J., Weske, M.: Vertical Alignment of Process Models - How Can We Get There? In:BPMDS 2009 LNBIP, vol. 29, pp. 71-84. Springer, Heidelberg (1975)
30. Weidlich, M., Mendling, J., Weske, M.: Efficient Consistency Measurement based on Behavioural Profiles of Process Models. In: IEEE TSE (to appear 2010)
31. Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Reduction Rules for YAWL Workflows with Cancellation Regions and OR joins. IST 51(6), 1010-1020 (2009)