Law, logic and business processes

Since its inception one of the aims of legal informatics has been to provide tools to support and improve the day to day activities of legal and normative practice and a better understanding of legal reasoning. The internet revolutions, where more and more daily activities are routinely performed with the support of ITC tools, offers new opportunities to legal informatics. We argue that the current technology begins to be mature enough to embrace in the challenge to make intelligent ICT support widespread in the legal and normative domain. In this paper we examine a logical model to encode norms and we use the formalisation of relevant law and regulations for regulatory compliance for business processes.

[1]  Enrico Pattaro A Treatise of Legal Philosophy and General Jurisprudence , 2005 .

[2]  A. Montefiore NORM AND ACTION , 1964 .

[3]  Marek J. Sergot,et al.  Using the event calculus for tracking the normative state of contracts , 2005, Int. J. Cooperative Inf. Syst..

[4]  Guido Governatori,et al.  Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[5]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

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

[7]  Munindar P. Singh,et al.  Checking correctness of business contracts via commitments , 2008, AAMAS.

[8]  Guido Governatori,et al.  Norm Compliance in Business Process Modeling , 2010, RuleML.

[9]  Frank Leymann,et al.  Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology , 2006, 22nd International Conference on Data Engineering (ICDE'06).

[10]  M. Rosemann,et al.  Integrating Risks in Business Process Models , 2005 .

[11]  Guido Governatori,et al.  Rule Representation, Interchange and Reasoning on the Web , 2008, Lecture Notes in Computer Science.

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

[13]  Guido Governatori,et al.  A methodological framework for aligning business processes and regulatory compliance , 2010 .

[14]  Guido Boella,et al.  Fulfilling or violating obligations in normative multiagent systems , 2004 .

[15]  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).

[16]  Birgit Pfitzmann,et al.  From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation , 2006 .

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

[18]  Shazia Wasim Sadiq,et al.  Detecting Regulatory Compliance for Business Process Models through Semantic Annotations , 2008, Business Process Management Workshops.

[19]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

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

[21]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

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

[23]  Harald C. Gall,et al.  Generation of Business Process Models for Object Life Cycle Compliance , 2007, BPM.

[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]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

[27]  Hans Kelsen,et al.  General Theory of Norms , 1991 .

[28]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

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

[30]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

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

[32]  Frank R. Abate,et al.  The new Oxford American dictionary , 2001 .