An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

Information Systems

Volumn 47, Issue , 2015, Pages 258-277

  De Leoni, Massimiliano ^a   Maggi, Fabrizio M ^b   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

Conformance checking; Declare; Event log preprocessing; LTL; Process mining

Indexed keywords

CONFORMANCE CHECKING; DECLARE; EVENT-LOG PREPROCESSING; LTL; PROCESS MINING;

EID: 84908217466     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2013.12.005     Document Type: Article

References (36)

1. W.M.P. van der Aalst, A. Adriansyah, and B.F. van Dongen Replaying history on process models for conformance checking and performance analysis Wiley Interdiscip. Rev. Data Mining Knowl. Discov. 2 2 2012 182 192
2. A. Adriansyah, B. van Dongen, W. van der Aalst, Conformance checking using cost-based fitness analysis, in: IEEE International Enterprise Distributed Object Computing Conference (EDOC '11), IEEE Computer Society, 2011, pp. 55-64.
3. M. de Leoni, W.M.P. van der Aalst, B.F. van Dongen, Data- and resource-aware conformance checking of business processes, in: 15th International Conference on Business Information Systems, Lecture Notes in Business Information Processing, vol. 117, Springer Verlag, 2012, pp. 48-59.
4. ∗ J. ACM (JACM) 32 1985 505 536
5. H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, W.M.P. van der Aalst, XES, XESame, and ProM 6, in: Proceedings of Information Systems Evolution (CAiSE Forum 2010), Lecture Notes in Business Information Processing, vol. 72, 2011, pp. 60-75.
6. F.M. Maggi, A.J. Mooij, W.M.P. van der Aalst, Analyzing vessel behavior using process mining, in: Situation Awareness with Systems of Systems, Springer, New York, 2013, pp. 133-148.
7. S. Zugal, J. Pinggera, B. Weber, The impact of testcases on the maintainability of declarative process models, in: Enterprise, Business-Process and Information Systems Modeling (BMMDS/EMMSAD 2011), Lecture Notes in Business Information Processing, vol. 81, 2011, pp. 163-177.
8. P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling, H.A. Reijers, Imperative versus declarative process modeling languages: an empirical investigation, in: Proceedings of Business Process Management Workshops 2010, Lecture Notes in Business Information Processing, vol. 99, 2011, pp. 383-394.
9. D. Giannakopoulou, K. Havelund, Automata-based verification of temporal properties on running programs, in: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01), IEEE Computer Society Press, Providence, 2001, pp. 412-416.
10. M. Westergaard, F.M. Maggi, Declare: a tool suite for declarative workflow modeling and enactment, in: Proceedings of the Demo Track of the 9th Conference on Business Process Management 2011, CEUR Workshop Proceedings, vol. 820, CEUR-WS.org, 2011.
11. W.M.P. van der Aalst, M. Pesic, and H. Schonenberg Declarative workflows balancing between flexibility and support Comput. Sci. - Res. Dev. 23 2 2009 99 113
12. W.M.P. van der Aalst, M. Schonenberg, and M. Song Time prediction based on process mining Inf. Syst. 36 2 2011 450 475
13. M. Westergaard, Better algorithms for analyzing and enacting declarative workflow languages using LTL, in: Proceedings of the 9th Business Process Management Conference (BPM'11), Lecture Notes in Computer Science, vol. 6896, Springer, Berlin, 2011, pp. 83-98.
14. A. Bauer, M. Leucker, C. Schallhart, Runtime verification for LTL and TLTL, ACM Trans. Softw. Eng. Methodol. 20 (4) (2011).
15. A. Awad, G. Decker, M. Weske, Efficient compliance checking using BPMN-Q and temporal logic, in: Proceedings of the 6th International Conference on Business Process Management, Lecture Notes in Computer Science, vol. 5240, Springer, Berlin, 2008, pp. 326-341.
16. F.M. Maggi, M. Montali, M. Westergaard, W.M.P. van der Aalst, Monitoring business constraints with linear temporal logic: an approach based on colored automata, in: Proceedings of the 9th International Conference on Business Process Management (BPM'11), Lecture Notes in Computer Science, vol. 6896, Springer-Verlag, 2011, pp. 132-147.
17. M. de Leoni, F. Maggi, W.M.P. van der Aalst, Aligning event logs and declarative process models for conformance checking, in: Proceedings of the 10th International Conference on Business Process Management, Lecture Notes in Computer Science, vol. 7481, Springer, Berlin, Heidelberg, 2012, pp. 82-97.
18. W.M.P. van der Aalst Process Mining - Discovery, Conformance and Enhancement of Business Processes 2011 Springer Berlin
19. F.M. Maggi, R.P.J.C. Bose, W.M.P. van der Aalst, Efficient discovery of understandable declarative process models from event logs, in: Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAISE 2012), Lecture Notes in Computer Science, vol. 7328, 2012, pp. 270-285.
20. W.M. van der Aalst, Mediating between modeled and observed behavior: the quest for the "right" process, in: Proceedings of the IEEE International Conference on Research Challenges in Information Science (RCIS 2013), IEEE Computing Society, Paris, 2013, pp. 31-43.
21. A. Adriansyah, J. Munoz-Gama, J. Carmona, B. van Dongen, W. van der Aalst, Alignment based precision checking, in: Proceedings of Business Process Management Workshops 2012, Lecture Notes in Business Information Processing, vol. 132, Springer Verlag, Berlin, 2013, pp. 137-149.
22. M. Song, and W.M.P. van der Aalst Towards comprehensive support for organizational mining Decis. Support Syst. 46 1 2008 300 317
23. W.M.P. van der Aalst et al., Process mining manifesto, in: Proceedings of Business Process Management Workshops 2011, Lecture Notes in Business Information Processing, vol. 99, Springer Verlag, 2012, pp. 169-194.
24. M. Vasarhelyi, M. Alles, and A. Kogan Principles of analytic monitoring for continuous assurance J. Emerg. Technol. Account. 1 1 2004 1 21
25. J. Hulstijn, J. Gordijn, Risk analysis for inter-organizational controls, in: Proceedings of the 12th International Conference on Enterprise Information Systems (ICEIS 2010), SciTePress, 2010, pp. 314-320.
26. J. Cook, and A. Wolf Software process validation quantitatively measuring the correspondence of a process to a model ACM Trans. Softw. Eng. Methodol. 8 2 1999 147 176
27. A. Medeiros, A. Weijters, and W.M.P. van der Aalst Genetic process mining an experimental evaluation Data Min. Knowl. Discov. 14 2 2007 245 304
28. A. Rozinat, A. Medeiros, C. Günther, A. Weijters, W.M.P. van der Aalst, The need for a process mining evaluation framework in research and practice, in: Proceedings of Business Process Management Workshops 2007, Lecture Notes in Computer Science, vol. 4928, Springer-Verlag, Berlin, 2008, pp. 84-89.
29. A. Rozinat, and W.M.P. van der Aalst Conformance checking of processes based on monitoring real behavior Inf. Syst. 33 1 2008 64 95
30. J. Weerdt, M. De Backer, J. Vanthienen, B. Baesens, A critical evaluation of model-log metrics in process discovery, in: Proceedings of Business Process Management Workshop 2010, Lecture Notes in Business Information Processing, vol. 66, Springer-Verlag, Berlin, 2011, pp. 158-169.
31. J. Muñoz-Gama, J. Carmona, A fresh look at precision in process conformance, in: Proceedings of the 8th International Conference on Business Process Management (BPM'10), Lecture Notes in Computer Science, Springer-Verlag, 2010, pp. 211-226.
32. J. Muñoz-Gama, J. Carmona, Enhancing precision in process conformance: stability, confidence and severity, in: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), IEEE, 2011, pp. 184-191.
33. S. Goedertier, D. Martens, J. Vanthienen, and B. Baesens Robust process discovery with artificial negative events J. Mach. Learn. Res. 10 2009 1305 1340
34. J. Weerdt, M. De Backer, J. Vanthienen, B. Baesens, A robust F-measure for evaluating discovered process models, in: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), IEEE, Paris, France, 2011, pp. 148-155.
35. G. Greco, A. Guzzo, L. Pontieri, and D. Sacca Discovering expressive process models by clustering log traces IEEE Trans. Knowl. Data Eng. 18 8 2006 1010 1027
36. R.P. Jagadeesh Chandra Bose, and W.M.P. van der Aalst Process diagnostics using trace alignment opportunities, issues, and challenges Inf. Syst. 37 2 2012 117 141