Norm Compliance in Business Process Modeling

We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic compliance and structural compliance. This paper focuses on structural compliance, that is we show how PCL can capture obligations concerning the structure of a business process.

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

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

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

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

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

[6]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

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

[8]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

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

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

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

[12]  Mehmet A. Orgun,et al.  AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings , 2007, Australian Conference on Artificial Intelligence.

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

[14]  Priya Narasimhan,et al.  Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings , 2007, ICSOC.

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

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

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

[18]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[19]  Guido Governatori,et al.  Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings , 2009, RuleML.

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

[21]  Lois M. L. Delcambre.  Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings , 2005, ER.

[22]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[23]  Michael Kifer,et al.  Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic , 2007, VLDB.

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

[25]  Steve Gregory,et al.  A Prolog-Based Language for Workflow Programming , 2007, COORDINATION.

[26]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic, 2nd Edition , 2012 .

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

[28]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[29]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[30]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

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