Rule based business process compliance
2012
Abstract
In this paper we report on the development and evaluation of a business process compliance checker, based on the compliance-by-design methodology proposed by Governatori and Sadiq [9].
References (17)
- G. Antoniou, D. Billington, G. Governatori, and M.J. Maher. Representation results for de- feasible logic. ACM Transactions on Computational Logic, 2(2):255-287, 04 2001.
- A. Elgammal, O. Türetken, and W.-J. van den Heuvel. Using patterns for the analysis and resolution of compliance violations. Int. J. Cooperative Inf. Syst., 21(1):31-54, 2012.
- T.F. Gordon, G. Governatori, and A. Rotolo. Rules and norms: Requirements for rule inter- change languages in the legal domain. In G. Governatori, J. Hall, and A. Paschke, editors, RuleML 2009, lNCS 5858, pp. 282-296. Springer, 2009.
- G. Governatori. Representing business contracts in RuleML. International Journal of Coop- erative Information Systems, 14(2-3):181-216, 2005.
- G. Governatori, Z. Milosevic, and S. Sadiq. Compliance checking between business processes and business contracts. In P.C..K. Hung, ed., EDOC 2006, pp. 221-232. IEEE Computing Society, 2006.
- G. Governatori and A. Rotolo. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4:193-215, 2006.
- G. Governatori and Antonino Rotolo. An algorithm for business process compliance. In E. Francesconi, G, Sartor, and D. Tiscornia, eds, Jurix 2008, pp. 186-191. IOS Press, 2008.
- G. Governatori and A. Rotolo. A conceptually rich model of business process compliance. In S. Link and A. Ghose, eds, APCCM 2010, CRPIT 110, pp. 3-12. ACS, 2010.
- G. Governatori and S. Sadiq. The journey to business process compliance. In J. Cardoso and W. van der Aalst, eds, Handbook of Research on BPM, pp. 426-454. IGI Global, 2009.
- M. Hashmi, G. Governatori, and M. Thandar Wynn. Business process data compliance. In RuleML 2012, LNCS 7438. Springer, 2012.
- H Herrestad. Norms and formalization. In ICAIL 1991, pp 175-184. ACM, 1991.
- H-.P. Lam and G. Governatori. The making of SPINdle. In G. Governatori, J. Hall, and A. Paschke, eds, RuleML 2009, LNCS 5858, pp. 315-322. Springer, 2009.
- R. Lu, S. Sadiq, and G. Governatori. Compliance aware business process design. In A.H.M. ter Hofstede, B. Benatallah, and H.-Y. Paik, eds, BPD'07, LNCS 4928, pp 120-131. Springer, 2007.
- L.T. Ly, S. Rinderle-Ma, K. Göser, and P. Dadam. On enabling integrated process compli- ance with semantic constraints in process management systems -requirements, challenges, solutions. Information Systems Frontiers, 14(2):195-219, 2012.
- F.M. Maggi, M. Montali, M. Westergaard, and W.M.P. van der Aalst. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In BPM 2011, LNCS 6896, pp. 132-147. Springer, 2011.
- S. Sadiq and G. Governatori. Managing regulatory compliance in business processes. In J. van Brocke and M. Rosemann, eds, Handbook of Business Process Management, volume 2, pp. 157-173. Springer, 2010.
- S. Sadiq, G. Governatori, and K. Naimiri. Modelling of control objectives for business process compliance. In G. Alonso, P. Dadam, and M. Rosemann, eds, BPM 2007, LNCS 4714, pp. 149-164. Springer, 2007.