Business process model abstraction based on synthesis from well-structured behavioral profiles

International Journal of Cooperative Information Systems

Volumn 21, Issue 1, 2012, Pages 55-83

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

^a UNIVERSITY OF POTSDAM   (Germany)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

behavioral profiles; process model abstraction; process model management; Process models; synthesis

Indexed keywords

EID: 84858847891     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843012400035     Document Type: Conference Paper

References (52)

1. S. Smirnov, H. Reijers, Th. Nugteren and M. Weske, Business Process Model Abstraction: Theory and Practice, Technical report, Hasso Plattner Institute (2010), http://bpt.hpi.uni-potsdam.de/pub/Public/SergeySmirnov/ abstractionUseCases.pdf.
2. R. Bobrik, M. Reichert and T. Bauer, View-based process visualization, in BPM 2007, LNCS, Vol. 4714 (Springer, Berlin, 2007), pp. 88-95.
3. R. Eshuis and P. Grefen, Constructing customized process views, Data Knowl. Eng. 64(2) (2008) 419-438. (Pubitemid 350297496)
4. D. Liu and M. Shen, Workflow modeling for virtual processes: An order-preserving process-view approach, Inf. Syst. J. 28(6) (2003) 505-532.
5. A. Polyvyanyy, S. Smirnov and M. Weske, The triconnected abstraction of process models, in BPM 2009, LNCS, Vol. 5701 (Springer, 2009), pp. 229-244.
6. H. A. Reijers, J. Mendling and R. M. Dijkman, On the usefulness of subprocesses in business process models, BPM center report BPM-10-03, BPMcenter.org, 2010.
7. M. Weidlich, A. Barros, J. Mendling and M. Weske, Vertical alignment of process models-How can we get there? in BPMDS 2009, LNBIP, Vol. 29 (Springer, 2009), pp. 71-84.
8. S. Smirnov, M. Weidlich and J. Mendling, Business process model abstraction based on behavioral profiles, in ICSOC 2010, LNCS, Vol. 6470 (Springer, 2010), pp. 1-16.
9. M. Schrefl and M. Stumptner, Behavior-consistent specialization of object life cycles, ACM Trans. Softw. Eng. Methodol. 11(1) (2002) 92-148.
10. M. Weidlich, J. Mendling and M. Weske, Efficient consistency measurement based on behavioral profiles of process models, IEEE Trans. Softw. Eng. 37(3) (2011) 410-429.
11. C. Di Francescomarino, A. Marchetto and P. Tonella, Cluster-based modularization of processes recovered from web applications, J. Softw. Maint. Evol. Res. Pract. (2010).
12. S. Smirnov, R. Dijkman, J. Mendling and M. Weske, Meronymy-based aggregation of activities in business process models, in ER 2010, LNCS, Vol. 6412 (Springer, 2010), pp. 1-14.
13. S. Smirnov, H. A. Reijers and M. Weske, A semantic approach for business process model abstraction, in CAiSE 2011, LNCS, Vol. 6741 (Springer, 2011), pp. 497-511.
14. W. M. P. van der Aalst, The application of Petri nets to workflow management, J. Circuits, Syst. Comput. 8(1) (1998) 21-66. (Pubitemid 128540249)
15. R. M. Dijkman, M. Dumas and Ch. Ouyang, Semantics and analysis of business process models in BPMN, Inf. Softw. Technol. 50(12) (2008) 1281-1294.
16. J. Vanhatalo, H. V̈olzer and J. Koehler, The refined process structure tree, in BPM 2008, LNCS, Vol. 5240 (Springer, 2008), pp. 100-115.
17. W. M. P. van der Aalst, Workflow Verification: Finding control-flow errors using petri-net-based techniques, in BPM 2000, LNCS, Vol. 1806 (Springer, 2000), pp. 161-183.
18. M. Weidlich, A. Polyvyanyy, J. Mendling and M. Weske, Efficient computation of causal behavioral profiles using structural decomposition, in Petri Nets 2010, LNCS, Vol. 6128 (Springer, 2010), pp. 63-83.
19. B. Kiepuszewski, A. H. M. ter Hofstede and Ch. Bussler, On structured workflow modelling, in CAiSE 2000, LNCS, Vol. 1789 (Springer, 2000), pp. 431-445.
20. R. Laue and J. Mendling, Structuredness and its significance for correctness of process models, Inf. Syst. e-Bus. Manage. 8(3) (2010) 287-307.
21. C. Combi and R. Posenato, Controllability in temporal conceptual workflow schemata, in BPM 2009, LNCS, Vol. 5701 (Springer, 2009), pp. 64-79.
22. A. Polyvyanyy, L. Garćia-Bañuelos and M. Dumas, Structuring acyclic process models, in BPM 2010, LNCS, Vol. 6336 (Springer, 2010), pp. 276-293.
23. A. Polyvyanyy, L. Garćia-Bañuelos and M. Dumas, Structuring acyclic process models, Inf. Syst. (2011).
24. E. Best, R. R. Devillers, A. Kiehn and L. Pomello, Concurrent bisimulations in Petri nets, Acta I nform. 28(3) (1991) 231-264.
25. R. M. McConnell and F. de Montgolfier, Linear-time modular decomposition of directed graphs, Discrete Appl. Math. 145(2) (2005) 198-209.
26. C. Larman, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (Prentice Hall PTR, Upper Saddle River, NJ, USA, 2004).
27. D. L. Parnas, On the criteria to be used in decomposing systems into modules, Com-mun. ACM 15 (1972) 1053-1058.
28. W. Stevens, G. Myers and L. Constantine, Structured Design (Yourdon Press, Upper Saddle River, NJ, USA, 1979), pp. 205-232.
29. H. A. Reijers and I. T. P. Vanderfeesten, Cohesion and coupling metrics for workflow process design, in BPM 2004, LNCS, Vol. 3080 (Springer, 2004), pp. 290-305. (Pubitemid 39742130)
30. M. Stoer and F. Wagner, A simple min-cut algorithm, J. ACM 44 (1997) 585-591. (Pubitemid 127617705)
31. M. Weidlich, S. Smirnov, Ch. Wiggert and M. Weske, Flexab-flexible business process model abstraction, to appear in CAiSE Forum 2011, London, United Kingdom, 2011.
32. G. Decker, H. Overdick and M. Weske, Oryx-An open modeling platform for the BPM community, in BPM 2008 (Springer, 2008), pp. 382-385.
33. A. Polyvyanyy, S. Smirnov and M. Weske, On application of structural decomposition for process model abstraction, in BPSC 2009, LNI, Vol. 147 (Leipzig, 2009), pp. 110-122.
34. G. Keller and T. Teufel, SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping (Addison-Wesley, 1998).
35. J. Becker, M. Rosemann and Ch. von Uthmann, Guidelines of business process modeling, in BPM 2000, LNCS, Vol. 1806 (Springer, 2000), pp. 30-49.
36. J. Mendling, H. A. Reijers and W. M. P. van der Aalst, Seven process modeling guidelines (7PMG), Inf. Softw. Technol. 52(2) (2010) 127-136.
37. T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE 77(4) (1989) 541-580.
38. W. Sadiq and M. E. Orlowska, Analyzing process models using graph reduction techniques, Inf. Syst. J. 25(2) (2000) 117-134.
39. B. F. van Dongen, M. Jansen-Vullers, H. Verbeek and W. M. P. van der Aalst, Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants, Comput. Ind. 58(6) (2007) 578-601. (Pubitemid 46802841)
40. J. Mendling and W. M. P. van der Aalst, Formalization and verification of EPCs with OR-joins based on state and context, in CAiSE 2007, LNCS, Vol. 4495 (Springer, Trondheim, Norway, 2007), pp. 439-453.
41. M. Th. Wynn, H. M. W. Verbeek, W. M. P. van der Aalst, A. H. M. ter Hofstede and D. Edmond, Reduction rules for YAWL workflows with cancellation regions and OR-joins, Inf. Softw. Technol. 51(6) (2009) 1010-1020.
42. V. Pankratius and W. Stucky, A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets, in APCCM (Australia Computer Society, Darlinghurst, Australia, 2005), pp. 79-88.
43. W. M. P. van der Aalst and T. Basten, Life-cycle inheritance: A Petri-net-based approach, in ICATPN 1997 (Springer, London, UK, 1997), pp. 62-81. (Pubitemid 127088936)
44. C. W. Günther and W. M. P. van der Aalst, Fuzzy Mining-adaptive process simplification based on multi-perspective metrics, in BPM 2007, LNCS, Vol. 4714 (Springer, Berlin, 2007), pp. 328-343.
45. J. Cardoso, J. Miller, A. Sheth and J. Arnold, Modeling quality of service for workflows and web service processes, Technical report, University of Georgia (2002), Web Services.
46. A. Basu and R. W. Blanning, Synthesis and decomposition of processes in organizations, Inf. Syst. Res. 14(4) (2003) 337-355. (Pubitemid 38137134)
47. A. Streit, B. Pham and R. Brown, Visualization support for managing large business process specifications, in BPM 2005, LNCS, Vol. 3649 (Springer, 2005), pp. 205-219. (Pubitemid 41490764)
48. W. M. P. van der Aalst, A. J. M. M. Weijters and L. Maruster, Workflow mining: discovering process models from event logs, IEEE Trans. Knowl. Data Eng. 16(9) (2004) 1128-1142.
49. B. F. van Dongen, A. K. A. de Medeiros and L. Wen, Process mining: Overview and outlook of Petri net discovery algorithms, Transactions Petri Nets and Other Models of Concurrency 5460 (2009) 225-242.
50. J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev, Deriving Petri nets from finite transition systems, IEEE Trans. Comput. 47(8) (1998) 859-882. (Pubitemid 128738520)
51. J. Dehnert and W. M. P. van der Aalst, Bridging the gap between business models and workflow specifications, Int. J. Coop. Inf. Syst. 13(3) (2004) 289-332. (Pubitemid 39503058)
52. P. Massuthe, A. Serebrenik, N. Sidorova and K. Wolf, Can i find a partner? Undecid-ability of partner existence for open nets, Inf. Process. Lett. 108(6) (2008) 374-378.