On cheking the compatibility of service interaction protocosis

Resum

Esta tesis doctoral presenta dos soluciones para la específicación y comprobación (verificación) de la compatibilidad de servicios. En primer lugar, consideramos que las interfaces específican tanto signaturas como protocolos de interacciones. Especificamos los protocolos usando sistemas de transiciones simbólicas (STSs). Para evaluar la compatibilidad de los servicios, proponemos dos enlomes genéricos basados en técnicas booleanas y heurísticas de análisis para la detección de incompatibilidades, tanto a nivel de signatura, como a nivel de los protocolos de interacción. El primer enfoque aborda el análisis de los protocolos con objetivo de calcular un valor booleano para saber si esos protocolos son compatibles o no. Este mismo enfoque puede calcular un contraejemplo para ayudar al usuario a entender la razón de la incompatibilidad. Como complemento a la evaluación booleana, el segundo enFoque trata de medir el grado de compatibilidad como un numero entre O y 1, donde O significa que los servicios son totalmente incompatibles y 1 signífica que son perfectamente compatibles. Ambos enfoques se han implementado de manera genérica, es decir, usan varias nociones de compatibilidad y están disetlados de manera que el usuario puede incluir sus propias nociones en dichos entornos. Por último, estas propuestas han sido aplicadas en dos contextos relacionados con la resolución de los problemas de compatibilidad: la adaptación y la evolución de servicios.