Please use this identifier to cite or link to this item:
Title: CLAN : a tool for contract analysis and conflict discovery
Authors: Fenech, Stephen
Pace, Gordon J.
Schneider, Gerardo
Keywords: Deontic logic
Computer network architectures
Software architecture
Information resources management
Issue Date: 2009
Publisher: Springer-Verlag Berlin Heidelberg
Citation: Fenech, S., Pace, G. J., & Schneider, G. (2009). 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, Macao. 90-96.
Abstract: As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functional requirements. One approach is the use of contracts based on deontic logics, expressing obligations, permissions and prohibitions of the different actors. A challenging aspect is that of service composition, in which the contracts composed together may result in conflicting situations, so there is a need to analyse contracts and ensure their soundness. In this paper, we present CLAN, a tool for automatic analysis of conflicting clauses of contracts written in the contract language . We present a small case study of an airline check-in desk illustrating the use of the tool.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
CLAN_A_Tool_for_Contract_Analysis_and_Conflict_Dis.pdf204.04 kBAdobe PDFView/Open

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