WS-Agreement

Los acuerdos de nivel de servicio (SLA) deben ser evaluados durante las aplicaciones de software. Tal evaluación implica la observación de la ejecución del software y recogida de informaciónrelevante para tomar una decisión en el cumplimiento de los términos de SLA. Esta decisión puede implicar, por ejemplo, una sanción si la garantía no se cumple o para romper la dinámica de los SLA y laprestación de los diferentes servicios si el acuerdo es violado sistemáticamente.
En literatura, la mayoría de los enfoques de SLAs utilizan técnicas de supervisión para comprobar el comportamiento delsoftware en tiempo de ejecución a fin de detectar los fallos (enfoques reactivos). Mahbub y Spanoudakis (2007) proponen un enfoque de cálculo basada en eventos para controlar el comportamiento delsoftware a través de una extensión de WS-Agreement, que es actualmente el protocolo más extendido para la especificación de los SLA. Raimondi, Skene y Emmerich (2008) presentan un sistema automático quecontrola la puntualidad en las limitaciones especificadas en el SLA.
Los artículos mencionados anteriormente detectan incumplimientos de los de SLA en el software bajo pruebas y desencadenan lasacciones correctivas correspondientes después de detectar los problemas surgidos (enfoques reactivos). Sin embargo, el monitoreo también puede ser utilizado para recoger información que permite predecirposibles incumplimientos de SLA en el futuro.
En situaciones críticas en las que una violación de SLA puede tener consecuencias relevantes para los grupos de interés, no se recomienda esperar hasta quese producen los problemas, es preferible anticipar y corregir la detección de este tipo de problemas (enfoques proactivos). En la actualidad, pocos proyectos han abordado el diseño de pruebas deespecificación SLA. Penta Di, et al. (2007) utilizan algoritmos genéticos para realizar pruebas de blanco y negro de la caja en composiciones de servicios web con el fin de detectar las combinaciones de...