{"id":110697,"date":"2018-03-11T10:36:53","date_gmt":"2018-03-11T10:36:53","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/generacion-dinamica-de-invariantes-para-composiciones-de-servicios-web-en-ws-bpel\/"},"modified":"2018-03-11T10:36:53","modified_gmt":"2018-03-11T10:36:53","slug":"generacion-dinamica-de-invariantes-para-composiciones-de-servicios-web-en-ws-bpel","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/cadiz\/generacion-dinamica-de-invariantes-para-composiciones-de-servicios-web-en-ws-bpel\/","title":{"rendered":"Generaci\u00f3n din\u00e1mica de invariantes para composiciones de servicios web en ws-bpel"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Manuel Palomo Duarte <\/strong><\/h2>\n<p>En los \u00faltimos a\u00f1os, las arquitecturas orientadas a servicios est\u00e1n cambiando la filosof\u00eda de desarrollo de software en muchos entornos. El uso de servicios web facilita significativamente la interoperabilidad entre sistemas, permitiendo programar sistemas de gran tama\u00f1o usando otros m\u00e1s simples de manera sencilla. El principal lenguaje para componer servicios es ws-bpel 2.0, que ha sido estandarizado por oasis con la participaci\u00f3n de las grandes empresas del sector inform\u00e1tico. Sin embargo, las principales t\u00e9cnicas de prueba no han sido adaptadas a ws-bpel, quedando como uno de los principales retos para su adopci\u00f3n.  el objetivo de esta tesis es estudiar la validez de la generaci\u00f3n din\u00e1mica de invariantes (tambi\u00e9n conocida como generaci\u00f3n de invariantes potenciales) para apoyar la prueba de caja blanca de composiciones de servicios web en ws-bpel. En primer lugar, la tesis comprueba la viabilidad de la generaci\u00f3n din\u00e1mica de invariantes para ws-bpel. Para ello se presenta una arquitectura basada en el generador din\u00e1mico de invariantes daikon, que ha demostrado ser \u00fatil para lenguajes imperativos como c\/c++, java y perl. Daikon es software libre, y se ha integrado con c\u00f3digo propio y otros dos sistemas libres: el motor de ejecuci\u00f3n compatible ws-bpel 2.0 activebpel y la biblioteca de prueba unitaria para ws-bpel bpelunit, que incorpora un mecanismo de simulaci\u00f3n de servicios web (pues puede haber servicios no disponibles para pruebas). Los tres sistemas han sido adaptados para crear takuan, el \u00fanico generador din\u00e1mico de invariantes para ws-bpel hasta la fecha.  tras implementar takuan se realizaron pruebas para comprobar la utilidad de los invariantes que generaba. En ellas se observaron diversas mejoras espec\u00edficas de ws-bpel que permitir\u00edan optimizar su rendimiento. Tras implementarlas y evaluarlas, se obtuvo una mejora sustancial tanto en el tiempo de ejecuci\u00f3n de takuan como en la cantidad de invariantes que produce, descartando muchos invariantes no informativos y redundantes. Una vez estuvieron dichas mejoras implementadas se demostr\u00f3 la estabilidad de los invariantes generados por takuan, permitiendo asegurar su correcto funcionamiento con un conjunto soporte adecuado. Los resultados obtenidos permiten afirmar la validez de la generaci\u00f3n din\u00e1mica de invariantes para apoyar la prueba de caja blanca de composiciones ws-bpel.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Generaci\u00f3n din\u00e1mica de invariantes para composiciones de servicios web en ws-bpel<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Generaci\u00f3n din\u00e1mica de invariantes para composiciones de servicios web en ws-bpel <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Manuel Palomo Duarte <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 C\u00e1diz<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 29\/07\/2011<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Inmaculada Medina Bulo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan  julian Merelo guervos <\/li>\n<li>israel Herraiz tabernero (vocal)<\/li>\n<li>guadalupe Ortiz bellot (vocal)<\/li>\n<li>pablo Neira ayuso (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Manuel Palomo Duarte En los \u00faltimos a\u00f1os, las arquitecturas orientadas a servicios est\u00e1n cambiando la filosof\u00eda de [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1506,13880,15624],"tags":[127972,77552,148713,22180,220868,209111],"class_list":["post-110697","post","type-post","status-publish","format-standard","hentry","category-cadiz","category-informatica","category-software","tag-guadalupe-ortiz-bellot","tag-inmaculada-medina-bulo","tag-israel-herraiz-tabernero","tag-juan-julian-merelo-guervos","tag-manuel-palomo-duarte","tag-pablo-neira-ayuso"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/110697","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=110697"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/110697\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=110697"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=110697"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=110697"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}