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

Modelling and Administration of Contract-Based Systems

Miles, Simon and Oren, Nir and Luck, Michael and Modgil, Sanjay and Faci, Nora and Holt, Camden and Vickers, Gary (2008) Modelling and Administration of Contract-Based Systems. In: AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, 1-2 Apr 2008, Aberdeen, UK.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Item Type:Conference or Workshop Item (Paper)
Additional Information:contract, architecture, multi-agent systems
ID Code:1284
Deposited By:Dr Simon Miles
Deposited On:08 Sep 2008 15:44
Last Modified:13 Apr 2009 16:49

Repository Staff Only: item control page