Complete and Interpretable Conformance Checking of Business Processes

IEEE Transactions on Software Engineering

Volumn 44, Issue 3, 2018, Pages 262-290

  García Bañuelos, Luciano ^a   Van Beest, Nick R T P ^b   Dumas, Marlon ^a   La Rosa, Marcello ^c   Mertens, Willem ^c  

^a UNIVERSITY OF TARTU   (Estonia)

^b CSIRO   (Australia)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

conformance checking; event log; event structure; Process mining; process model

Indexed keywords

SOFTWARE ENGINEERING;

CONFORMANCE CHECKING; EVENT LOG; EVENT STRUCTURES; PROCESS MINING; PROCESS MODELING;

COMPUTER SOFTWARE;

EID: 85044167975     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2017.2668418     Document Type: Article

References (39)

1. W. M. P. van der Aalst, Process Mining-Discovery, Conformance and Enhancement of Business Processes. Berlin, Germany: Springer, 2011.
2. J. C. A. M. Buijs, M. L. Rosa, H. A. Reijers, B. F. van Dongen, and W. M. P. van der Aalst, "Improving business process models using observed behavior," in Proc. 2nd IFIP WG 2.6, 2.12 Int. Symp. Data-Driven Process Discovery Anal., 2013, pp. 44-59.
3. D. Fahland and W. M. P. van der Aalst, "Model repair - aligning process models to reality," Inf. Syst., vol. 47, pp. 220-243, 2015.
4. N. Kleiner, "Delta analysis with workflow logs: Aligning business process prescriptions and their reality," Requirements Eng., vol. 10, no. 3, pp. 212-222, 2005.
5. M. Nielsen, G. D. Plotkin, and G. Winskel, "Petri nets, event structures and domains, part I," Theoretical Comput. Sci., vol. 13, pp. 85-108, 1981.
6. W. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros, "Workflow patterns," Distrib. Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
7. A. Rozinat and W. van der Aalst, "Conformance checking of processes based on monitoring real behavior," Inf. Syst., vol. 33, no. 1, pp. 64-95, 2008.
8. A. A. de Medeiros, "Genetic process mining," Ph.D. dissertation, Dept. Technol. Manage., Eindhoven Univ. Technol., Eindhoven, The Netherlands, 2006.
9. S. K. L. M. vanden Broucke, J. Munoz-Gama, J. Carmona, B. Baesens, and J. Vanthienen, "Event-based real-time decomposed conformance analysis," in Proc. Int. Conf. Move Meaningful Internet Syst., 2014, pp. 345-363.
10. J. Munoz-Gama, J. Carmona, and W. M. P. van der Aalst, "Singleentry single-exit decomposed conformance checking," Inf. Syst., vol. 46, pp. 102-122, 2014.
11. A. Adriansyah, B. van Dongen, and W. van der Aalst, "Conformance checking using cost-based fitness analysis," in Proc. IEEE 15th Int. Enterprise Distrib. Object Comput. Conf., 2011, pp. 55-64.
12. F. Mannhardt, M. de Leoni, H. A. Reijers, and W. M. van der Aalst, "Balanced multi-perspective checking of process conformance," Computing, vol. 98, pp. 407-437, 2015.
13. J. D. Weerdt, M. D. Backer, J. Vanthienen, and B. Baesens, "A robust F-measure for evaluating discovered process models," in Proc. IEEE Symp. Comput. Intell. Data Mining, 2011, pp. 148-155.
14. S. K. L. M. vanden Broucke, J. D. Weerdt, J. Vanthienen, and B. Baesens, "Determining process model precision and generalization with weighted artificial negative events," IEEE Trans. Knowl. Data Eng., vol. 26, no. 8, pp. 1877-1889, Aug. 2014.
15. J. Munoz-Gama and J. Carmona, "A fresh look at precision in process conformance," in Proc. 8th Int. Conf. Business Process Manage., 2010, pp. 211-226.
16. A. Adriansyah, J. Munoz-Gama, J. Carmona, B. F. van Dongen, and W. M. P. van der Aalst, "Measuring precision of modeled behavior," Inf. Syst. E-Business Manage., vol. 13, no. 1, pp. 37-67, 2015.
17. A. Armas-Cervantes, P. Baldan, M. Dumas, and L. García-Bañuelos, "Diagnosing behavioral differences between business process models: An approach based on event structures," Inf. Syst., vol. 56, pp. 304-325, 2016.
18. N. van Beest, M. Dumas, L. García-Bañuelos, and M. L. Rosa, "Log delta analysis: Interpretable differencing of business process event logs," in Proc. 8th Int. Conf. Business Process Manage., 2015, pp. 386-405.
19. L. García-Bañuelos, N. van Beest, M. Dumas, and M. L. Rosa, "Business process conformance checking based on event structures," in Proc. 27th Nordic Workshop Program. Theory, 2015, Art. no. 3.
20. R. M. Dijkman, M. Dumas, and C. Ouyang, "Semantics and analysis of business process models in BPMN," Inf. Softw. Technol., vol. 50, no. 12, pp. 1281-1294, 2008.
21. K. L. McMillan, "A technique of state space search based on unfolding," Formal Methods Syst. Des., vol. 6, no. 1, pp. 45-65, 1995.
22. J. Esparza, S. Römer, and W. Vogler, "An improvement of McMillan's unfolding algorithm," Formal Methods Syst. Des., vol. 20, no. 3, pp. 285-310 2002.
23. J. Esparza, "Model checking using net unfoldings," Sci. Comput. Program., vol. 23, no. 2/3, pp. 151-195, 1994.
24. J. E. Cook and A. L. Wolf, "Event-based detection of concurrency," in Proc. 6th ACM SIGSOFT Int. Symp. Found. Softw. Eng., 1998, pp. 35-45.
25. 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, Sep. 2004.
26. A. K. Alves de Medeiros, W. M. P. van der Aalst, and A. J. M. M. Weijters, "Workflow mining: Current status and future directions," in Proc. Int. Conf. Move Meaningful Internet Syst., 2003, pp. 389-406.
27. P. E. Hart, N. J. Nilsson, and B. Raphael, "A formal basis for the heuristic determination of minimum cost paths," IEEE Trans. Syst. Sci. Cybern., vol. SSC-4, no. 2, pp. 100-107, Jul. 1968.
28. V. Pratt, "Modeling concurrency with partial orders," Int. J. Parallel Program., vol. 15, no. 1, pp. 33-71, 1986.
29. A. Valmari, "A stubborn attack on state explosion," Formal Methods Syst. Des., vol. 1, no. 4, pp. 297-322, 1992.
30. J. C. Tiernan, "An efficient search algorithm to find the elementary circuits of a graph," Commun. ACM, vol. 13, no. 12, pp. 722-726, 1970.
31. J. L. Szwarcfiter and P. E. Lauer, "A search strategy for the elementary cycles of a directed graph," BIT Numerical Math., vol. 16, no. 2, pp. 192-204, 1976.
32. M. L. Rosa, et al., "APROMORE: An advanced process model repository," Expert Syst. Appl., vol. 38, no. 6, pp. 7029-7040, 2011.
33. M. de Leoni and F. Mannhardt, "Road traffic fine management process," 2015. [Online]. Available: http://dx.doi.org/10.4121/uuid:270fd440-1057-4fb9-89a9-b699b47990f5
34. D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer, and K. Wolf, "Analysis on demand: Instantaneous soundness checking of industrial business process models," Data Knowl. Eng., vol. 70, no. 5, pp. 448-466, 2011.
35. T. Curran and G. Keller, SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Upper Saddle River, NJ, USA: Prentice-Hall, 1997.
36. S. Vanden Broucke, J. De Weerdt, J. Vanthienen, and B. Baesens, "An improved process event log artificial negative event generator," Faculty Econ. Business, KU Leuven, Leuven, Belgium, Tech. Rep. KBI-1216, 2012.
37. R. Conforti, M. Dumas, L. García-Bañuelos, and M. La Rosa, "BPMN Miner: Automated discovery of BPMN process models with hierarchical structure," Inf. Syst., vol. 56, pp. 284-303, 2016.
38. A. Field, Discovering Statistics Using SPSS. Newbury Park, CA, USA: Sage, 2009.
39. F. D. Davis, "Perceived usefulness, perceived ease of use, and user acceptance of information technology," MIS Quart., vol. 13, pp. 319-340, 1989.