Scalable process discovery and conformance checking

Software and Systems Modeling

Volumn 17, Issue 2, 2018, Pages 599-631

  Leemans, Sander J J ^a   Fahland, Dirk ^a   van der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Algorithm evaluation; Big data; Block structured process discovery; Conformance checking; Directly follows graphs; Rediscoverability; Scalable process mining

Indexed keywords

BIG DATA;

ALGORITHM EVALUATION; BLOCK STRUCTURED; CONFORMANCE CHECKING; DIRECTLY-FOLLOWS GRAPHS; PROCESS MINING; REDISCOVERABILITY;

DATA MINING;

EID: 84978160818     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-016-0545-x     Document Type: Article

References (68)

1. Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment based precision checking. In: Business Process Management Workshops 2012, pp. 137–149 (2012). doi:10.1007/978-3-642-36285-9_15
2. Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: IEEE EDOC 2011, pp. 55–64 (2011). doi:10.1109/EDOC.2011.12
3. Adriansyah, A.: Aligning Observed and Modeled Behavior. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2014)
4. Ammons, G., Bodík, R., Larus, J.R.: Mining specifications. In: POPL SIGPLAN-SIGACT 2002, pp. 4–16 (2002). doi:10.1145/503272.503275. http://dblp.uni-trier.de/rec/bibtex/conf/popl/AmmonsBL02
5. Armas-Cervantes, A., Baldan, P., Dumas, M., García-Ba nuelos, L.: Behavioral comparison of process models based on canonically reduced event structures. In: BPM 2014, pp. 267–282 (2014). doi:10.1007/978-3-319-10172-9_17
6. Badouel, E.: On the α -reconstructibility of workflow nets. In: Proceedings on 33rd International Conference, of Application and Theory of Petri Nets, Hamburg, Germany, June 25–29, vol. 7347, pp. 128–147. Springer, Berlin (2012). doi:10.1007/978-3-642-31131-4_8. http://dblp.uni-trier.de/rec/bibtex/conf/apn/Badouell2
7. Becker, M., Laue, R.: A comparative survey of business process similarity measures. Comput. Ind. 63(2), 148–167 (2012). doi:10.1016/j.compind.2011.11.003
8. Benner-Wickner, M., Brückmann, T., Gruhn, V., Book, M.: Process mining for knowledge-intensive business processes. In: I-KNOW 2015, pp. 4:1–4:8 (2015). doi:10.1145/2809563.2809580
9. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages. Business Process Management, Hoboken (2007)
10. Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of Petri nets from term based representations of infinite partial languages. Fundam. Inform. 95(1), 187–217 (2009)
11. Buijs, J., van Dongen, B., van der Aalst, W.: A genetic algorithm for discovering process trees. In: IEEE Congress on Evolutionary Computation, pp. 1–8 (2012)
12. Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: OTM. LNCS, vol. 7565, pp. 305–322 (2012). doi:10.1007/978-3-642-33606-5_19
13. Buijs, J.C.A.M.: Flexible Evolutionary Algorithms for Mining Structured Process Models. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2014)
14. Burattin, A., Sperduti, A., van der Aalst, W.M.P.: Control-flow discovery from event streams. In: IEEE Congress on Evolutionary Computation, pp. 2420–2427 (2014). doi:10.1109/CEC.2014.6900341
15. Burattin, A.: PLG2: multiperspective processes randomization and simulation for online and offline settings. CoRR (2015). arXiv:1506.08415
16. Carmona, J., Solé, M.: PMLAB: an scripting environment for process mining. In: BPM Demos. CEUR-WP, vol. 1295 (2014)
17. Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Trans. Comput. 47(8), 859–882 (1998)
18. Datta, S., Bhaduri, K., Giannella, C., Wolff, R., Kargupta, H.: Distributed data mining in peer-to-peer networks. IEEE Internet Comput. 10(4), 18–26 (2006). doi:10.1109/MIC.2006.74
19. Dijkman, R.M., van Dongen, B.F., Dumas, M., García-Ba nuelos, L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M., Yan, Z.: A short survey on process model similarity. In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 421–427 (2013). doi:10.1007/978-3-642-36926-1_34
20. Esparza, J., Nielsen, M.: Decidability issues for Petri nets—a survey. Bull. EATCS 52, 244–262 (1994). http://dblp.uni-trier.de/rec/bibtex/journals/eatcs/EsparzaN94
21. Evermann, J.: Scalable process discovery using map-reduce. In: IEEE Transactions on Services Computing (2014, to appear)
22. Gabel, M., Su, Z.: Javert: fully automatic mining of general temporal properties from dynamic traces. In: ACM SIGSOFT 2008, pp. 339–349 (2008). doi:10.1145/1453101.1453150
23. Günther, C., Rozinat, A.: Disco: discover your processes. In: BPM (Demos), pp. 40–44 (2012)
24. Hay, B., Wets, G., Vanhoof, K.: Mining navigation patterns using a sequence alignment method. Knowl. Inf. Syst. 6(2), 150–163 (2004)
25. Hwong, Y., Keiren, J.J.A., Kusters, V.J.J., Leemans, S.J.J., Willemse, T.A.C.: Formalising and analysing the control software of the compact muon solenoid experiment at the large hadron collider. Sci. Comput. Program. 78(12), 2435–2452 (2013). doi:10.1016/j.scico.2012.11.009
26. Kohavi, R., Brodley, C.E., Frasca, B., Mason, L., Zheng, Z.: Kdd-cup 2000 organizers’ report: peeling the onion. SIGKDD Explor. 2(2), 86–98 (2000). doi:10.1145/380995.381033
27. Kunze, M., Weidlich, M., Weske, M.: Querying process models by behavior inclusion. Softw. Syst. Model. 14(3), 1105–1125 (2015). doi:10.1007/s10270-013-0389-6
28. Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Business Process Management Workshops, pp. 66–78 (2013)
29. Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs—A constructive approach. In: Petri Nets 2013, pp. 311–329 (2013). doi:10.1007/978-3-642-38697-8_17
30. Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from incomplete event logs. In: Petri nets 2014, vol. 8489, pp. 91–110 (2014). doi:10.1007/978-3-319-07734-5_6
31. Leemans, S., Fahland, D., van der Aalst, W.: Exploring processes and deviations. In: Business Process Management Workshops (2014, to appear)
32. Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery with guarantees. In: BPMDS 2015, pp. 85–101 (2015). doi:10.1007/978-3-319-19237-6_6
33. Leemans, M., van der Aalst, W.: Process mining in software systems: discovering real-life business transactions and process models from distributed systems. In: Lethbridge T, Cabot J, Egyed A (eds.) ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 44–53 (2015). http://dblp.uni-trier.de/rec/bibtex/conf/models/LeemansA15
34. Liesaputra, V., Yongchareon, S., Chaisiri, S.: Efficient process model discovery using maximal pattern mining. In: BPM 2015, pp. 441–456 (2015). doi:10.1007/978-3-319-23063-4_29
35. Linz, P.: An introduction to formal languages and automata. Jones & Bartlett Learning, Burlington (2011)
36. Lu, X., Fahland, D., van den Biggelaar, F.J., van der Aalst, W.M.: Label refinement for handling duplicated tasks in process discovery. In: BPM (2016, submitted)
37. Møller, A.: dk.brics.automaton—finite-state automata and regular expressions for Java (2010). http://www.brics.dk/automaton/
38. Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102–122 (2014). doi:10.1016/j.is.2014.04.003
39. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
40. Pradel, M., Gross, T.R.: Automatic generation of object usage specifications from large method traces. In: ASE 2009, pp. 371–382. IEEE Computer Society (2009). doi:10.1109/ASE.2009.60
41. Redlich, D., Molka, T., Gilani, W., Blair, G.S., Rashid, A.: Constructs competition miner: process control-flow discovery of bp-domain constructs. In: Proceedings on 12th International Conference, Business Process Management (BPM), Haifa, Israel, September 7–11, 2014, vol. 8659, pp. 134–150 (2014). doi:10.1007/978-3-319-10172-9_9
42. Redlich, D., Molka, T., Gilani, W., Blair, G.S., Rashid, A.: Scalable dynamic business process discovery with the constructs competition miner. In: SIMPDA 2014. CEUR-WP, vol. 1293, pp. 91–107 (2014)
43. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008). doi:10.1016/j.is.2007.07.001
44. Tapia-Flores, T., López-Mellado, E., Estrada-Vargas, A.P., Lesage, J.: Petri net discovery of discrete event processes by computing t-invariants. In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, Sept. 16–19, pp. 1–8 (2014). doi:10.1109/ETFA.2014.7005080
45. van Beest, N.R.T.P., Dumas, M., García-Ba nuelos, L., Rosa, M.L.: Log delta analysis: Interpretable differencing of business process event logs. In: BPM 2015, pp. 386–405 (2015). doi:10.1007/978-3-319-23063-4_26
46. van der Aalst, W.M.P., et al.: Process mining manifesto. In: Business Process Management Workshops-(BPM) 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011, pp. 169–194 (2011). doi:10.1007/978-3-642-28108-2_19
47. van der Aalst, W.M.P.: Decomposing process mining problems using passages. In: Petri Nets 2012, pp. 72–91 (2012). doi:10.1007/978-3-642-31131-4_5
48. van der Aalst, W.M.P.: Process cubes: slicing, dicing, rolling up and drilling down event data for process mining. AP-BPM 2013, 1–22 (2013). doi:10.1007/978-3-319-02922-1_1
49. van der Aalst, W., Weijters, A., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004). doi:10.1109/TKDE.2004.47
50. van der Aalst, W.M.P.: Process Mining—Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011). doi:10.1007/978-3-642-19345-3
51. van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip. Rev Data Min. Knowl. Discov. 2(2), 182–192 (2012)
52. van der Aalst, W.M.P.: Decomposing Petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471–507 (2013). doi:10.1007/s10619-013-7127-5
53. van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press, Cambridge (2011)
54. van der Werf, J., van Dongen, B., Hurkens, C., Serebrenik, A.: Process discovery using integer linear programming. Fundam. Inform. 94(3–4), 387–412 (2009)
55. van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 405–419 (2013). doi:10.1007/978-3-642-36926-1_33
56. van Dongen, B.: BPI Challenge 2011 Dataset (2011). doi:10.4121/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54
57. van Dongen, B.: BPI Challenge 2012 Dataset (2012). doi:10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f
58. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555–600 (1996). doi:10.1145/233551.233556
59. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: ICSOC 2007, pp. 43–55 (2007). doi:10.1007/978-3-540-74974-5_4
60. Weerdt, J.D., Backer, M.D., Vanthienen, J., Baesens, B.: A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs. Inf. Syst. 37(7), 654–676 (2012)
61. Weidlich, M., van der Werf, J.: On profiles and footprints—relational semantics for Petri nets. In: Petri Nets, pp. 148–167 (2012)
62. Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles—efficient computation, applications, and evaluation. Fundam. Inform. 113(3–4), 399–435 (2011)
63. Weijters, A., Ribeiro, J.: Flexible heuristics miner. In: CIDM, pp. 310–317 (2011)
64. Weijters, A., van der Aalst, W., de Medeiros, A.: Process Mining with the Heuristics Miner-Algorithm. BETA working paper series 166, Eindhoven University of Technology, Eindhoven (2006)
65. Wen, L., Wang, J., Sun, J.: Mining invisible tasks from event logs. In: Advances in Data and Web Management, pp. 358–365 (2007)
66. Wen, L., van der Aalst, W., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2), 145–180 (2007)
67. Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: mining temporal API rules from imperfect traces. In: ICSE 2006, pp. 282–291 (2006). doi:10.1145/1134325
68. Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Comput. Ind. 61(5), 463–471 (2010). doi:10.1016/j.compind.2010.01.001