CLAN: A Tool for Contract Analysis and Conflict Discovery [chapter]

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009 Lecture Notes in Computer Science  
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
more » ... d ensure their soundness. In this paper, we present CLAN, a tool for automatic analysis of conflicting clauses of contracts written in the contract language CL. We present a small case study of an airline check-in desk illustrating the use of the tool.
doi:10.1007/978-3-642-04761-9_8 fatcat:ql6at3cdizdxtb2ci6obdu7vgm