Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en WS-BPEL Takuan

Abstract

El lenguaje WS-BPEL, eje vertebrador del trabajo es el resultado del esfuerzo de las principales empresas TIC a nivel mundial (Microsoft, IBM, SAP, Oracle, etc.) por estandarizar la composición de servicios web. De este modo, se abre la puerta a la adopción masiva de dicho lenguaje en el mercado de las TIC en los próximos años. Como resultado, se presenta la oportunidad de investigar los elementos que permitan asegurar la calidad de dichas composiciones, siendo la generación de invariantes con Takuan una alternativa aceptada en congresos internacionales de reconocido prestigio. Este proyecto mejora y amplía el sistema.