RT bachelor thesis
T1 Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en WS-BPEL Takuan
A1 Álvarez Ayllón, Alejandro
A2 Lenguajes y Sistemas Informáticos
K1 prueba de software
K1 generador dinámico de invariantes potenciales
K1 SOA
K1 composiciones de servicios web en WS-BPEL
AB 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.
YR 2010
FD 2010-05-27T00:00:00Z
LK http://hdl.handle.net/10498/8940
UL http://hdl.handle.net/10498/8940
LA spa
DS Repositorio Institucional de la Universidad de Cádiz
RD 10-nov-2026