Mostrar el registro sencillo del ítem

Ponencia

dc.creatorMüller Cejás, Carlos 
dc.creatorRuiz Cortés, Antonio 
dc.creatorResinas Arias de Reyna, Manuel 
dc.date.accessioned2015-06-30T11:18:13Z
dc.date.available2015-06-30T11:18:13Z
dc.date.issued2008
dc.identifier.urihttp://hdl.handle.net/11441/26422
dc.description.abstractAn SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their terms could carry penalties in case of failure. However, this consistency checking may become a challenging task depending on the complexity of the agreement. As a consequence, an automated way of checking the consistency of an SLA document and returning the set of inconsistent terms of the agreement would be very appealing from a practical point of view. For instance, it enables the development of software tools that make the creation of correct SLAs and the consistency checking of imported SLAs easier for users. In this paper, we present the problem of explaining WSAgreement inconsistencies as a constraint satisfaction problem (CSP), and then we use a CSP solver together with an explanation engine to check the consistency and return the inconsistent terms. Furthermore, a proof-of-concept using Choco solver in conjunction with the Palm explanation engine has been developed.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.relation.ispartofInternational Conference in Service Orientes Computing - ICSOC2008 (2008. Sydney, Australia)es
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectService Level Agreementes
dc.subjectWS-Agreementes
dc.subjectConsistency Checkinges
dc.subjectDebugginges
dc.subjectQuality of Servicees
dc.titleAn Initial Approach to Explaining SLA Inconsistencieses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dcterms.identifierhttps://ror.org/03yxnpp24
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticoses
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-540-89652-4_30es
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/26422

FicherosTamañoFormatoVerDescripción
An Initial Approach to Explaining ...884.6KbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional