Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22738
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Fenech, Stephen | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Schneider, Gerardo | - |
dc.date.accessioned | 2017-10-17T08:14:51Z | - |
dc.date.available | 2017-10-17T08:14:51Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Fenech, S., Pace, G. J., & Schneider, G. (2009). 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, Macao. 90-96. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22738 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer-Verlag Berlin Heidelberg | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Deontic logic | en_GB |
dc.subject | Computer network architectures | en_GB |
dc.subject | Software architecture | en_GB |
dc.subject | Information resources management | en_GB |
dc.title | CLAN : a tool for contract analysis and conflict discovery | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.bibliographicCitation.conferencename | 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009 | en_GB |
dc.bibliographicCitation.conferenceplace | Macao, China, 14-16/10/2009 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-642-04761-9_8 | - |
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.