Compliance validation and diagnosis of business data constraints in business processes at runtime

Information Systems

Volumn 48, Issue , 2015, Pages 26-43

  Gómez López, María Teresa ^a   Gasca, Rafael M ^a   Pérez Álvarez, José Miguel ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Business data constraints; Business processes validation and diagnosis; Constraint programming; Persistence data

Indexed keywords

CONSTRAINT THEORY; SEMANTICS;

BUSINESS DATA; BUSINESS PROCESS; COMPLIANCE RULES; COMPLIANCE VALIDATION; CONSTRAINT PROGRAMMING; DETECTION AND IDENTIFICATIONS; PERSISTENCE DATA; POTENTIAL ERRORS;

PROGRAM DIAGNOSTICS;

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

References (61)

1. A. Awad, G. Decker, M. Weske, Efficient compliance checking using bpmn-q and temporal logic, in: BPM, 2008, 326-341.
2. A. Awad, S. Smirnov, M. Weske, Towards resolving compliance violations in business process models, in: Proceedings of the Second International Workshop on Governance, Risk and Compliance - Applications in Information Systems, Amsterdam, The Netherlands, 2009.
3. A. Awad, M. Weidlich, and M. Weske Visually specifying compliance rules and explaining their violations for business processes J. Vis. Lang. Comput. 22 1 2011 30 55
4. J. Becker, C. Ahrendt, A. Coners, B. Wei, and A. Winkelmann Modeling and analysis of business process compliance M. Nüttgens, A. Gadatsch, K. Kautz, I. Schirmer, N. Blinn, Governance and Sustainability in Information Systems vol. 366 2011 IFIP Publications, Springer 259 269
5. D. Borrego, R. Eshuis, M.T. Gómez-López, and R.M. Gasca Diagnosing correctness of semantic workflow models Data Knowl. Eng. 87 2013 167 184
6. C. Cabanillas, M. Resinas, A.R. Cortés, A. Awad, Automatic generation of a data-centered view of business processes, in: CAiSE, 2011, pp. 352-366.
7. R. Ceballos, R.M. Gasca, C.D. Valle, M. Toro, Max-csp approach for software diagnosis, in: IBERAMIA, 2002, pp. 172-181.
8. S. Cetin, N.I. Altintas, R. Solmaz, Business rules segregation for dynamic process management with an aspect-oriented framework, in: Proceedings of the 2006 International Conference on Business Process Management Workshops, BPM'06, Springer-Verlag, Berlin, Heidelberg, 2006, pp. 193-204.
9. P. Cheeseman, B. Kanefsky, W.M. Taylor, Where the really hard problems are, in: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, vol. 1, IJCAI'91, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1991, pp. 331-337.
10. F. Chesani, P. Mello, M. Montali, F. Riguzzi, M. Sebastianis, S. Storari, Checking compliance of execution traces to business rules, in: Business Process Management Workshops, 2008, pp. 134-145.
11. E.F. Codd Relational database a practical foundation for productivity Commun. ACM 25 2 1982 109 117
12. M. Cordier, F. Lévy, J. Montmain, L. Travé-massuyés, M. Dumas, M. Staroswiecki, P. Dague, A comparative analysis of ai and control theory approaches to model-based diagnosis, in: Fourteenth European Conference on Artificial Intelligence, 2000, pp. 136-140.
13. M.G. de la Banda, P. J. Stuckey, J. Wazny, Finding all minimal unsatisfiable subsets, in: PPDP '03: Proceedings of the Fifth ACM SIGPLAN International conference on Principles and Practice of Declaritive Programming, ACM Press, 2003, pp. 32-43.
14. R. Dechter, Constraint Processing. The Morgan Kaufmann Series in Artificial Intelligence, Morgan Kaufmann, 2003.
15. M. El Kharbili, S. Stein, I. Markovic, E. Pulvermüller, Towards a framework for semantic business process compliance management, in: The Impact of Governance, Risk, and Compliance on Information Systems (GRCIS), CEUR Workshop Proceedings, vol. 339, Montpellier, France, 2008 1-15.
16. R.M. Gasca, C.D. Valle, M.T. Gómez-López, R. Ceballos, NMUS: structural analysis for improving the derivation of all muses in overconstrained numeric csps, in: CAEPIA, 2007, pp. 160-169.
17. M.T. Gómez-López, R.M. Gasca, Fault diagnosis in databases for business processes, in: Twenty-first International Workshop on Principles of Diagnosis, 2010, pp. 10-18.
18. M.T. Gómez-López, R.M. Gasca, Run-time monitoring and auditing for business processes data using contraints, in: International Workshop on Business Process Intelligence, BPI 2010, Springer, 2010, pp. 15-25.
19. M.T. Gómez-López, R.M. Gasca, L. Parody, D. Borrego, Constraint-driven approach to support input data decision-making in business process management systems, in: Information System Development, Springer, 2013, pp. 457-469.
20. G. Governatori, J. Hoffmann, S.W. Sadiq, I. Weber, Detecting regulatory compliance for business process models through semantic annotations, in: Business Process Management Workshops, Lecture Notes in Business Information Processing, vol. 17, Springer, 2008, pp. 5-17.
21. D. Hay, K.A. Healy, J. Hall, C. Bachman, J. Breal, J. Funk, J. Healy, D. Mcbride, R. Mckee, and T. Moriarty Defining business rules. what are they really? the business rules group Business 2000 4 5
22. M.E. Kharbili, A.K.A. de Medeiros, S. Stein, W. van der Aalst. Business process compliance checking: current state and future challenges, in: P. Loos, M. Nüttgens, K. Turowski, D. Werth (Eds), MobIS, Lecture Notes in Informatics, vol. 141, 2008, pp. 107-113.
23. D. Knuplesch, L.T. Ly, S. Rinderle-Ma, H. Pfeifer, P. Dadam, On enabling data-aware compliance checking of business process models, in: ER, 2010, pp. 332-346.
24. J.M. Küster, K. Ryndina, H. Gall, Generation of business process models for object life cycle compliance, in: BPM, 2007, pp. 165-181.
25. Y. Liu, S. Müller, and K. Xu A static compliance-checking framework for business process models IBM Syst. J. 46 2 2007 335 362
26. N. Lohmann, Compliance by design for artifact-centric business processes, in: Proceedings of the Ninth International Conference on Business Process Management, BPM'11, Springer-Verlag, Berlin, Heidelberg, 2011, pp. 99-115.
27. M.T. Gómez-López, R. Ceballos, R.M. Gasca, and C.D. Valle Developing a labelled object-relational constraint database architecture for the projection operator Data Knowl. Eng. 68 1 2009 146 172
28. M.T. Gómez-López, and R.M. Gasca Using constraint programming in selection operators for constraint databases Expert Syst. Appl. 41 15 2014 6773 6785
29. M.T. Gómez-López, R.M. Gasca, and S. Rinderle-Ma Explaining the incorrect temporal events during business process monitoring by means of compliance rules and model-based diagnosis EDOC Workshops 23 2013 163 172
30. R. Lu, S.W. Sadiq, G. Governatori, Compliance aware business process design, in: Business Process Management Workshops, 2007, pp. 120-131.
31. L.T. Ly, S. Rinderle, and P. Dadam Integration and verification of semantic constraints in adaptive process management systems Data Knowl. Eng. 64 1 2008 3 23
32. L.T. Ly, S. Rinderle-Ma, P. Dadam, Design and verification of instantiable compliance rule graphs in process-aware information systems, in: CAiSE, 2010, pp. 9-23.
33. L.T. Ly, S. Rinderle-Ma, K. Göser, and P. Dadam On enabling integrated process compliance with semantic constraints in process management systems Inf. Syst. Front. 2009 1 25
34. H. Ma Process-aware information systems bridging people and software through process technology: Book reviews J. Am. Soc. Inf. Sci. Technol. 58 3 2007 455 456
35. M.J. Maher, D. Srivastava, Chasing constrained tuple-generating dependencies, in: ACM Symposium on Principles of Database Systems, ACM Press, 1996, pp. 128-138.
36. D.C. McDermid, Integrated business process management: using state-based business rules to communicate between disparate stakeholders, in: Business Process Management, 2003, pp. 58-71.
37. J. Meng, Achieving dynamic inter-organizational workflow management by integrating business processes, e-services, events, and rules (Ph.D. thesis), Gainesville, FL, USA, 2002 (chair-Su, Stanley Y. and Chair-Helal, Abdelsalam).
38. G. Rochart, N. Jussien, X. Lorca, Choco: a java constraint programming library, Reference Manual. http://www.emn.fr/z-info/choco-solver/ .
39. P. Browne, JBoss Drools Business Rules, Ed. Packt Publishing, 2009.
40. R.G. Ross Business Rule Concepts: Getting to the Point of Knowledge 2013 Business Rule Solutions, LLC
41. Y. Peng, and J.A. Reggia Abductive Inference Models for Diagnostic Problem-Solving, Symbolic computation 1990 Springer-Verlag
42. I. Rychkova, Exploring the alloy operational semantics for case management process modeling, in: Seventh IEEE International Conference on Research Challenges in Information Science (RCIS), Paris, France, 2013, pp. 345-356.
43. S.W. Sadiq, M.E. Orlowska, and W. Sadiq Specification and validation of process constraints for flexible workflows Inf. Syst. 30 5 2005 349 378
44. N. Sponsor Business rules and business processes Inf. Syst. J. 1 10 2008 20 24
45. S. Sun, L. Zhao, O. Sheng, Data flow modeling and verification in business process management, in: Americas Conference on Information Systems, 2004, pp. 4064-4073.
46. S.X. Sun, J.L. Zhao, J.F. Nunamaker, and O.R.L. Sheng Formulating the data-flow perspective for business process management Inf. Syst. Res. 17 4 2006 374 391
47. N. Trcka, N. Sidorova, Data-flow anti-patterns: discovering data-flow errors in workflows, in: CAiSE 2009. Lecture Notes in Computer Science, vol. 5565, Springer, 2009, pp. 425-439.
48. W. van der Aalst, K. van Hee, J.M. van der Werf, A. Kumar, and M. Verdonk Conceptual model for online auditing Decis. Support Syst. 50 3 2011 636 647
49. W. van der Aalst, A.H.M. ter Hofstede, M. Weske, Business process management: a survey, in: Business Process Management, 2003, pp. 1-12.
50. R.J. Wallace, Directed arc consistency preprocessing, in: Constraint Processing, Selected Papers, Springer-Verlag, London, UK, 1995, pp. 121-137.
51. B. Weber, S.W. Sadiq, and M. Reichert Beyond rigidity - dynamic process lifecycle support Comput. Sci. R&D 23 2 2009 47 65
52. I. Weber, J. Hoffmann, J. Mendling, Semantic business process validation, in: SBPM'08: Third International Workshop on Semantic Business Process Management at ESWC'08, 2008.
53. M. Weske Business Process Management: Concepts, Languages, Architectures 2007 Springer-Verlag New York, Inc. Secaucus, NJ, USA
54. R. Wörzberger, T. Kurpick, T. Heer, Checking correctness and compliance of integrated process models, in: SYNASC, 2008, pp. 576-583.
55. S. Yongchareon, C. Liu, X. Zhao, A framework for behavior-consistent specialization of artifact-centric business processes, in: Proceedings of the Tenth International Conference on Business Process Management, BPM'12, Springer-Verlag, Berlin, Heidelberg, 2012, pp. 285-301.
56. M. zur Muehlen, and M. Indulska Modeling languages for business processes and business rules a representational analysis Inf. Syst. 35 4 2010 379 390
57. F.M. Maggi, M. Montali, M. Westergaard, and W. van der Aalst monitoring business constraints with linear temporal logic an approach based on colored automata S. Rinderle-Ma, F. Toumani, K. Wolf, BPM 2011, Lecture Notes in Computer Science vol. 6896 2011 Springer Heidelberg 132 147
58. Q. He, Detecting runtime business process compliance with artifact lifecycles. ICSOC Workshops, 2013, 426-432.
59. P. Jégou, S. Ndojh Ndiaye, C.l. Terrioux, Computing and exploiting tree-decompositions for solving constraint networks, in: Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP-2005), 2005. pp. 777-781.
60. X. Li, and S.L. Epstein Learning cluster-based structure to solve constraint satisfaction problems Ann. Math. Artif. Intell. 60 2010 91 117
61. A. Krzysztof, Principles of Constraint Programming, Ed. Cambridge University Press, New York, NY, USA, 2003.