Please use this identifier to cite or link to this item:
|Title:||CLAN : a tool for contract analysis and conflict discovery|
Pace, Gordon J.
Computer network architectures
Information resources management
|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:
|CLAN_A_Tool_for_Contract_Analysis_and_Conflict_Dis.pdf||204.04 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.