{"id":60749,"date":"2007-03-10T00:00:00","date_gmt":"2007-03-10T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/formalizacion-y-representacion-de-especificaciones-computacionales\/"},"modified":"2007-03-10T00:00:00","modified_gmt":"2007-03-10T00:00:00","slug":"formalizacion-y-representacion-de-especificaciones-computacionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/inteligencia-artificial\/formalizacion-y-representacion-de-especificaciones-computacionales\/","title":{"rendered":"Formalizacion y representacion de especificaciones computacionales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Raul Romero Salguero <\/strong><\/h2>\n<p>Durante la \u00faltima d\u00e9cada hemos asistido a una revoluci\u00f3n en cuanto a la normalizaci\u00f3n internacional en aspectos relacionados con las tecnolog\u00edas de la informaci\u00f3n se refiere. Un ejemplo relevante es el caso de uml, que se ha convertido en el est\u00e1ndar m\u00e1s utilizado como lenguaje de modelado de sistemas. Otro importante est\u00e1ndar es rm-odp, cuya autor\u00eda corresponde a las organizaciones iso\/iec e itu-t, que plantearon a mediados de los 90 una serie de normas para el desarrollo de aplicaciones abiertas y distribuidas definiendo los conceptos, mecanismos y servicios apropiados. Este modelo de referencia proporciona una arquitectura basada en la separaci\u00f3n de conceptos mediante cinco puntos de vista diferenciados y la definici\u00f3n de lenguajes abstractos para cada uno de ellos. Adem\u00e1s, integra aquellos temas relacionados con la distribuci\u00f3n, interoperabilidad y portabilidad, as\u00ed como otros aspectos propios de estos sistemas: flexibilidad, calidad de servicio, modularidad, federaci\u00f3n, etc.  la difusi\u00f3n y aceptaci\u00f3n de los est\u00e1ndares requiere no s\u00f3lo tiempo, sino tambi\u00e9n la disponibilidad de soportes y herramientas que faciliten su uso. Por ello, este trabajo de tesis propone una serie de notaciones concretas para la formalizaci\u00f3n y representaci\u00f3n del punto de vista computacional de rm-odp, encargado de la especificaci\u00f3n funcional de los objetos computacionales, y de su interacci\u00f3n a trav\u00e9s de interfaces, de un sistema abierto y distribuido. Cada una de estas notaciones est\u00e1 orientada a un tipo espec\u00edfico de usuario interesado en rm-odp. Para ello, se propone maude como formalismo, debido a su expresividad, alto rendimiento y capacidad de ejecuci\u00f3n, y uml 2 como representaci\u00f3n gr\u00e1fica, menos formal pero ampliamente extendida entre los ingenieros software. Finalmente, para reducir distancias entre estas notaciones, el desarrollo de software dirigido por modelos permite definir transformaciones autom\u00e1ticas entre ambos mundos, de modo que ingenieros no expertos en formalismos tomen tambi\u00e9n provecho, a partir de sus modelos uml, de las capacidades de verificaci\u00f3n de propiedades, comprobaci\u00f3n de modelos y simulaci\u00f3n y ejecuci\u00f3n temprana que proporciona maude.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Formalizacion y representacion de especificaciones computacionales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Formalizacion y representacion de especificaciones computacionales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Raul Romero Salguero <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 03\/10\/2007<\/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>Antonio Vallecillo Moreno<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>mario Piattini velthuis (vocal)<\/li>\n<li>oscar D\u00edaz Garc\u00eda (vocal)<\/li>\n<li>Juan  Mar\u00eda Hernandez nu\u00f1ez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Raul Romero Salguero Durante la \u00faltima d\u00e9cada hemos asistido a una revoluci\u00f3n en cuanto a la [&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":[2528,7834],"tags":[38696,4814,134179,127973,16486,17056],"class_list":["post-60749","post","type-post","status-publish","format-standard","hentry","category-inteligencia-artificial","category-malaga","tag-antonio-vallecillo-moreno","tag-jose-maria-troya-linero","tag-jose-raul-romero-salguero","tag-juan-maria-hernandez-nunez","tag-mario-piattini-velthuis","tag-oscar-diaz-garcia"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60749","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=60749"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/60749\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=60749"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=60749"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=60749"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}