A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
CLAN: A Tool for Contract Analysis and Conflict Discovery
[chapter]
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
doi:10.1007/978-3-642-04761-9_8
fatcat:ql6at3cdizdxtb2ci6obdu7vgm