A framework for the systematic comparison and evaluation of compliance monitoring approaches

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2013, Pages 7-16

  Ly, Linh Thao ^a   Maggi, Fabrizio Maria ^b   Montali, Marco ^c   Rinderle Ma, Stefanie ^d   Van Der Aalst, Wil M P ^e  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF TARTU   (Estonia)

^c FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^d UNIVERSITY OF VIENNA   (Austria)

^e EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business Process Compliance; Compliance Monitoring; Operational Support; Process Mining

Indexed keywords

INDUSTRY;

APPLICATION SCENARIO; BUSINESS PROCESS COMPLIANCES; COMPLIANCE MONITORING; CONSTRAINT LANGUAGE; DIFFERENT DOMAINS; PROCESS MINING; SYSTEMATIC LITERATURE REVIEW;

COMPLIANCE CONTROL;

EID: 84892496653     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2013.11     Document Type: Conference Paper

References (43)

1. S. Sadiq, G. Governatori, and K. Naimiri, "Modeling control objectives for business process compliance," in Int'l Conf on Business Process Management, 2007.
2. N. S. Abdullah, S. W. Sadiq, and M. Indulska, "Emerging challenges in information systems research for regulatory compliance management," in CAiSE 2010, vol. 6051, pp. 251-265.
3. M. E. Kharbili, S. Stein, I. Markovic, and E. Pulvermller, "Towards a framework for semantic business process compliance management," in Proc. Int'l Workshop on Governance, Risk and Compliance-Applications in Information Systems (GRCIS'08), 2008, pp. 1-15.
4. IEEE Task Force on Process Mining, "Process mining manifesto," in Proc. BPM Workshops, ser. Lecture Notes in Business Information Processing, vol. 99. Springer, 2011, pp. 169-194.
5. H. M. W. Verbeek, J. C. A. M. Buijs, B. F. van Dongen, and W. M. P. van der Aalst, "XES, XESame, and ProM 6," in Information Systems Evolution-CAiSE Forum 2010, vol. 72, pp. 60-75.
6. M. Binder, W. Dorda, G. Duftschmid, R. Dunkl, K. A. Fr̈oschl,W. Gall,W. Grossmann, K. Harmankaya, M. Hronsky, S. Rinderle-Ma, C. Rinner, and S. Weber, "On analyzing process compliance in skin cancer treatment: An experience report from the evidence-based medical compliance cluster (ebmc2)," in CAiSE 2012, pp. 398-413.
7. S. Schulte, D. Schuller, R. Steinmetz, and S. Abels, "Plug-and-play virtual factories," IEEE Internet Computing, vol. 16, no. 5, pp. 78-82, 2012.
8. L. T. Ly, C. Indiono, J. Mangler, and S. Rinderle-Ma, "Data transformation and semantic log purging for process mining," in Advanced Information Systems Engineering-24th International Conference, CAiSE 2012, 2012, pp. 238-253.
9. F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst, Analyzing Vessel Behavior using Process Mining, 2012, ch. Poseidon book, to appear.
10. L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam, "Monitoring business process compliance using compliance rule graphs," in OTM Conferences (1), 2011, pp. 82-99.
11. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow patterns," Distributed and Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
12. B. Weber, M. Reichert, and S. Rinderle-Ma, "Change patterns and change support features-enhancing flexibility in process-aware information systems," DKE, vol. 66, no. 3, pp. 438-466, 2008.
13. A. Lanz, B. Weber, and M. Reichert, "Workflow time patterns for process-aware information systems," in BPMDS 2010, no. 50, 2010, pp. 94-107.
14. S. Rinderle-Ma and J. Mangler, "Integration of process constraints from heterogeneous sources in Process-Aware information systems," in EMISA 2011, pp. 51-64.
15. F. Maggi, M. Montali, M. Westergaard, and W. van der Aalst, "Monitoring business constraints with linear temporal logic: An approach based on colored automata," in BPM 2011.
16. F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst, "Runtime verification of LTL-based declarative process models," in RV 2011, vol. 7186, pp. 131-146.
17. E. A. P. Santos, R. Francisco, A. D. Vieira, E. F.R. Loures, and M. A. Busetti, "Modeling business rules for supervisory control of process-aware information systems," in Business Process Management Workshops, 2012, vol. 100, pp. 447-458.
18. M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari, "Declarative specification and verification of service choreographiess," TWEB, vol. 4, no. 1, 2010.
19. S.-M.-R. Beheshti, B. Benatallah, H. Motahari-Nezhad, and S. Sakr, "A query language for analyzing business processes execution," in BPM, 2011, vol. 6896, pp. 281-297.
20. A. Awad and M. Weske, "Visualization of compliance violation in business process models," in Business Process Management Workshops, 2010, vol. 43, pp. 182-193.
21. C. Giblin, S. M̈uller, and B. Pfitzmann, "From regulatory policies to event monitoring rules: Towards model-driven compliance automation," Research Report RZ-3662. IBM Research GmbH, Tech. Rep., 2006.
22. T. Holmes, E. Mulo, U. Zdun, and S. Dustdar, "Modelaware monitoring of SOAs for compliance," in Service Engineering. Springer, 2011, pp. 117-136. [Online]. Available: http://eprints.cs.univie.ac.at/2842/
23. A. Birukou, V. D'Andrea, F. Leymann, J. Serafinski, P. Silveira, S. Strauch, and M. Tluczek, "An integrated solution for runtime compliance governance in SOA," in ICSOC, 2010.
24. M. Weidlich, H. Ziekow, J. Mendling, O. G̈unter, M. Weske, and N. Desai, "Event-based monitoring of process execution violations," in CAiSE, 2011.
25. M. Montali, F. M. Maggi, F. Chesani, P. Mello, andW. M. P. van der Aalst, "Monitoring Business Constraints with the Event Calculus," ACM Transactions on Intelligent Systems and Technology, To appear.
26. E. M. Clarke, O. Grumberg, and D. A. Peled, Model checking. Cambridge, MA, USA: The MIT Press, 1999.
27. R. Alur and T. A. Henzinger, "Real-Time logics: complexity and expressiveness," Information and Computation, vol. 104, pp. 35-77, 1993.
28. R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events," New Generation Computing, vol. 4, no. 1, pp. 67-95, 1986.
29. M. Pesic, H. Schonenberg, and W. M. P. van der Aalst, "Declare: Full support for loosely-structured processes," in IEEE EDOC, 2007, pp. 287-300.
30. C. Garbe, K. Peris, A. Hauschild, P. Saiag, M. Middleton, A. Spatz, J. Grob, J. Malvehy, J. Newton-Bishop, A. Stratigos et al., "Diagnosis and treatment of melanoma: European consensus-based interdisciplinary guideline," European Journal of Cancer, vol. 46, no. 2, pp. 270-283, 2010.
31. N. Russell, A. H. M. ter Hofstede, D. Edmond, andW. M. P. van der Aalst, "Workflow data patterns: Identification, representation and tool support," in ER 2005, vol. 3716, pp. 353-368.
32. ESMO, [Online]. Available: http://www.esmo.org/education-research/esmo- clinical-practice-guidelines.html
33. M. T. G. Lopez and R. M. Gasca, "Run-Time auditing for business processes data using constraints," in Business Process Management Workshops, 2010, pp. 146-157.
34. J. F. Allen, "Maintaining Knowledge about Temporal Intervals," Comm. of the ACM, vol. 26, no. 11, 1983.
35. F. A. Schreiber, "Is Time a Real Time? An Overview of Time Ontology in Informatics," Real Time Computing, vol. F 127, pp. 283-307, 1994.
36. M. Reichert and P. Dadam, "ADEPT flex-supporting dynamic changes of workflows without losing control," Journal of Intelligent Information Systems, vol. 10, no. 2, p. 93129, 1998.
37. J. Mangler and S. Rinderle-Ma, "Rule-Based synchronization of process activities," in IEEE Int'l Conf on ECommerce Technology (CEC'2011), 2011, pp. 121-128.
38. H. Prakken and M. J. Sergot, "Contrary-To-duty obligations," Studia Logica, vol. 57, no. 1, pp. 91-115, 1996.
39. G. Governatori, Z. Milosevic, and S. Sadiq, "Compliance checking between business processes and business contracts," IEEE Int'l Enterprise Distributed Object Computing Conference (EDOC), pp. 221-232, 2006.
40. M. Hashmi, G. Governatori, and M. T. Wynn, "Business process data compliance," in Rules on the Web: Research and Applications. Springer, 2012, pp. 32-46.
41. F. M. Maggi, M. Montali, and W. M. P. van der Aalst, "An operational decision support framework for monitoring business constraints," 2012.
42. S. Bragaglia, F. Chesani, P. Mello, M. Montali, and D. Sottara, "Fuzzy conformance checking of observed behaviour with expectations," in AIIA 2011, vol. 6934, pp. 80-91.
43. C. Ringelstein and S. Staab, "Papel: Provenance-aware policy definition and execution," IEEE Internet Computing, vol. 15, no. 1, pp. 49-58, 2011.