Conformance checking based on multi-perspective declarative process models

Expert Systems with Applications

Volumn 65, Issue , 2016, Pages 194-211

  Burattin, Andrea ^a   Maggi, Fabrizio M ^b   Sperduti, Alessandro ^c  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b UNIVERSITY OF TARTU   (Estonia)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

Business constraints; Conformance checking; Declare; Linear temporal logic; Process mining

Indexed keywords

DATA MINING; SPECIFICATIONS;

BUSINESS CONSTRAINTS; CONFORMANCE CHECKING; DECLARE; LINEAR TEMPORAL LOGIC; PROCESS MINING;

MODELING LANGUAGES;

EID: 84983057076     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2016.08.040     Document Type: Article

References (56)

1. 3TU Data Center (2011) 3TU Data Center (2011). BPI Challenge 2011 Event Log. http://dx.doi.org/10.4121/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54.
2. 3TU Data Center 3TU Data Center (2012). http://dx.doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f.
3. 3TU Data Center 3TU Data Center (2015). Road Traffic Fine Management Process. Doi:10.4121/uuid:270fd440-1057-4fb9-89a9-b699b47990f5.
4. van der Aalst, W., Pesic, M., Schonenberg, H., Declarative workflows: Balancing between flexibility and support. Computer Science - R&D, 2009, 99–113.
5. van der Aalst, W.M.P., Process mining: Discovery, conformance and enhancement of business processes. 1st, 2011, Springer Publishing Company, Incorporated.
6. van der Aalst, W.M.P., Decomposing process mining problems using passages. Application and theory of petri nets - 33rd international conference, Petri Nets 2012, 2012, 72–91.
7. van der Aalst, W.M.P., Decomposing petri nets for process mining: A generic approach. Distributed and Parallel Databases 31:4 (2013), 471–507.
8. van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F., Process mining and verification of properties: An approach based on temporal logic. On the move to meaningful internet systems 2005: Coopis, doa, and odbase, OTM confederated international conferences coopis, doa, and ODBASE 2005, agia napa, cyprus, october 31, - november 4, 2005, proceedings, part I, 2005, 130–147, 10.1007/11575771_11.
9. Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P., Conformance checking using cost-based fitness analysis. Proceedings of the 15th IEEE international enterprise distributed object computing conference, EDOC 2011, 2011, 55–64.
10. Awad, A., Weidlich, M., Weske, M., Specification, verification and explanation of violation for data aware compliance rules. Service-oriented computing, 7th international joint conference, icsoc-servicewave 2009, stockholm, sweden, november 24–27, 2009. proceedings, 2009, 500–515, 10.1007/978-3-642-10383-4_37.
11. Awad, A., Weidlich, M., Weske, M., Specification, verification and explanation of violation for data aware compliance rules. Proceedings of the 7th international joint conference on service-oriented computing (icsoc-servicewave 2009), (vol. 5900). LNCS, 2009, 500–515.
12. Bautista, A.D., Wangikar, L., Akbar, S.M.K., Process mining-driven optimization of a consumer loan approvals process – The BPIC 2012 challenge. Technical Report, 2012, CKM Advisors, 711 Third Avenue, Suite 1806, New York, NY, USA.
13. Borrego, D., Barba, I., Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Systems with Applications 41:11 (2014), 5340–5352.
14. Burattin, A. (2015). Artificial datasets for multi-perspective Declare analysis. http://dx.doi.org/10.5281/zenodo.20030.
15. Burattin, A., Maggi, F.M., van der Aalst, W.M.P., Sperduti, A., Techniques for a posteriori analysis of declarative processes. 2012, IEEE, 41–50.
16. Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S., Checking compliance of execution traces to business rules. Business process management workshops, 2009, 134–145.
17. Chomicki, J., Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transancation Database System 20:2 (1995), 149–186.
18. Cook, J.E., Wolf, A.L., Software process validation: Quantitatively measuring the correspondence of a process to a model. ACM Transaction of Software Engineering and Methodology 8:2 (1999), 147–176.
19. Desel, J., Esparza, J., Free choice petri nets. 1995, Cambridge University Press, New York, NY, USA.
20. Giblin, C., Müller, S., Pfitzmann, B., From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report Report RZ 3662, 2006.
21. Grando, M.A., van der Aalst, W.M.P., Mans, R.S., Reusing a declarative specification to check the conformance of different CIGs. Business process management workshops, 2012, Springer Berlin Heidelberg, 188–199.
22. Grando, M.A., Schonenberg, M.H., van der Aalst, W.M.P., Semantic-based conformance checking of computer interpretable medical guidelines. International joint conference, biostec, (vol. 273). Communications in computer and information science, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 285–300.
23. Haisjackl, C., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., Weber, B., Making sense of declarative process models: Common strategies and typical pitfalls. Enterprise, business-process and information systems modeling - 14th international conference, BPMDS 2013, 18th international conference, EMMSAD 2013, held at caise 2013, valencia, spain, june 17–18, 2013. proceedings, 2013, 2–17.
24. Hallé, S., Villemaire, R., Runtime monitoring of message-based workflows with data. 12th international IEEE enterprise distributed object computing conference, ECOC 2008, 15–19 september 2008, munich, germany (pp. 63–72), 2008.
25. IEEE Task Force on Process Mining, XES Standard Definition. Technical Report, 2013 http://www.xes-standard.org/xesstandarddefinition.
26. Knuplesch, D., Ly, L.T., Rinderle-ma, S., Pfeifer, H., Dadam, P., On enabling data-aware compliance checking of business process models. Proceedings of the 29th international conference on conceptual modeling, 2010, Springer, 332–346.
27. Koymans, R., Specifying real-time properties with metric temporal logic. Real-Time Systems 2:4 (1990), 255–299.
28. Kupferman, O., Vardi, M., Vacuity detection in temporal model checking. International Journal on Software Tools for Technology Transfer, 2003, 224–233.
29. de Leoni, M., van der Aalst, W.M., Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. International conference on business process management, 2013, Springer Berlin Heidelberg, 113–129.
30. de Leoni, M., Maggi, F.M., van der Aalst, W.M., An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Information Systems 47 (2014), 258–277.
31. de Leoni, M., Maggi, F.M., van der Aalst, W.M.P., Aligning event logs and declarative process models for conformance checking. Business process management, 2012, Springer Berlin / Heidelberg, 82–97.
32. de Leoni, M., Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P., Decomposing alignment-based conformance checking of data-aware process models. On the move to meaningful internet systems: OTM 2014 conferences - confederated international conferences: Coopis, and ODBASE 2014, 2014, 3–20.
33. Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P., Compliance monitoring in business processes: Functionalities, application, and tool-support. Information System 54 (2015), 209–234.
34. Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P., Monitoring business process compliance using compliance rule graphs. On the move to meaningful internet systems: OTM 2011 - confederated international conferences: Coopis, doa-svi, and ODBASE 2011, hersonissos, crete, greece, october 17–21, 2011, proceedings, part I, 2011, 82–99, 10.1007/978-3-642-25109-2_7.
35. Maggi, F.M., Declarative process mining with the declare component of ProM. Bpm (demos). ceur-ws.org (vol. 1021), 2013.
36. Maggi, F.M., Dumas, M., García-Bañuelos, L., Montali, M., Discovering data-aware declarative process models from event logs. Business process management - 11th international conference, BPM 2013, beijing, china, august 26–30, 2013. proceedings, 2013, 81–96.
37. Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P., Analyzing vessel behavior using process mining. Situation awareness with systems of systems, 2013, 133–148 http://dx.doi.org/10.1007/978-1-4614-6230-9_9.
38. Maggi, F.M., Westergaard, M., Using timed automata for a Priori warnings and planning for timed declarative process models. International Journal of Cooperative Information Systems, 23(1), 2014, 10.1142/S0218843014400036.
39. Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M., Balanced multi-perspective checking of process conformance. Technical Report BPM-14-07, 2014, BPM Center.
40. Masellis, R.D., Maggi, F.M., Montali, M., Monitoring data-aware business constraints with finite state automata. International conference on software and systems process 2014, ICSSP, 2014, 134–143.
41. Middleton, G., Peyton, L., Kuziemsky, C., Eze, B., A framework for continuous compliance monitoring of eHealth processes. World congress on privacy, security, trust and the management of e-business, 2009. CONGRESS ’09, 2009, 152–160.
42. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S., Declarative specification and verification of service choreographies. ACM Transactions on the Web 4:1 (2010), 1–62.
43. Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P., Single-entry single-exit decomposed conformance checking. Information System 46 (2014), 102–122.
44. Narendra, N., Varshney, V., Nagar, S., Vasa, M., Bhamidipaty, A., Optimal control point selection for continuous business process compliance monitoring. IEEE international conference on service operations and logistics, and informatics, 2008. IEEE/SOLI 2008, 2, 2008, 2536–2541.
45. Object Management Group, Business process model and notation (BPMN) Version 2.0. Technical Report, 2011.
46. Pesic, M., Schonenberg, H., van der Aalst, W., DECLARE: Full support for loosely-structured processes. Edoc 2007, 2007, 287–298.
47. Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A., Imperative versus declarative process modeling languages: An empirical investigation. Bpm workshops, 2011, 383–394.
48. Pnueli, A., The temporal logic of programs. 18th annual symposium on foundations of computer science (sfcs 1977), 1977, IEEE, 46–57.
49. Rozinat, A., van der Aalst, W.M.P., Conformance checking of processes based on monitoring real behavior. Information System 33:1 (2008), 64–95.
50. Silva, N.C., de Oliveira, C.A.L., Albino, F.A.L.A., Lima, R.M.F., Declarative versus imperative business process languages - A controlled experiment. ICEIS 2014 - proceedings of the 16th international conference on enterprise information systems, volume 3, lisbon, portugal, 27–30 april, 2014, 2014, 394–401, 10.5220/0004896203940401.
51. Taghiabadi, E.R., Fahland, D., Van Dongen, B.F., van der Aalst, W.M.P., Diagnostic information for compliance checking of temporal compliance requirements. 25th international conference, caise 2013, 2013, Springer Berlin Heidelberg, 304–320, 10.1007/978-3-642-38709-8_20.
52. Taghiabadi, E.R., Gromov, V., Fahland, D., van der Aalst, W.M.P., Compliance checking of data-aware and resource-aware compliance requirements. Confederated international conferences: Coopis, and odbase 2014, 2014, Springer Berlin Heidelberg, 237–257, 10.1007/978-3-662-45563-0_14.
53. Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P., XES, XESame, and ProM 6. Information systems evolution - caise forum, 72, 2010, 60–75.
54. Westergaard, M., Maggi, F.M., Declare: A tool suite for declarative workflow modeling and enactment. Bpm (demos), (vol. 820), ceur-ws.org, 2011.
55. Westergaard, M., Maggi, F.M., Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. Proc. of coopis, LNCS, 2012, Springer.
56. Zugal, S., Pinggera, J., Weber, B., The impact of testcases on the maintainability of declarative process models. Bmmds/emmsad, 2011, 163–177.