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

Abstract

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-BPEL 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 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 un 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.

BibTeX entry

@InProceedings{JSWEB2008,
  author    = {Antonio {Garc\'\i{}a Dom\'\i{}nguez} and Manuel {Palomo Duarte} and Inmaculada {Medina Bulo}},
  editor    = {{Jos\'{e} Manuel} {L\'{o}pez Cobo} and Antonio Vallecillo and Antonio Ruiz-Cort\'{e}s},
  title     = {Implementaci\'{o}n de un framework para la generaci\'{o}n din\'{a}mica de invariantes en composiciones de servicios web con {WS-BPEL}},
  booktitle = {Actas de las {IV} Jornadas Científico-Técnicas en Servicios Web y {SOA}},
  year      = 2008,
  address   = {Seville, Spain},
  month     = oct,
  pages     = {91-96},
}

Otras datos: ISBN 978-84-691-6710-6

0091.pdf - Artículo extraido de las actas (83.6 KB) Manuel Palomo Duarte, 11/28/2008 09:14 PM