Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

• Autores: Antonio García Domínguez , Manuel Palomo Duarte , Inmaculada Medina Bulo
• Localización: Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 / coord. por José Manuel López Cobo, Antonio Vallecillo Moreno , Antonio Ruiz Cortés , 2008, ISBN 978-84-691-6710-6, págs. 91-96
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.