Process discovery algorithms using numerical abstract domains

IEEE Transactions on Knowledge and Data Engineering

Volumn 26, Issue 12, 2014, Pages 3064-3076

  Carmona, Josep ^a   Cortadella, Jordi ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Business; Formal methods; Mining methods and algorithms; Software Engineering Process; Workflow management

Indexed keywords

FORMAL METHODS;

ABSTRACT DOMAINS; MINING METHODS AND ALGORITHMS; PROCESS DISCOVERY; SOFTWARE ENGINEERING PROCESS; WORKFLOW MANAGEMENTS;

INDUSTRY;

EID: 84910070794     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2013.156     Document Type: Article

References (36)

1. W. M. P. van der Aalst, Process Mining-Discovery, Conformance and Enhancement of Business Processes. Berlin, Germany: Springer, 2011.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
3. J. Carmona and J. Cortadella, "Process mining meets abstract interpretation," in ECML/PKDD (1), J. L. Balcázar, F. Bonchi, A. Gionis, and M. Sebag, Eds. Berlin, Germany: Springer, 2010, pp. 184-199, LNCS 6321.
4. W. M. P. van der Aalst, T. Weijters, and L. Maruster, "Workflow mining: Discovering process models from event logs," IEEE Trans. Knowl. Data Eng., vol. 16, no. 9, pp. 1128-1142, Sept. 2004.
5. L. Wen, W. M. P. van der Aalst, J. Wang, and J. Sun, "Mining process models with non-free-choice constructs," Data Min. Knowl. Discov., vol. 15, no. 2, pp. 145-180, Oct. 2007.
6. L. Wen, J. Wang, W. van der Aalst, B. Huang, and J. Sun, "A novel approach for process mining based on event types," J. Intell. Inform. Syst., vol. 32, no. 2, pp. 163-190, Apr. 2009.
7. W. M. P. van der Aalst, A. K. A. de Medeiros, and A. J. M. M. Weijters, "Genetic process mining," in Proc. 26th Int. Conf. Applicat. Theory Petri Nets, Miami, FL, USA: Springer, 2005, pp. 48-69, LNCS 3536.
8. R. Bergenthum, J. Desel, R. Lorenz, and S.Mauser, "Process mining based on regions of languages," in Proc. 5th Int. Conf. Business Process Management, Brisbane, QLD, Australia, Sept. 2007, pp. 375-383.
9. J. M. E. M. van der Werf, B. F. van Dongen, C. A. J. Hurkens, and A. Serebrenik, "Process discovery using integer linear programming," in Petri Nets, K. M. van Hee and R. Valk, Eds. XiŠan, China: Springer, 2008, pp. 368-387, LNCS 5062.
10. J. Carmona, J. Cortadella, and M. Kishinevsky, "New region-based algorithms for deriving bounded Petri nets," IEEE Trans. Comput., vol. 59, no. 3, pp. 371-384, Mar. 2009.
11. M. Solé and J. Carmona, "Light region-based techniques for process discovery," Fundam. Inform., vol. 113, no. 3-4, pp. 343-376, Aug. 2011.
12. P. Cousot and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints," in Conf. Rec. 6th Annu. ACM SIGPLAN-SIGACT Symp. POPL, Los Angeles, CA, USA: ACM Press, 1977, pp. 238-252.
13. P. Cousot and R. Cousot, "Static determination of dynamic properties of programs," in Proc. 2nd Int. Symp. Program., Paris, France, 1976, pp. 106-130.
14. A. Miné, "The octagon abstract domain," in Analysis, Slicing and Tranformation (in Working Conf. Reverse Engineering), IEEE CS Press, Oct. 2001, pp. 310-319, IEEE [Online]. Available: http://www.di.ens.fr/~mine/publi/article-mine-ast01.pdf
15. P. Cousot and N. Halbwachs, "Automatic discovery of linear restraints among variables of a program," in Proc. 5th ACM SIGACT-SIGPLAN Symposium POPL, New York, NY, USA: ACM Press, 1978, pp. 84-97.
16. A. Rozinat and W. M. P. van der Aalst, "Conformance checking of processes based on monitoring real behavior," Inf. Syst., vol. 33, no. 1, pp. 64-95, Mar. 2008.
17. I. T. Jolliffe, Principal Component Analysis. New York, NY, USA: Springer, 2002.
18. L. Recalde, M. Silva, J. Ezpeleta, and E. Teruel, "Petri nets and manufacturing systems: An examples-driven tour," in Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig, and G. Rozenberg Eds. Berlin, Germany: Springer, 2003, pp. 742-788, LNCS 3098.
19. W. M. P. van der Aalst et al., "Process mining: A two-step approach to balance between underfitting and overfitting," Soft. Syst. Model., vol. 9, no. 1, pp. 87-111, Jan. 2010.
20. M. Silva, E. Teruel, and J. Colom, Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Berlin, Germany: Springer-Verlag, 1998, LNCS 1491.
21. R. T. Rockafellar, Convex Analysis, Princeton, NJ: Princeton University Press, 1970.
22. B. Jeannet and A. Miné, "Apron: A library of numerical abstract domains for static analysis," in CAV, A. Bouajjani and O. Maler, Eds. Berlin, Germany: Springer, 2009, pp. 661-667, LNCS 5643.
23. K. Fukuda, S. Picozzi, and D. Avis, "On canonical representations of convex polyhedra," in Proc. 1st Int. Congr. Math. Softw., 2002, pp. 350-360.
24. O. Ore, "Galois connexions," Trans. Am. Math. Soc., vol. 55, no. 3, pp. 493-513, May 1944.
25. D. Avis, D. Bremner, and R. Seidel, "How good are convex hull algorithms?" Comput. Geometry, vol. 7, no. 56, pp. 265-301, Apr. 1997.
26. R. Bagnara, P. M. Hill, E. Ricci, and E. Zaffanella, "Precise widening operators for convex polyhedra," Sci. Comput. Program., vol. 58, no. 1-2, pp. 28-56, Oct. 2005.
27. Example log [Online]. Available: http://www.lsi.upc.edu/~jcarmona/prodcons1000.tr
28. G. Frehse, "PHAVer: Algorithmic verification of hybrid systems past HyTech," in HSCC, M. Morari and L. Thiele, Eds. Berlin, Germany: Springer, 2005, pp. 258-273, LNCS 3414.
29. C. H. Q. Ding and X. He, "K-means clustering via principal component analysis," in ICML, vol. 69, C. E. Brodley, Ed. New York, NY: ACM, 2004. p. 29, ACM International Conference Proceeding Series.
30. A. N. Gorban, B. Kgl, D. C. Wunsch, and A. Zinovyev, Principal Manifolds for Data Visualization and Dimension Reduction. Berlin, Germany: Springer, 2007.
31. H. Wang and M. Song, "Ckmeans.1d.dp: Optimal k-means clustering in one dimension by dynamic programming," R J., vol. 3, no. 2, pp. 29-33, 2011.
32. ALGLIB library [Online]. Available: http://www.alglib.net
33. Process mining [Online]. Available: http://www.processmining.org
34. A. J. M. M. Weijters and J. T. S. Ribeiro, "Flexible heuristics miner (FHM)," in IEEE Symp. CIDM, Paris, France, 2011, pp. 310-317.
35. R. J. C. Bose, "Process Mining in the Large: Preprocessing, Discovery, and Diagnostics," Ph.D. dissertation, Eindhoven Univ. Technol., Eindhoven, The Netherlands, 2012.
36. A. Ehrenfeucht and G. Rozenberg, "Partial (Set) 2-Structures. Part I, II," Acta Informatica, vol. 27, no. 4, pp. 315-368, 1990.