PFC "Reingeniería y ampliación de Takuan"

El Proyecto Fin de Carrera de Ingeniería en Informática "Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en WS-BPEL Takuan" ha sido realizado por Alejandro Álvarez Ayllón.

Resumen

Los objetivos conseguidos en este PFC son:

  • Recopilación de nuevos ejemplos de composiciones WS-BPEL. Al ser un lenguaje nuevo, poco extendido y que implementa una lógica de negocio de empresa, la cantidad de ejemplos de uso reales son muy pocos. De hecho, la mayoría de trabajos científicos hasta hace poco trabajaban casi en exclusiva sobre el ejemplo del préstamo incluido en el estándar WS-BPEL. Se han recopilado cinco ejemplos (seis, contando la variante síncrona de Shipping) que se ejecutan en Takuan.
  • Corrección de errores. Se han solucionado algunos fallos que tenía Takuan en el código de las hojas de transformación, que daban problemas al probar nuevas composiciones.
  • Mejora de soporte de WS-BPEL. Se identificaron y subsanaron ciertas carencias en el soporte de características propias del estándar WS-BPEL, como, por ejemplo, las propiedades.
  • Desarrollo de una interfaz gráfica. Y de un servlet para poder conectar con una instancia de Takuan en otra máquina.
  • Obtención de información sobre cobertura. En concreto cobertura (parcial) de instrucciones, ramas y caminos. Estos datos permitirá a los usuarios evaluar conjuntos casos de prueba, de forma que se generen invariantes más precisos.

Descarga

BibTeX entry

@MastersThesis{PFCAyllon,
    author     =     {Alejandro {{\'A}lvarez Ayll{\'o}n}},
    title     =     {Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en {WS-BPEL} Takuan},
    school     =     {{U}niversidad de C{\'a}diz},
    month     =     {may},
    address     =     {Spain},
    year     =     {2010},
    doi     =     {10498/8940},
    url = {http://rodin.uca.es:8081/xmlui/handle/10498/8940},
    }