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

  1. Antonio García Domínguez
  2. Manuel Palomo Duarte
  3. Inmaculada Medina Bulo
Livre:
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
  1. López Cobo, José Manuel (coord.)
  2. Vallecillo Moreno, Antonio (coord.)
  3. Ruiz-Cortés, Antonio (coord.)

Éditorial: Editorial de la Universidad de Sevilla

ISBN: 978-84-691-6710-6

Année de publication: 2008

Pages: 91-96

Type: Chapitre d'ouvrage

Résumé

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.