On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements

A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran publico y en ambientes XaaS donde existen penalizaciones por su incumplimiento, aumenta la demanda y la complejidad de los sistemas que dan soporte al ciclo de vida de los SLAs, en adelante, soluciones dirigidas por SLAs. Tras revisar el estado del arte, hemos concluido que existe un amplio espacio de mejora en las tecnologias para desarrollar soluciones dirigidas por SLAs con dos dimensiones claramente diferenciables: (1) los lenguajes para especificar SLAs, y (2) las tecnicas para extraer informacion util sobre los SLAs, que en adelante llamaremos tecnicas de analisis. En cuanto a los lenguajes de especificacion, las mejoras pueden venir de conseguir lenguajes i) independientes del dominio, ii) conformes a recomendaciones estandar, iii) con la expresividad necesaria para describir de manera sencilla los objetivos de nivel de servicio (SLOs), las restricciones y los periodos de validez de sus diferentes elementos, iv) que dispongan de criterios para verificar propiedades basicas tales como la consistencia, la conformidad y la optimalidad y, llegado el caso, explicar por que no es posible verificarlas de un modo que permita al usuario un facil diagnostico y reparacion. En cuanto a las tecnicas de analisis propuestas hasta la fecha, encontramos que presentan algunas de las carencias habituales de las tecnologias emergentes, por lo que la mejora puede venir de: desarrollar implementaciones de referencia lo suficientemente completas, con un diseno orientado a su reutilizacion, abiertas a ser extendidas de manera efectiva y, por ultimo, disponer de un interfaz de usuario facil de usar. El objetivo global de esta tesis es mejorar el soporte actualmente existente para desarrollar soluciones dirigidas por SLAs tomando como referencia las mejoras anteriormente identificadas, centrando su estudio en la recomendacion WS�Agreement, propuesta por la Open Grid Forum para especificar y crear acuerdos de nivel servicio. Sus principales contribuciones son un lenguaje de especificacion WS�Agreement compliant que hemos denominado iAgree, y un entorno para desarrollar soluciones dirigidas por SLAs que hemos denominado IDEAS que tiene como componente principal un analizador de documentos iAgree que hemos denominado ADA. Como contribuciones menores se han desarrollado soluciones para mejorar el soporte disponible actualmente para la creacion y monitorizacion de acuerdos de nivel de servicios. La clave de nuestra propuesta para mejorar el lenguaje de especificacion de acuerdos pasa por definir lo que hemos dado a llamar un configuracion WS�Agreemen (WSAC) que dispone de los sublenguajes necesarios para describir las distintas partes de un documento de acuerdo. En cuanto a nuestra propuesta de mejora para las tecnicas de analisis, la clave ha sido organizar dichas tecnicas en un catalogo de operaciones basicas de analisis que pueden ser combinadas para soportar soluciones dirigidas por SLAs mas complejas. La aplicabilidad de nuestros resultados se restringe a aquellos SLAs que pueden interpretarse como problemas de satisfaccion de restricciones, lo cual, en base a nuestra experiencia, es suficiente para abordar muchas situaciones de gran interes.