Please use this identifier to cite or link to this item:
Title: Automatic conflict detection on contracts
Authors: Fenech, Stephen
Pace, Gordon J.
Schneider, Gerardo
Keywords: Software architecture
Intelligent agents (Computer software)
Trace analysis
Issue Date: 2009
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:
File Description SizeFormat 
Automatic_Conflict_Detection_on_Contracts.pdf159.1 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.