Checking correctness of business contracts via commitments

Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper motivates and formalizes two aspects of contract correctness from the perspective of the preferences of the agents participating in them. A contract is safe for a participant if participating in the contract would not leave the participant worse off than otherwise. More strongly, a contract is beneficial to a participant if participating in the contract would leave the participant better off than otherwise. This paper seeks to partially automate reasoning about the correctness of formally modeled business contracts. It represents contracts formally as a set of commitments. It motivates constraints on how cooperative agents might value the various states of commitments. Further, it shows that such constraints are consistent and promote cooperation. Lastly, it presents algorithms for checking the safety and guaranteed benefits of a contract.

[1]  A. Chopra.  Contextualizing Commitment Protocols , .

[2]  Jaap Gordijn,et al.  Bridging Business Value Models and Process Models in Aviation Value Webs via Possession Rights , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[3]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[4]  Alberto Martelli,et al.  Verification of Protocol Conformance and Agent Interoperability , 2005, CLIMA.

[5]  Feng Wan,et al.  Formalizing and achieving multiparty agreements via commitments , 2005, AAMAS '05.

[6]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

[7]  Munindar P. Singh,et al.  Contextualizing commitment protocol , 2006, AAMAS '06.

[8]  Munindar P. Singh,et al.  Enacting protocols by commitment concession , 2007, AAMAS '07.

[9]  Santosh K. Shrivastava,et al.  Run-time monitoring and enforcement of electronic contracts , 2004, Electron. Commer. Res. Appl..

[10]  Brahim Chaib-draa,et al.  A logical model for commitment and argument network for agent communication , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[11]  Munindar P. Singh,et al.  Representing and Reasoning about Commitments in Business Processes , 2007, AAAI.

[12]  Michael Winikoff.  Designing Commitment-Based Agent Interactions , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

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

[14]  Marco Colombetti,et al.  Defining interaction protocols using a commitment-based agent communication language , 2003, AAMAS '03.

[15]  Maria E. Orlowska,et al.  Translating business contract into compliant business processes , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

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

[17]  Dickson K. W. Chiu,et al.  An EREC framework for e-contract modeling, enactment and monitoring , 2004, Data Knowl. Eng..