Academia.eduAcademia.edu

Outline

ICT Support for Regulatory Compliance of Business Processes

2014, arXiv (Cornell University)

Abstract

In this paper we propose an ITC (Information and Communication Technology) approach to support regulatory compliance for business processes, and we report on the development and evaluation of a business process compliance checker called Regorous, based on the compliance-by-design methodology proposed by Governatori and Sadiq .

References (23)

  1. G. Governatori and S. Sadiq, "The journey to business process compliance", in Handbook of Research on BPM, J. Cardoso and W. van der Aalst, Eds., IGI Global, 2009, ch. 20, pp. 426-454.
  2. G. Governatori, Z. Milosevic and S. Sadiq, "Compliance checking between business processes and business contracts", in 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), P. C. K. Hung, Ed., IEEE Comput- ing Society, 2006, pp. 221-232.
  3. S. Sadiq and G. Governatori, "Managing regulatory compliance in business processes", in Handbook of Business Process Management, J. van Brocke and M. Rosemann, Eds., vol. 2, Berlin: Springer, 2010, ch. 8, pp. 157-173.
  4. S. Sadiq, G. Governatori and K. Naimiri, "Modelling of control objectives for business process compliance", in BPM 2007, G. Alonso, P. Dadam and M. Rosemann, Eds., ser. Lecture Notes in Computer Science, Berlin: Springer, 2007, pp. 149-164.
  5. R. Lu, S. Sadiq and G. Governatori, "Compliance aware business process design", in 3rd International Workshop on Business Process Design (BPD'07), A. H. M. ter Hofstede, B. Benatallah and H.-Y. Paik, Eds., ser. Lecture Notes in Computer Science, vol. 4928, Berlin: Springer, 2007, pp. 120-131.
  6. M. Dumas, M. La Rosa, J. Mendling and H. A. Reijers, Fundamentals of Business Process Management. Springer, 2013.
  7. M. Hashmi, G. Governatori and M. T. Wynn, "Business process data compliance", in RuleML 2012, ser. Lecture Notes in Computer Science series, vol. 7438, Springer, 2012.
  8. T. F. Gordon, G. Governatori and A. Rotolo, "Rules and norms: requirements for rule interchange languages in the legal domain", in RuleML 2009, G. Governatori, J. Hall and A. Paschke, Eds., ser. LNCS, Berlin: Springer, 2009, pp. 282-296.
  9. G. Sartor, Legal Reasoning: A Cognitive Approach to the Law. Springer, 2005.
  10. G. Governatori and Z. Milosevic, "Dealing with contract violations: formalism and domain specific language", in EDOC 2005, IEEE Computer Society, 2005, pp. 46-57.
  11. R. Lu, S. Sadiq and G. Governatori, "Measurement of com- pliance distance in business processes", Information Systems Management, vol. 25, no. 4, pp. 344-355, 2008.
  12. G. Governatori, "Representing business contracts in RuleML", International Journal of Cooperative Information Systems, vol. 14, no. 2-3, pp. 181-216, 2005.
  13. G. Governatori and A. Rotolo, "A conceptually rich model of business process compliance", in 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), S. Link and A. Ghose, Eds., ser. CRPIT, vol. 110, ACS, 2010, pp. 3-12.
  14. G. Antoniou, D. Billington, G. Governatori and M. J. Maher, "Representation results for defeasible logic", ACM Transactions on Computational Logic, vol. 2, no. 2, pp. 255-287, 2001.
  15. G. Governatori and A. Rotolo, "Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations", Aus- tralasian Journal of Logic, vol. 4, pp. 193-215, 2006.
  16. --, "An algorithm for business process compliance", in Legal Knowledge and Information Systems, E. Francesconi, G. Sartor and D. Tiscornia, Eds., ser. Frontieres in Artificial Intelligence and Applications, vol. 189, IOS Press, 2008, pp. 186-191.
  17. H.-P. Lam and G. Governatori, "The making of SPINdle", in Rule Representation, Interchange and Reasoning on the Web, G. Governatori, J. Hall and A. Paschke, Eds., ser. LNCS, Berlin: Springer, 2009, pp. 315-322.
  18. M. Dumas, J. Recker and M. Weske, "Management and engineering of process-aware information systems: introduction to the special issue", Information Systems, vol. 37, no. 2, pp. 77-79, 2012.
  19. J. Becker, P. Delfmann, M. Eggert and S. Schwittay, "Gener- alizability and Applicability of Model-Based Business Process Compliance-Checking Approaches -A State-of-the-Art Ana- lysis and Research Roadmap", BuR -Business Research Journal, vol. 5, no. 2, pp. 221-247, 2012.
  20. 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, ser. LNCS, vol. 6896, Springer-Verlag, 2011, pp. 132-147.
  21. A. Elgammal, O. Türetken and W.-J. van den Heuvel, "Using patterns for the analysis and resolution of compliance viola- tions", Int. J. Cooperative Inf. Syst., vol. 21, no. 1, pp. 31-54, 2012.
  22. L. T. Ly, S. Rinderle-Ma, K. Göser and P. Dadam, "On en- abling integrated process compliance with semantic constraints in process management systems -requirements, challenges, solutions", Information Systems Frontiers, vol. 14, no. 2, pp. 195-219, 2012.
  23. H. Herrestad, "Norms and formalization", in ICAIL 1991, ACM, 1991, pp. 175-184.