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

dc.contributor.advisor	Palomo Duarte, Manuel
dc.contributor.author	Álvarez Ayllón, Alejandro
dc.contributor.other	Lenguajes y Sistemas Informáticos	en_US
dc.date.accessioned	2010-05-27T11:43:57Z
dc.date.available	2010-05-27T11:43:57Z
dc.date.issued	2010-05-27T00:00:00Z
dc.identifier.uri	http://hdl.handle.net/10498/8940
dc.description.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.	en_US
dc.format	application/pdf
dc.language.iso	spa	en_US
dc.rights	info:eu-repo/semantics/openAccess
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/
dc.subject	prueba de software	en_US
dc.subject	generador dinámico de invariantes potenciales	en_US
dc.subject	SOA	en_US
dc.subject	composiciones de servicios web en WS-BPEL	en_US
dc.title	Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en WS-BPEL Takuan	en_US
dc.type	bachelor thesis	en_US
dc.rights.accessRights	open access

Esta obra está bajo una Licencia Creative Commons info:eu-repo/semantics/openAccess