PRIS 2008: Framework para la Generación Dinámica de Invariantes en Composiciones de Servicios Web con WS-BPEL

Abstract

Los lenguajes para la composición de servicios web, como el estándar OASIS WS-BPEL 2.0, permiten programar a gran escala. 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 compensación 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 proponemos un framework para generar invariantes potenciales dinámicamente a partir de registros de ejecución de una composición de servicios web en WS-BPEL.

BibTeX entry

@InProceedings{PRIS2008,
  author    = {Antonio {Garc\'\i{}a-Dom\'\i{}nguez} and Manuel {Palomo-Duarte} and Inmaculada {Medina-Bulo}},
  title     = {Framework para la Generaci\'{o}n Din\'{a}mica de Invariantes en Composiciones de Servicios Web con {WS-BPEL}},
  booktitle = {Actas de Talleres de Ingeniería del Software y Bases de Datos},
  year      = 2008,
  address   = {Gij\'{o}n, Spain},
  month     = oct,
  publisher = {SISTEDES},
  pages     = {1-6},
}

pris-08-garcia-frameworkInvariantes.pdf - Artículo extraido de las actas (239 KB) Manuel Palomo Duarte, 11/28/2008 09:06 PM