Repositorio de producción científica de la Universidad de Sevilla

An Initial Approach to Explaining SLA Inconsistencies

Opened Access An Initial Approach to Explaining SLA Inconsistencies
Estadísticas
Icon
Exportar a
Autor: Müller Cejás, Carlos
Ruiz Cortés, Antonio
Resinas Arias de Reyna, Manuel
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2008
Publicado en: International Conference in Service Orientes Computing - ICSOC2008 (2008. Sydney, Australia)
Tipo de documento: Ponencia
Resumen: An 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 de...
[Ver más]
Tamaño: 884.6Kb
Formato: PDF

URI: http://hdl.handle.net/11441/26422

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones