Resumen de Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL
Antonio García Domínguez 
, Manuel Palomo Duarte , Inmaculada Medina Bulo
Los servicios web están cambiando la informática actual y serán clave para entenderla en un futuro próximo. En concreto, los lenguajes para la composición de servicios, como el estándar OASIS WS-PEL 2.0, abren la posibilidad de programarlos a gran escala, facilitando su adopción. Sin embargo, este lenguaje presenta un reto para la realización de pruebas de caja blanca, debido a la inclusión de instrucciones específicas para manejar la concurrencia, compensación, errores, o descubrimiento e invocación dinámicos de servicios. Por otro lado, la generación automática de invariantes ha demostrado ser una técnica eficaz para ayudar en la prueba y mejora de programas escritos en lenguajes imperativos tradicionales y creemos que también lo sería para WS-BPEL. En este artículo presentamos una framework para generar invariantes potenciales dinámicamente a partir de varios registros de ejecución de una composición de servicios web WS-BPEL. Describimos nuestra experiencia durante su implementación y sus resultados preliminares basados en el ejemplo del préstamo bancario.
