Process compliance analysis based on behavioural profiles

Information Systems

Volumn 36, Issue 7, 2011, Pages 1009-1025

  Weidlich, Matthias ^a   Polyvyanyy, Artem ^a   Desai, Nirmit ^b   Mendling, Jan ^c   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b IBM INDIA RESEARCH LAB   (India)

^c HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Compliance measurement; Log conformance; Process compliance; Root cause analysis

Indexed keywords

BUSINESS PROCESSING; COMPLIANCE ANALYSIS; COMPLIANCE MEASUREMENT; DIAGNOSTIC INFORMATION; EXECUTION SEQUENCES; IMPACT OF NOISE; IN-PROCESS; INTERNATIONAL SERVICES; LEGAL REQUIREMENTS; LOG CONFORMANCE; MARKET PRESSURE; NON-COMPLIANCE; OPERATIONAL EXCELLENCE; PROCESS COMPLIANCE; PROCESS MODEL; ROOT CAUSE ANALYSIS; STATE EXPLOSION PROBLEMS; STATE-BASED; TRACE EQUIVALENCE;

TRACE ANALYSIS;

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

References (59)

1. W.M.P. van der Aalst, T. Weijters, and L. Maruster Workflow mining: discovering process models from event logs IEEE Trans. Knowl. Data Eng. 16 9 2004 1128 1142
2. W.M.P. van der Aalst, H.A. Reijers, A.J.M.M. Weijters, B.F. van Dongen, A.K.A. de Medeiros, M. Song, and H.M.W.E. Verbeek Business process mining: an industrial application Inf. Syst. 32 5 2007 713 732 (Pubitemid 46560274)
3. R. Agrawal, D. Gunopulos, and F. Leymann Mining process models from workflow logs H.-J. Schek, F. Saltor, I. Ramos, G. Alonso, EDBT, Lecture Notes in Computer Science vol. 1377 1998 Springer 469 483 (Pubitemid 128044768)
4. A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters Workflow mining: Current status and future directions R. Meersman, Z. Tari, D.C. Schmidt, CoopIS/DOA/ODBASE, Lecture Notes in Computer Science vol. 2888 2003 Springer 389 406
5. A. Datta Automating the discovery of as-is business process models: probabilistic and algorithmic approaches Inf. Syst. Res. 9 3 1998 275 301
6. A. Rozinat, A.K.A. de Medeiros, C.W. Günther, A.J.M.M. Weijters, and W.M.P. van der Aalst The need for a process mining evaluation framework in research and practice A.H.M. ter Hofstede, B. Benatallah, H.-Y. Paik, Business Process Management Workshops, Lecture Notes in Computer Science vol. 4928 2007 Springer 84 89
7. J.D. Weerdt, M.D. Backer, J. Vanthienen, B. Baesens, A critical evaluation study of model-log metrics in process discovery, in: Proceedings of the 6th International Workshop on Business Process Intelligence (BPI 2010), Hoboken, NJ, USA, 2010.
8. W. van der Aalst, V. Rubin, B. van Dongen, E. Kindler, and C. Günther Process mining: a two-step approach to balance between underfitting and overfitting Software Syst. Model. 9 2010 87 111
9. 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 (Pubitemid 350051578)
10. A.K.A. de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters Quantifying process equivalence based on observed behavior Data Knowl. Eng. 64 1 2008 55 74 (Pubitemid 350087285)
11. A. Weijters, W. van der Aalst, A.A. de Medeiros, Process mining with the heuristicsminer algorithm, BETA Working Paper Series WP 166, Eindhoven University of Technology, Eindhoven, 2006.
12. G. Greco, A. Guzzo, L. Pontieri, and D. Saccà Discovering expressive process models by clustering log traces IEEE Trans. Knowl. Data Eng. 18 8 2006 1010 1027 (Pubitemid 44109532)
13. S. Goedertier, D. Martens, J. Vanthienen, and B. Baesens Robust process discovery with artificial negative events J. Mach. Learn. Res. 10 2009 1305 1340
14. R. Glabbeek The linear time brancing time spectrum I. The semantics of concrete, sequential processes, Handbook of Process Algebra 2001 Elsevier
15. A. Valmari The state explosion problem W. Reisig, G. Rozenberg, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, Lecture Notes in Computer Science vol. 1491 1998 Springer 429 528
16. A. Adriansyah, B. van Dongen, and W. van der Aalst Towards robust conformance checking Proceedings of the 6th International Workshop on Business Process Intelligence (BPI 2010) 2010
17. K. Gerke, J. Cardoso, and A. Claus Measuring the compliance of processes with reference models R. Meersman, T.S. Dillon, P. Herrero, OTM Conferences (1), Lecture Notes in Computer Science vol. 5870 2009 Springer 76 93
18. M. Weidlich, J. Mendling, M. Weske, Efficient consistency measurement based on behavioural profiles of process models, IEEE Transactions on Software Engineering, 18 October 2010. IEEE computer Society Digital Library, IEEE Computer Society, 〈 http://doi.ieeecomputersociety.org/10.1109/TSE.2010.96 〉
19. M. Weidlich, A. Polyvyanyy, J. Mendling, and M. Weske Efficient computation of causal behavioural profiles using structural decomposition J. Lilius, W. Penczek, Petri Nets, Lecture Notes in Computer Science vol. 6128 2010 Springer 63 83
20. M. Weidlich, A. Polyvyanyy, N. Desai, and J. Mendling Process compliance measurement based on behavioural profiles B. Pernici, CAiSE, Lecture Notes in Computer Science vol. 6051 2010 Springer 499 514
21. H. Schuldt, G. Alonso, C. Beeri, and H.-J. Schek Atomicity and isolation for transactional processes ACM Trans. Database Syst. 27 1 2002 63 116 (Pubitemid 135702892)
22. O.I. Lindland, G. Sindre, and A. Sølvberg Understanding quality in conceptual modeling IEEE Software 11 2 1994 42 49
23. J. Vanhatalo, H. Völzer, F. Leymann, and S. Moser Automatic workflow graph refactoring and completion A. Bouguettaya, I. Krüger, T. Margaria, ICSOC, Lecture Notes in Computer Science vol. 5364 2008 100 115
24. W.M.P. van der Aalst Workflow verification: finding control-flow errors using petri-net-based techniques W.M.P. van der Aalst, J. Desel, A. Oberweis, Business Process Management, Lecture Notes in Computer Science vol. 1806 2000 Springer 161 183
25. N. Lohmann, E. Verbeek, and R.M. Dijkman Petri net transformations for business processes a survey Trans. Petri Nets Other Models Concurrency 2 2009 46 63
26. M. Weidlich, F. Elliger, M. Weske, Generalised computation of behavioural profiles based on petri-net unfoldings, Web Services and Formal Methods Lecture Notes in Computer Science 6551 (2011), 101115, doi:10.1007/978-3-642-19589-1-7
27. A. Weijters, and W. van der Aalst Rediscovering workflow models from event-based data using little thumb Integrated Comput. Aided Eng. 10 2 2003 151 162
28. C.W. Günther, Process mining in flexible environments, Ph.D. Thesis, Technische Universiteit Eindhoven, 2009.
29. R. Agrawal, T. Imielinski, and A.N. Swami Mining association rules between sets of items in large databases P. Buneman, S. Jajodia, SIGMOD Conference 1993 ACM Press 207 216
30. R. Agrawal, and R. Srikant Fast algorithms for mining association rules in large databases J.B. Bocca, M. Jarke, C. Zaniolo, VLDB 1994 Morgan Kaufmann 487 499
31. D.J. Rose, R.E. Tarjan, Algorithmic aspects of vertex elimination, in: Proceedings of 7th Annual ACM Symposium on Theory of Computing, Albuquerque, New Mexico, United States, 1975, pp. 245254.
32. M. Song, W. van der Aalst, Supporting process mining by showing events at a glance, in: K. Chari, A. Kumar (Eds.), Proceedings of 17th Annual Workshop on Information Technologies and Systems (WITS 2007), Montreal, Canada, 2007, pp. 139145.
33. R.P.J.C. Bose, and W.M.P. van der Aalst Trace alignment in process mining: opportunities for process diagnostics R. Hull, J. Mendling, S. Tai, BPM, Lecture Notes in Computer Science vol. 6336 2010 Springer 227 242
34. J.M. Küster, C. Gerth, A. Förster, G. Engels, Detecting and resolving process model differences in the absence of a change log, in: M. Dumas, M. Reichert, M.-C. Shan (Eds.), Business Process Management, Proceedings of the 6th International Conference, BPM 2008, Milan, Italy, September 24, 2008, Lecture Notes in Computer Science, vol. 5240, Springer, 2008, pp. 244260.
35. R.M. Dijkman, Diagnosing differences between business process models, in: M. Dumas, M. Reichert, M.-C. Shan (Eds.), Business Process Management, Proceedings of the 6th International Conference, BPM 2008, Milan, Italy, September 24, 2008, Lecture Notes in Computer Science, vol. 5240, Springer, 2008, pp. 261277.
36. R. Glabbeek, and U. Goltz Refinement of actions and equivalence notions for concurrent systems Acta Inf. 37 4/5 2001 229 327 (Pubitemid 33588635)
37. J. Hidders, M. Dumas, W. Aalst, A. Hofstede, and J. Verelst When are two workflows the same? M.D. Atkinson, F.K.H.A. Dehne, CATS, CRPIT vol. 41 2005 Australian Computer Society 3 11
38. T. Basten, and W. Aalst Inheritance of behavior J. Logic Algebr. Program. 47 2 2001 47 145 (Pubitemid 32605536)
39. J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Technical Report 94-38, Department of Computer Science, Leiden University, December 1994.
40. M. Schrefl, and M. Stumptner Behavior-consistent specialization of object life cycles ACM Trans. Software Eng. Methodol. 11 1 2002 92 148
41. A. Wombacher Evaluation of technical measures for workflow similarity based on a pilot study R. Meersman, Z. Tari, OTM Conferences (1), Lecture Notes in Computer Science vol. 4275 2006 Springer 255 272 (Pubitemid 44891960)
42. A. Wombacher, and M. Rozie Evaluation of workflow similarity measures in service discovery M. Schoop, C. Huemer, M. Rebstock, M. Bichler, Service Oriented Electronic Commerce, LNI, GI vol. 80 2006 51 71
43. C. Li, M. Reichert, and A. Wombacher On measuring process model similarity based on high-level change operations Q. Li, S. Spaccapietra, E.S.K. Yu, A. Olivé, ER, Lecture Notes in Computer Science vol. 5231 2008 Springer 248 264
44. B. Dongen, R.M. Dijkman, and J. Mendling Measuring similarity between business process models Z. Bellahsene, M. Léonard, CAiSE, Lecture Notes in Computer Science vol. 5074 2008 Springer 450 464
45. N. Li, M. Tripunitara, Z. Bizri, On mutually exclusive roles and separation-of-duty, ACM Trans. Inf. Syst. Secur. 10 (2) (2007).
46. G. Ahn, R. Sandhu, Role-based authorization constraints specification, ACM Trans. Inf. Syst. Secur. 3 (4) (2000).
47. D. Ferraiolo, R. Sandhu, S. Gavrila, D. Kuhn, R. Chandramouli, Proposed NIST standard for Role-Based Access Control, ACM Trans. Inf. Syst. Secur. 4 (3) (2001).
48. E. Bertino, E. Ferrari, V. Atluri, The specification and enforcement of authorization constraints in workflow management systems, ACM Trans. Inf. Syst. Secur. 2 (1) (1999).
49. D. Ferraiolo, J. Barkley, D. Kuhn, A role-based access control model and reference implementation within a corporate Intranet, ACM Trans. Inf. Syst. Secur. 2 (1) (1999).
50. S. Oh, R.S. Sandhu, and X. Zhang An effective role administration model using organization structure ACM Trans. Inf. Syst. Secur. 9 2 2006 113 137 (Pubitemid 44329971)
51. K. Tan, J. Crampton, C. Gunter, The consistency of task-based authorization constraints in workflow systems, in: Proceedings of the 17th IEEE Workshop on Computer Security Foundations (CSFW), 2004.
52. J. Crampton, H. Khambhammettu, Delegation and satisfiability in workflow systems, in: I. Ray, N. Li (Eds.), SACMAT 2008, Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, Estes Park, CO, USA, June 1113, 2008, ACM, 2008, pp. 3140.
53. M. Strembeck, G. Neumann, An integrated approach to engineer and enforce context constraints in RBAC environments, ACM Trans. Inf. Syst. Secur. 7 (3) (2004).
54. M. Kuhlmann, D. Shohat, and G. Schimpf Role mining-revealing business roles for security administration using data mining technology Proceedings of the Eighth ACM Symposium on Access Control Models and Technologies 2003 ACM 186
55. I. Molloy, N. Li, T. Li, Z. Mao, Q. Wang, and J. Lobo Evaluating role mining algorithms Proceedings of the 14th ACM Symposium on Access Control Models and Technologies 2009 ACM 95 104
56. S. Etalle, and W. Winsborough A posteriori compliance control Proceedings of the 12th ACM Symposium on Access Control Models and Technologies 2007 ACM 20
57. M. Gelfond, and J. Lobo Authorization and obligation policies in dynamic systems Logic Program. 2009 22 36
58. R. Accorsi, and C. Wonnemann Auditing workflow executions against dataflow policies Business Information Systems 2010 Springer 207 217
59. C. Wolter, and A. Schaad Modeling of task-based authorization constraints in bpmn G. Alonso, P. Dadam, M. Rosemann, Business Process Management, Proceedings of the 5th International Conference, BPM 2007, Brisbane, Australia, September 2428, 2007, Lecture Notes in Computer Science vol. 4714 2007 Springer 64 79