Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22738| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/22738 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 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.