Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Towards a Formalisation of Electronic Contracting Environments

Oren, Nir and Panagiotidi, Sofia and Vazquez-Salceda, Javier and Modgil, Sanjay and Luck, Michael and Miles, Simon (2008) Towards a Formalisation of Electronic Contracting Environments. In: Proceedings of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008, Chicago.

PDF (CONTRACT COIN 2008 paper) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time. In this paper, we describe this formalization, and show how we may associate various states with a norm throughout its lifecycle. We also show how more complex evaluations may be carried out over a norm, and conclude with an example showing the application of the framework over a contract and its associated norms.

Item Type:Conference or Workshop Item (Paper)
ID Code:1282
Deposited By:Mr Felipe Meneguzzi
Deposited On:02 Sep 2008 20:16
Last Modified:13 Apr 2009 18:09

Repository Staff Only: item control page