{"id":92215,"date":"2018-03-11T10:11:11","date_gmt":"2018-03-11T10:11:11","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/coordinacion-de-servicios-web-de-las-aplicaciones-a-los-modelos-formales\/"},"modified":"2018-03-11T10:11:11","modified_gmt":"2018-03-11T10:11:11","slug":"coordinacion-de-servicios-web-de-las-aplicaciones-a-los-modelos-formales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/inteligencia-artificial\/coordinacion-de-servicios-web-de-las-aplicaciones-a-los-modelos-formales\/","title":{"rendered":"Coordinaci\u00f3n de servicios web: de las aplicaciones a los modelos formales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Eloy Javier Mata Sot\u00e9s <\/strong><\/h2>\n<p>El objetivo de la tesis ha sido la aplicaci\u00f3n de m\u00e9todos formales en ingenier\u00eda del software con el fin de incrementar la fiabilidad de sistemas de software reales. En particular, se ha analizado un servicio de coordinaci\u00f3n web que forma parte de varias aplicaciones distribuidas, actualmente en explotaci\u00f3n, en el contexto de los servicios basados en la localizaci\u00f3n. El servicio de coordinaci\u00f3n est\u00e1 construido sobre \/javaspaces\/ (un implementaci\u00f3n del modelo de coordinaci\u00f3n linda) y proporciona servicios para comunicar y sincronizar aplicaciones heterog\u00e9neas distribuidas en internet. Partiendo del sistema real, se ha obtenido un modelo formal con el fin de estudiar sus propiedades y se ha demostrado que el proceso de correspondencia implementado en el servicio respeta la sem\u00e1ntica de linda, adem\u00e1s de posibilitar otros emparejamientos m\u00e1s complejos. Despu\u00e9s se ha extendido el modelo linda definiendo nuevas operaciones que involucran a varias tuplas y que lo dotan de capacidades transaccionales. Finalmente se ha realizado un an\u00e1lisis \u00absemi-formal\u00bb de un algoritmo basado en rete para lo operaci\u00f3n de lectura m\u00faltiple.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Coordinaci\u00f3n de servicios web: de las aplicaciones a los modelos formales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Coordinaci\u00f3n de servicios web: de las aplicaciones a los modelos formales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Eloy Javier Mata Sot\u00e9s <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Rioja<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 13\/03\/2009<\/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>Julio Jes\u00fas Rubio Garc\u00eda<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: eladio Dom\u00ednguez murillo <\/li>\n<li>Jos\u00e9 Antonio Alonso jimenez (vocal)<\/li>\n<li>Jos\u00e9 Luis Freire nistal (vocal)<\/li>\n<li>pedro Rafael Muro medrano (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Eloy Javier Mata Sot\u00e9s El objetivo de la tesis ha sido la aplicaci\u00f3n de m\u00e9todos formales en [&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":[4149,13880,2528,18890],"tags":[10833,190833,10822,135615,10901,152667],"class_list":["post-92215","post","type-post","status-publish","format-standard","hentry","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-inteligencia-artificial","category-rioja","tag-eladio-dominguez-murillo","tag-eloy-javier-mata-sotes","tag-jose-antonio-alonso-jimenez","tag-jose-luis-freire-nistal","tag-julio-jesus-rubio-garcia","tag-pedro-rafael-muro-medrano"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/92215","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=92215"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/92215\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=92215"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=92215"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=92215"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}