Balanced multi-perspective checking of process conformance

Computing

Volumn 98, Issue 4, 2016, Pages 407-437

  Mannhardt, Felix ^a,c   de Leoni, Massimiliano ^a   Reijers, Hajo A ^a,b   van der Aalst, Wil M P ^a,d  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c Hyland Software   (United States)

^d NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS   (Russian Federation)

Author keywords

Data Petri nets; Log process alignment; Multi perspective conformance checking; Process mining

Indexed keywords

ALGORITHMS; COST FUNCTIONS; PETRI NETS;

CONFORMANCE CHECKING; DATA DEPENDENCIES; MULTI-PERSPECTIVE; NOVEL ALGORITHM; PROCESS MINING; RESOURCE ASSIGNMENT; SYNTHETIC AND REAL DATA; TIME CONSTRAINTS;

PROCESS CONTROL;

EID: 84923239816     PISSN: 0010485X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00607-015-0441-1     Document Type: Article

References (28)

1. van der Aalst WMP (2011) Process mining—discovery, conformance and enhancement of business processes. Springer
2. van der Aalst WMP (2013) Decomposing Petri nets for process mining: a generic approach. Distrib Parallel Databases 31(4):471–507
3. van der Aalst WMP, Adriansyah A, van Dongen B (2012) Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip Rev: Data Min Knowl Discov 2(2):182–192
4. Adriansyah A, van Dongen BF, van der Aalst WMP (2011) Towards robust conformance checking. In: Proceedings of the 6th workshop on business process intelligence (BPI 2010), LNBIP, vol 66, Springer, pp 122–133
5. Adriansyah A, van Dongen BF, van der Aalst WMP (2013) Memory-efficient alignment of observed and modeled behavior. Technology report, BPMcenter.org. BPM Center Report BPM-13-03
6. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P (2004) Specification and verification of agent interactions using social integrity constraints. Electr Notes Theor Comput Sci 85(2):94–116
7. Awad A, Weidlich M, Weske M (2009) Specification, verification and explanation of violation for data aware compliance rules. In: Baresi L, Chi CH, Suzuki J (eds) Service-oriented computing, LNCS, vol 5900, Springer, pp 500–515
8. Belardinelli F, Lomuscio A, Patrizi F (2012) Verification of GSM-based artifact-centric systems through finite abstraction. In: Proceedings of the 10th international conference on service-oriented computing (ICSOC’12), LNCS, vol 7636, Springer, pp 17–31
9. Cook JE, Wolf AL (1999) Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans Softw Eng Methodol (TOSEM) 8:147–176
10. Dechter R, Pearl J (1985) Generalized best-first search strategies and the optimality of A*. J ACM (JACM) 32:505–536
11. Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, Cambridge
12. Governatori G, Milosevic Z, Sadiq SW (2006) Compliance checking between business processes and business contracts. In: Proceedings of the 10th international enterprise distributed object computing conference (EDOC 2006), IEEE Computer Society, pp 221–232
13. Hoffmann J, Weber I, Governatori G (2012) On compliance checking for clausal constraints in annotated process models. Inf Syst Front 14(2):155–177
14. Jagadeesh Chandra Bose RP, van der Aalst WMP (2012) Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf Syst 37(2):117–141
15. de Leoni M, van der Aalst WMP (2013) Aligning event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: The 11th international conference on business process management (BPM’13), LNCS, vol 8094, Springer, pp 113–129
16. de Leoni M, van der Aalst WMP (2013) Data-aware process mining: discovering decisions in processes using alignments. In: Proceedings of the 28th ACM symposium on applied computing (SAC’13), ACM (2013)
17. de Leoni M, van der Aalst WMP, van Dongen BF (2012) Data- and resource-aware conformance checking of business processes. In: 15th international conference on business information systems, LNBIP, vol 117, Springer, pp 48–59
18. Liu Y, Müller S, Xu K (2007) A static compliance-checking framework for business process models. IBM Syst J 46(2):335–361
19. Ly L, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: Proceedings of on the move federated conferences and workshops (OTM 2011), LNCS, vol 7044, Springer, pp 82–99
20. Mannhardt F, de Leoni M, Reijers HA, van der Aalst WMP (2014) Balanced multi-perspective checking of process conformance. Technical report, BPM Center Report BPM-14-07, BPMcenter.org
21. de Medeiros AKA, Weijters AJ, van der Aalst WMP (2007) Genetic process mining: an experimental evaluation. Data Min Knowl Discov 14:245–304
22. Montali M (2010) Specification and verification of declarative open interaction models—a logic-based approach. LNBIP, vol 56. Springer
23. Reynolds P, Killian C, Wiener JL, Mogul JC, Shah MA, Vahdat A (2006) Pip: detecting the unexpected in distributed systems. In: Proceedings of the 3rd conference on networked systems design and implementation, vol 3, USENIX Association, pp 115–128
24. Rozinat A, van der Aalst WMP (2008) Conformance checking of processes based on monitoring real behavior. Inf Syst 33:64–95
25. Rozinat A, Veloso M, van der Aalst WMP (2008) Using hidden markov models to evaluate the quality of discovered process models. BPM Center Report BPM-08-10
26. Weidlich M, Polyvyanyy A, Desai N, Mendling J, Weske M (2011) Process compliance analysis based on behavioural profiles. Inf Syst 36(7):1009–1025
27. Weijters AJMM, van der Aalst WMP, de Medeiros AKA (2006) Process mining with the heuristics miner-algorithm. Technical report, Eindhoven University of Technology. BETA Working paper series, WP 166
28. Xu W, Huang L, Fox A, Patterson D, Jordan MI (2009) Detecting large-scale system problems by mining console logs. In: Proceedings of the ACM SIGOPS 22nd symposium on operating systems principles (SOSP’09), ACM, pp 117–132