Analyzing Contract Robustness through a Model of Commitments

Chopra, Amit K. and Singh, Munindar P. and Oren, Nir and Miles, Simon and Luck, Michael and Modgil, Sanjay and Desai, Nirmit (2009) Analyzing Contract Robustness through a Model of Commitments. UNSPECIFIED. (Unpublished)

Download (394Kb) | Preview


    Commerce is driven by business contracts. Here, each party to such a contract must be assured that it is robust, fulfilling its goals and avoiding 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 multi-agent systems approaches in supporting business interactions is to be viable, we need to develop appropriate techniques to allow such software to reason about contracts in relation to their robustness. To this end, in this paper we propose a powerful approach to assessing the robustness of contracts, and make three main contributions. First, we demonstrate a novel commitment-based formal model for contracts. Second, we define rules to evaluate the robustness of contracts. Third, we offer a methodology for modeling contracts to enable checking them for robustness. We validate these contributions via real-world contracts.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Q Science > QA Mathematics > QA076 Computer software
    Uncontrolled Keywords: Commitments, Contracts, Robustness
    Report Number: DISI-10-002
    Repository staff approval on: 27 Jan 2010

    Actions (login required)

    View Item