{"id":81076,"date":"2018-03-10T00:04:53","date_gmt":"2018-03-10T00:04:53","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/oasis-como-marco-conceptual-para-la-evolucion-del-software\/"},"modified":"2018-03-10T00:04:53","modified_gmt":"2018-03-10T00:04:53","slug":"oasis-como-marco-conceptual-para-la-evolucion-del-software","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/oasis-como-marco-conceptual-para-la-evolucion-del-software\/","title":{"rendered":"Oasis como marco conceptual para la evoluci\u00f3n del software"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Angel Cars\u00ed Cubel <\/strong><\/h2>\n<p>En la tesis se aborda el problema de la modificaci\u00f3n de las aplicaciones cuando cambian los requerimientos de los sistemas de informaci\u00f3n. Partiendo del lenguaje de especificaci\u00f3n formal de sistemas orientado a objetos oasis, se ampl\u00eda dicho modelo de forma reflexiva introduciendo la noci\u00f3n de metaclases para dar cuenta de la futura evoluci\u00f3n de las aplicaciones desde dentro del propio modelo.  se detallan cada uno de los servicios necesarios para definir y modificar los sistemas de informaci\u00f3n haciendo uso del modelo de objetos de oases, localizando de forma precisa c\u00f3mo deben de evolucionar las aplicaciones cuando se hace uso de dichos servicios. La definici\u00f3n formal de las metaclases y de los servicios de evoluci\u00f3n se realiza utilizando un formalismo l\u00f3gico llamado \u00abtransaction-frame logic\u00bb.  finalmente se construye un prototipo de una herramienta case, que permite la definici\u00f3n, validaci\u00f3n por prototipaci\u00f3n autom\u00e1tica y evoluci\u00f3n de modelos de sistemas de informaci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Oasis como marco conceptual para la evoluci\u00f3n del software<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Oasis como marco conceptual para la evoluci\u00f3n del software <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Angel Cars\u00ed Cubel <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 29\/10\/1999<\/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>Jes\u00fas Hilario Can\u00f3s Cerd\u00e1<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: antoni Oliv\u00e9 ramon <\/li>\n<li>oscar D\u00edaz Garc\u00eda (vocal)<\/li>\n<li>matilde Celma jim\u00e9nez (vocal)<\/li>\n<li>Jos\u00e9 Parets llorca (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Angel Cars\u00ed Cubel En la tesis se aborda el problema de la modificaci\u00f3n de las aplicaciones [&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":[6314,1890,126,16820,15624],"tags":[13034,46108,173211,22248,173212,17056],"class_list":["post-81076","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-valencia","category-software","tag-antoni-olive-ramon","tag-jesus-hilario-canos-cerda","tag-jose-angel-carsi-cubel","tag-jose-parets-llorca","tag-matilde-celma-jimenez","tag-oscar-diaz-garcia"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81076","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=81076"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81076\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=81076"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=81076"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=81076"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}