12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Analyzing contract robustness through a model o...
View graph of relations

« Back

Analyzing contract robustness through a model of commitments

Research output: Contribution in Book/Report/ProceedingsPaper

Published

  • Amit K. Chopra
  • Nir Oren
  • Sanjay Modgil
  • Nirmit Desai
  • Simon Miles
  • Michael Luck
  • Munindar P. Singh
Publication date2011
Host publicationAgent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
EditorsDanny Weyns, Marie-Pierre Gleizes
Place of publicationBerlin
PublisherSpringer
Pages17-36
Number of pages20
ISBN (Electronic)978-3-642-22636-6
ISBN (Print)978-3-642-22635-9
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6788
ISSN (Print)0302-9743

Abstract

We address one of the challenges in developing solutions based on multiagent systems for the problems of cross-organizational business processes and commerce generally. Specifically, we study how to gather and analyze requirements embodied within business contracts using the abstractions from multiagent systems.
Commerce is driven by business contracts. Each party to a business contract must be assured that the contract is robust, in the sense that it fulfills its goals and avoids undesirable outcomes. However, real-life business contracts tend to be complex and unamenable both to manual scrutiny and domain-independent scientific methods, making it difficult to provide automated support for determining or improving their robustness. As a result, establishing a contract is nontrivial and adds significantly to the transaction costs of conducting business. If the adoption of multiagent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to enable tools to reason about contracts in relation to their robustness.
To this end, we propose a powerful approach to assessing the robustness of contracts, and make two main contributions. First, we demonstrate a novel conceptual model for contracts that is based on commitments. Second, we offer a methodology for (i) creating commitment-based models of contracts from textual descriptions, and (ii) evaluating the contract models for robustness. We validate these contributions via a study of real-world contracts.