The Regorous Approach to Process Compliance

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 [1].

[1]  Guido Governatori,et al.  Dealing with contract violations: formalism and domain specific language , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[2]  Shazia Wasim Sadiq,et al.  Managing Regulatory Compliance in Business Processes , 2015, Handbook on Business Process Management.

[3]  Guido Governatori,et al.  No Time for Compliance , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Conference.

[4]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[5]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[6]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[7]  Willem-Jan van den Heuvel,et al.  Using Patterns for the Analysis and Resolution of Compliance Violations , 2012, Int. J. Cooperative Inf. Syst..

[8]  Moe Thandar Wynn,et al.  Normative requirements for regulatory compliance: An abstract formal framework , 2015, Information Systems Frontiers.

[9]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[10]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[11]  Jörg Becker,et al.  Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap , 2012 .

[12]  Marco Montali,et al.  Compliance monitoring in business processes: Functionalities, application, and tool-support , 2015, Inf. Syst..

[13]  Moe Thandar Wynn,et al.  Business Process Data Compliance , 2012, RuleML.

[14]  Marco Montali,et al.  Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.

[15]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[16]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[17]  Guido Governatori.  Business Process Compliance: An Abstract Normative Framework , 2013 .

[18]  Moe Thandar Wynn,et al.  Modeling Obligations with Event-Calculus , 2014, RuleML.

[19]  Guido Governatori,et al.  Regorous: a business process compliance checker , 2013, ICAIL.

[20]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[21]  Guido Governatori,et al.  Business Process Regulatory Compliance is Hard , 2015, IEEE Transactions on Services Computing.

[22]  Guido Governatori,et al.  An Algorithm for Business Process Compliance , 2008, JURIX.

[23]  Guido Governatori,et al.  A conceptually rich model of business process compliance , 2010, APCCM.

[24]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[25]  Guido Governatori,et al.  The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.

[26]  Guido Governatori,et al.  Thou shalt is not you will , 2014, ICAIL.