Please use this identifier to cite or link to this item:
|Title:||Automatic conflict detection on contracts|
Pace, Gordon J.
Intelligent agents (Computer software)
|Publisher:||Springer Berlin Heidelberg|
|Citation:||Fenech, S., Pace, G. J., & Schneider, G. (2009). Automatic conflict detection on contracts. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009, Kuala Lumpur. 200-214.|
|Abstract:||Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions and prohibitions of the different actors, can be used to protect the interests of the organisations engaged in such service exchange. However, the potentially dynamic composition of services with different contracts, and the combination of service contracts with local contracts can give rise to unexpected conflicts, exposing the need for automatic techniques for contract analysis. In this paper we look at automatic analysis techniques for contracts written in the contract language CL. We present a trace semantics of CL suitable for conflict analysis, and a decision procedure for detecting conflicts (together with its proof of soundness, completeness and termination). We also discuss its implementation and look into the applications of the contract analysis approach we present. These techniques are applied to a small case study of an airline check-in desk.|
|Description:||Partially supported by the Nordunet3 project COSoDIS: “Contract-Oriented Software Development for Internet Services”.|
|Appears in Collections:||Scholarly Works - FacEMAMar|
Scholarly Works - FacICTCS
Files in This Item:
|Automatic_Conflict_Detection_on_Contracts.pdf||159.1 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.