Using the event calculus for tracking the normative state of contracts

In this work, we have been principally concerned with the representation of contracts so that their normative state may be tracked in an automated fashion over their deployment lifetime. The normative state of a contract, at a particular time, is the aggregation of instances of normative relations that hold between contract parties at that time, plus the current values of contract variables. The effects of contract events on the normative state of a contract are specified using an XML formalization of the Event Calculus, called ecXML. We use an example mail service agreement from the domain of web services to ground the discussion of our work. We give a characterization of the agreement according to the normative concepts of obligation, power and permission, and show how the ecXML representation may be used to track the state of the agreement, according to a narrative of contract events. We also give a description of a state tracking architecture, and a contract deployment tool, both of which have been im...

[1]  Randall Davis,et al.  Distributed Problem Solving: The Contract Net Approach , 1978 .

[2]  Alessandra Russo,et al.  Using event calculus to formalise policy specification and analysis , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[3]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[4]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[5]  M. Sergot,et al.  Using the Event Calculus for the Performance Monitoring of Service-Level Agreements for Utility Computing , 2004 .

[6]  Marek J. Sergot,et al.  Power and Permission in Security Systems , 1999, Security Protocols Workshop.

[7]  Elisa Bertino,et al.  A unified framework for enforcing multiple access control policies , 1997, SIGMOD '97.

[8]  J. Sadock.  Speech acts , 2007 .

[9]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[10]  Aspassia Daskalopulu.  Modelling legal contracts as processes , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[11]  Ingmar Pörn,et al.  POSITION AND CHANGE: A Study in Law and Logic , 1978 .

[12]  Marek J. Sergot,et al.  Using Authority Certificates to Create Management Structures , 2001, Security Protocols Workshop.

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

[14]  Marek Sergot,et al.  A computational theory of normative positions , 2001, ACM Trans. Comput. Log..

[15]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[16]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[17]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[18]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[19]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[20]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[21]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Logic Programming , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

[22]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[23]  R. Atkinson,et al.  Position and change : a study in law and logic , 1979 .

[24]  Alexander Artikis.  Executable specification of open norm-governed computational systems , 2003 .

[25]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[26]  M. Sirbu.  Credits and debits on the Internet , 1997 .