{"id":24372,"date":"2003-04-07T00:00:00","date_gmt":"2003-04-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/descripcion-e-implementacion-de-tppal-un-algebra-q-de-procesos-temporizados-y-probabila%c2%adsticos\/"},"modified":"2003-04-07T00:00:00","modified_gmt":"2003-04-07T00:00:00","slug":"descripcion-e-implementacion-de-tppal-un-algebra-q-de-procesos-temporizados-y-probabila%c2%adsticos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/castilla-la-mancha\/descripcion-e-implementacion-de-tppal-un-algebra-q-de-procesos-temporizados-y-probabila%c2%adsticos\/","title":{"rendered":"Descripci\u00f3n e implementaci\u00f3n de tppal: un algebra q de procesos temporizados y probabil\u00edsticos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Juan  Jose Pardo Mateo <\/strong><\/h2>\n<p>Tradicionalmente, los dise\u00f1adores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno de los formalismos para ser utilizado y se centraban en \u00e9se, descartando el resto de modelos. Con esto se estaban descartando las ventajas que los otros modelos podr\u00edan aportar a su trabajo.  ante esta situaci\u00f3n, parece interesante el tener una relaci\u00f3n definida entre los diferentes modelos, de modo que una vez realizaba una especificaci\u00f3n en uno de ellos, concretamente en un modelo algebraico, \u00e9sta puede ser transformada a otro de los modelos, dependiendo de las necesidades del momento, y de las facilidades que cada uno de los modelos proporcione para el estudio de unas determinadas propiedades.  con esta idea en la cabeza, se inicio el trabajo que ha culminado en esta tesis, en la cual, en primer lugar se presenta el modelo algebraico base definido, el cual es un modelo temporizado. Este modelo est\u00e1 basado en lotos, a\u00f1adiendo algunos operadores temporizados, que permitiesen la especificaci\u00f3n de los sistemas cuyo comportamiento est\u00e9 muy ligado a restricciones temporales como son los sistemas de tiempo real. Con este nuevo modelo se intent\u00f3 recoger las mejores caracter\u00edsticas de algunos de los modelos se intent\u00f3 recoger las mejores caracter\u00edsticas de algunos de los modelos existentes en un \u00fanico modelo.  tras definir el modelo algebraico base, el primer modelo al que se traduce este \u00e1lgebra, fue el modelo de grafos de estados din\u00e1micos. Este modelo est\u00e1 basado en los aut\u00f3matas temporizados definidos por alur y dill, aunque posee algunas diferencias con respecto a los aut\u00f3matas entre las que podemos destacar, el uso de los relojes, que en nuestro caso no ser\u00e1n inicializados a 0 por ninguna transici\u00f3n, sino que \u00e9stos son sincronizados con el instante de tiempo del instante en que se ejecuta la acci\u00f3n. ello nos permite conocer de una forma inmediata el tiempo consumido por cada componente de la especificaci\u00f3<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Descripci\u00f3n e implementaci\u00f3n de tppal: un algebra q de procesos temporizados y probabil\u00edsticos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Descripci\u00f3n e implementaci\u00f3n de tppal: un algebra q de procesos temporizados y probabil\u00edsticos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Juan  Jose Pardo Mateo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 04\/07\/2003<\/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>Valent\u00edn Valero Ruiz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Quiles flor Francisco jos\u00e9 <\/li>\n<li> Oliver villarroya Francisco Javier (vocal)<\/li>\n<li>diego Cazorla l\u00f3pez (vocal)<\/li>\n<li>Javier Campos laclaustra (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Juan Jose Pardo Mateo Tradicionalmente, los dise\u00f1adores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno [&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":[18451],"tags":[71646,39795,71644,71645,11901,54644],"class_list":["post-24372","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","tag-diego-cazorla-lopez","tag-javier-campos-laclaustra","tag-juan-jose-pardo-mateo","tag-oliver-villarroya-francisco-javier","tag-quiles-flor-francisco-jose","tag-valentin-valero-ruiz"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/24372","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=24372"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/24372\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=24372"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=24372"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=24372"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}