{"id":87022,"date":"2018-03-10T00:11:43","date_gmt":"2018-03-10T00:11:43","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/evolucion-del-software-una-formalizacion-basada-en-logica-temporal-de-predicados-y-redes-de-petri-coloreadas\/"},"modified":"2018-03-10T00:11:43","modified_gmt":"2018-03-10T00:11:43","slug":"evolucion-del-software-una-formalizacion-basada-en-logica-temporal-de-predicados-y-redes-de-petri-coloreadas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/evolucion-del-software-una-formalizacion-basada-en-logica-temporal-de-predicados-y-redes-de-petri-coloreadas\/","title":{"rendered":"Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Rodriguez Fortiz M. Jose <\/strong><\/h2>\n<p>Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la l\u00f3gica temporal de predicados (ltp) para especificar la evoluci\u00f3n del software. La tesis se basa en los trabajos previos de jos\u00e9 parets, en la metodolog\u00eda medes y herramienta hedes desarrollados por \u00e9ste dentro de este campo.  se formalizan los cambios de estructura que un sistema puede sufrir a lo largo de toda su vida y que implican que pase qa comportarse de forma diferente. En este procesod e maduraci\u00f3n se debe velar por la conservaci\u00f3n de una serie de invariantes. Para verificrlos se asocian precondiciones a las acciones de cambio que se verifican consultando una historia funcional y una historia estructural que guardan la memoria sobre el funcionamiento y los cambios de estructura que un sistema puede sufrir respectivamente.  se describre la s\u00e9m\u00e1ntica de dos lenguajes basados en ltp. Con uno se especif\u00edcan las acciones y condiciones de realizaci\u00f3n asociadas a \u00e9stas. con el otro se especifican las acciones estructurales, los cambios, y las condiciones asociadas a \u00e9stas.  se han creado algoritmos para dotar a los lenguajes  basados en ltp de una sem\u00e1ntica operacional, aprovech\u00e1ndose por tanto de las ventajas de ambos formalismos. Las rdpc porporcionan mecanismos de an\u00e1lisis de propiedades de los sistemas que modelan y permiten una representaci\u00f3n gr\u00e1fica y opracional de \u00e9stos.  debido a la reflexividad inducida a ambos formalismos se ha probado que la gesti\u00f3n del funcionamiento de un sistema y la ggesti\u00f3n de su cambios de estructura se hacen de foram homog\u00e9nea y en ellos intervienen los mismos componentes.  todos los conceptos estudiados para la evoluci\u00f3n dentro de este trabajo se han implementado y probado en la herramienta hedes.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Rodriguez Fortiz M. Jose <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Granada<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 23\/10\/2000<\/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>Jos\u00e9 Parets Llorca<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: isidro Ramos salvart <\/li>\n<li>buenaventura Clares rodr\u00edguez (vocal)<\/li>\n<li>Miguel Torno bonilla (vocal)<\/li>\n<li>Rafael Molina sorinano (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la l\u00f3gica [&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,3747,3748,24723,126,15624],"tags":[35611,182342,22248,182343,182344,182341],"class_list":["post-87022","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-logica","category-logica-deductiva","category-logica-modal","category-matematicas","category-software","tag-buenaventura-clares-rodriguez","tag-isidro-ramos-salvart","tag-jose-parets-llorca","tag-miguel-torno-bonilla","tag-rafael-molina-sorinano","tag-rodriguez-fortiz-m-jose"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/87022","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=87022"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/87022\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=87022"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=87022"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=87022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}