El artículo Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations, escrito por los investigadores Dragan Ivanovic, Manuel Carro, y Manuel Hermenegildo, del Instituto IMDEA Software y UPM, ha obtenido el premio al mejor artículo en ICSOC 2011, la novena edición del congreso Internacional en Computación Orientada a Servicios (ICSOC 2011), celebrada en Paphos, Chipre, del 5 al 8 de diciembre de 2011.
El artículo presenta y evalúa una técnica para predecir violaciones de acuerdos de nivel de servicio (SLA) en orquestaciones de servicios y para determinar bajo qué condiciones dichas violacions pueden o no ocurrir. La técnica utilizada es un modelizado de la orquestación que puede evolucionar según se ejecuta el proceso por lo que es capaz de tener en cuenta cambios dinámicos en el mismo. En cada punto de control se genera una representación de la continuación del proceso (es decir, lo que queda por ser ejecutado) que se envía a un predictor el cual sintetiza, por medio de un intérprete simbólico, un sistema de restricciones que modeliza el comportamiento esperado hasta el final de la ejecución. El modelo expresado como restricciones se pasa a un resolutor basado en Prolog que recibe asimismo las condiciones de contorno que representan escenarios que fuerzan el cumplimiento o la violación de los SLAs. Los resultados del resolutor de restricciones indican los casos en los cuales se satisfacen o no los SLAs. La evaluación de la técnica bajo condiciones realistas obtenidas de ejecuciones bajo Microsoft Workflow Engine indican una precisión extremadamente alta en la predicción, con un número muy bajo (o, en algunos casos, nulo) de falsos positivos / falsos negativos.
