Explaining the incorrect temporal events during business process monitoring by means of compliance rules and model-based diagnosis

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2013, Pages 163-172

  Gómez López, María Teresa ^a   Gasca, Rafael M ^a   Rinderle Ma, Stefanie ^b  

^a UNIVERSITY OF SEVILLE   (Spain)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

Business process compliance; Compliance rules; Constraint programming; Event analysis; Model based diagnosis

Indexed keywords

CONSTRAINT THEORY; INDUSTRY; PROCESS MONITORING;

BUSINESS PROCESS COMPLIANCES; COMPLIANCE RULES; CONSTRAINT PROGRAMMING; EVENT ANALYSIS; MODEL BASED DIAGNOSIS;

COMPUTER PROGRAMMING;

EID: 84893518653     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2013.25     Document Type: Conference Paper

References (27)

1. M. Weske, Business Process Management: Concepts, Languages, Architectures. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2007.
2. A. Awad, M. Weidlich, and M. Weske, "Visually specifying compliance rules and explaining their violations for business processes, " J. Vis. Lang. Comput., vol. 22, no. 1, pp. 30-55, 2011.
3. S. Sadiq, G. Governatori, and K. Namiri, "Modeling control objectives for business process compliance, " in Proceedings of the 5th international conference on Business process management, ser. BPM'07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 149-164. [Online]. Available:= 1793114.1793130.
4. L. T. Ly, S. Rinderle-Ma, and P. Dadam, "Design and verification of instantiable compliance rule graphs in process-aware information systems, " in CAiSE, 2010, pp. 9-23.
5. 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 Proc. of BPM, ser. LNCS. Springer-Verlag, 2011.
6. L. T. Ly, F. M. Maggi, M. Montali, S. Rinderle-Ma, and W. M. van der Aalst, "A framework for the systematic comparison and evaluation of compliance monitoring approaches, " in 17th Int'l EDOC Conference, 2013, (accepted for publication).
7. D. Knuplesch, L. T. Ly, S. Rinderle-Ma, H. Pfeifer, and P. Dadam, "On enabling data-aware compliance checking of business process models, " in ER, 2010, pp. 332-346.
8. L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam, "Monitoring business process compliance using compliance rule graphs, " in 19th International Conference on Cooperative Information Systems (CoopIS 2011), ser. LNCS, no. 7044. Springer, 2011, pp. 82-99.
9. 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, 2010, pp. 60-75.
10. S. Hinz, K. Schmidt, and C. Stahl, "Transforming bpel to petri nets, " in Business Process Management. Springer, 2005, pp. 220-235.
11. S. Rinderle-Ma, S. Kabicher, and L. T. Ly, "Activity-oriented clustering techniques in large process and compliance rule repositories, " in Business Process Management Workshops. Springer, 2012, pp. 14-25.
12. Y. Pencolé and A. Subias, "A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services, " J. UCS, vol. 15, no. 17, pp. 3246-3272, 2009.
13. F. Rossi, P. v. Beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence). New York, NY, USA: Elsevier Science Inc., 2006.
14. R. Dechter, Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence). Morgan Kaufmann, May 2003.
15. R. J. Wallace, "Directed arc consistency preprocessing, " in Constraint Processing, Selected Papers, 1995, pp. 121-137.
16. R. Ceballos, R. M. Gasca, C. D. Valle, and M. Toro, "Maxcsp approach for software diagnosis, " in IBERAMIA, 2002, pp. 172-181.
17. M. G. de la Banda, P. J. Stuckey, and J. Wazny, "Finding all minimal unsatisfiable subsets, " in PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. ACM Press, 2003, pp. 32-43.
18. R. M. Gasca, C. D. Valle, M. T. G. López, and R. Ceballos, "Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps, " in CAEPIA, 2007, pp. 160-169.
19. F. M. Maggi, M. Montali, and W. M. P. van der Aalst, "An operational decision support framework for monitoring business constraints, " in Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering, ser. FASE'12. Berlin, Heidelberg: Springer-Verlag, 2012, pp. 146-162. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-28872-2- 11.
20. I. Bider, M. Khomyakov, and E. Pushchinsky, "Logic of change: Semantics of object systems with active relations, " Autom. Softw. Eng., vol. 7, no. 1, pp. 9-37, 2000.
21. W. M. van der Aalst, M. Weske, and D. Grnbauer, "Case handling: A new paradigm for business process support, " Data and Knowledge Engineering, vol. 53, 2005.
22. S. W. Sadiq, M. E. Orlowska, and W. Sadiq, "Specification and validation of process constraints for flexible workflows, " Inf. Syst., vol. 30, no. 5, pp. 349-378, 2005.
23. M. Pesic and W. M. P. van der Aalst, "A declarative approach for flexible business processes management, " in Proceedings of the 2006 international conference on Business Process Management Workshops, ser. BPM'06. Berlin, Heidelberg: Springer-Verlag, 2006, pp. 169-180.
24. S. Goedertier and J. Vanthienen, "Designing compliant business processes with obligations and permissions, " in Business Process Management Workshops, 2006, pp. 5-14.
25. S. Goedertier, R. Haesen, and J. Vanthienen, "Em-bra2ce v0.1: A vocabulary and execution model for declarative business process modeling, " K.U.Leuven, FETEW Research Report KBI 0728, 2007.
26. M. T. Gómez-López, R. M. Gasca, L. Parody, and D. Borrego, "Constraint-driven approach to support input data decisionmaking in business process management systems, " in International Conference on Information System Development, ser. ISD 2011. Springer, 2011, pp. 15-25.
27. R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events, " New Generation Comput., vol. 4, no. 1, pp. 67-95, 1986.