{"id":15559,"date":"2018-03-09T09:02:46","date_gmt":"2018-03-09T09:02:46","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-de-sistemas-reactivos-distribuidos-utilizando-estelle-sa%c2%adncrono\/"},"modified":"2018-03-09T09:02:46","modified_gmt":"2018-03-09T09:02:46","slug":"especificacion-de-sistemas-reactivos-distribuidos-utilizando-estelle-sa%c2%adncrono","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/especificacion-de-sistemas-reactivos-distribuidos-utilizando-estelle-sa%c2%adncrono\/","title":{"rendered":"Especificaci\u00f3n de sistemas reactivos distribuidos utilizando estelle s\u00edncrono"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Miguel Riesco Albizu <\/strong><\/h2>\n<p>La popularizaci\u00f3n de los sistemas distribuidos ha influido en el desarrollo de todo tipo de sistemas. En esta tesis se analiza su influencia en el desarrollo de sistemas reactivos, llegando a la conclusi\u00f3n de que las t\u00e9cnicas utilizadas en la actualidad no son adecuadas para el desarrollo de sistemas reactivos distribuidos.  ante este resultado se propone una t\u00e9cnica nueva, basada en aut\u00f3matas jer\u00e1rquicos y paralelos, donde se a\u00fanan las paradigmas s\u00edncronos y as\u00edncronos para desarrollar este tipo de sistemas.  para demostrar la validez de la propuesta se ha implementado un conjunto de herramientas para realizar la especificaci\u00f3n de sistemas reactivos distribuidos utilizando la t\u00e9cnica dise\u00f1ada y se ha desarrollado la soluci\u00f3n a un problema complejo, como es el conocido como el problema de la caldera de vapor, utilizando estas herramientas.  adem\u00e1s, dada la importancia de la velocidad de respuesta del sistema, se ha estudiado la forma de mejorarla, transformando el aut\u00f3mata jer\u00e1rquico original en un aut\u00f3mata tradicional, mucho m\u00e1s r\u00e1pido de ejecutar. Se ha implementado una herramienta que lleva a cabo esta traducci\u00f3n y se ha llevado a cabo un estudio emp\u00edrico comparativo de la evoluci\u00f3n de mejora del tiempo de ejecucci\u00f3n y de la ocupaci\u00f3n de la especificaci\u00f3n equivalente, con el fin de estudiar cu\u00e1ndo puede ser \u00fatil realizar la traducci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificaci\u00f3n de sistemas reactivos distribuidos utilizando estelle s\u00edncrono<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificaci\u00f3n de sistemas reactivos distribuidos utilizando estelle s\u00edncrono <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Miguel Riesco Albizu <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 13\/02\/2002<\/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> Tuya Gonz\u00e1lez Pablo Javier<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Antonio Lopez brugos <\/li>\n<li>Miguel Toro bonilla (vocal)<\/li>\n<li>joan Vinyes i sanz (vocal)<\/li>\n<li>Antonio De amescua seco (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Miguel Riesco Albizu La popularizaci\u00f3n de los sistemas distribuidos ha influido en el desarrollo de todo tipo [&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":[1890,4149,13880,126,8846],"tags":[49579,16619,49578,49577,14675,25606],"class_list":["post-15559","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-matematicas","category-oviedo","tag-antonio-de-amescua-seco","tag-joan-vinyes-i-sanz","tag-jose-antonio-lopez-brugos","tag-miguel-riesco-albizu","tag-miguel-toro-bonilla","tag-tuya-gonzalez-pablo-javier"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15559","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=15559"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15559\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=15559"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=15559"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=15559"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}