{"id":16388,"date":"2002-12-04T00:00:00","date_gmt":"2002-12-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-propuesta-de-formalizacion-de-la-arquitectura-en-cuatro-capas-de-uml\/"},"modified":"2002-12-04T00:00:00","modified_gmt":"2002-12-04T00:00:00","slug":"una-propuesta-de-formalizacion-de-la-arquitectura-en-cuatro-capas-de-uml","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/una-propuesta-de-formalizacion-de-la-arquitectura-en-cuatro-capas-de-uml\/","title":{"rendered":"Una propuesta de formalizaci\u00f3n de la arquitectura en cuatro capas de uml"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Luis Fern\u00e1ndez Alem\u00e1n <\/strong><\/h2>\n<p>Se presenta una propuesta de formalizaci\u00f3n de la arquitectura en cuatro capas de uml, destinada a representar, animar, validar, verificar y transformar formalmente modelos de sistemas de informaci\u00f3n construidos haciendo uso del lenguaje uml (univied modeling language). El enfoque elegido ofrece un marco te\u00f3rico para uml sin soluci\u00f3n de continuidad, integral y evolutivo, obtenido como resultado de analizar tres posibles estrategias para formalizar un lenguaje de modelado.  tanto los aspectos de la sintaxis como la de la sem\u00e1ntica de un subconjunto del diagrama de clases y del diagrama de estados de uml son descritos en un contexto algebraico, ofreciendo al usuario la posibilidad de establecer razonamientos y generar autom\u00e1ticamente prototipos de los mdoelos dise\u00f1ados. algunas propiedades de la sem\u00e1ntica est\u00e1tica y de la sem\u00e1ntica din\u00e1mica de uml, comola ortogonalidad de un diagrama de estados y la violaci\u00f3n de la multiplicidad de un extremo de asociaci\u00f3n, ilustran la verificaci\u00f3n de propiedades en los modelos obtenidos. Asimismo, se explotan dos de las aplicaciones que mejor se adaptan a la estrategia y al lenguaje elegidos: la transformaci\u00f3n de diagramas, ilustrada a trav\u00e9s de la deduci\u00f3n de asociaciones derivadas en un diagrama de clases, y la extensi\u00f3n del propio lenguaje uml en tiempo de modelado.  maude, un lenguaje formal basado en l\u00f3gica ecuacional y l\u00f3gica de reescritura, ha sido adoptado para llevar a cabo los objetivos marcados. La reflexi\u00f3n, una propiedad demostrada en la l\u00f3gica de reescritura e implementada eficientemente en el int\u00e9rprete de maude, juega un papel fundamental para que la evoluci\u00f3n est\u00e9 presente en las cuatro capas de la arquitectura de uml consideradas bajo el marco formal.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una propuesta de formalizaci\u00f3n de la arquitectura en cuatro capas de uml<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una propuesta de formalizaci\u00f3n de la arquitectura en cuatro capas de uml <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Luis Fern\u00e1ndez Alem\u00e1n <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Murcia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/04\/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> Toval \u00e1lvarez Jos\u00e9 Ambrosio<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: isidro Ramos salavert <\/li>\n<li>Ana Mar\u00eda Dinis moreira (vocal)<\/li>\n<li>pere Botella l\u00f3pez (vocal)<\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Luis Fern\u00e1ndez Alem\u00e1n Se presenta una propuesta de formalizaci\u00f3n de la arquitectura en cuatro capas de [&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,18534,3747,3748,13456,126,8235],"tags":[51830,17055,51828,16231,15853,51829],"class_list":["post-16388","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-lenguajes-formales","category-logica","category-logica-deductiva","category-logica-formal","category-matematicas","category-murcia","tag-ana-maria-dinis-moreira","tag-isidro-ramos-salavert","tag-jose-luis-fernandez-aleman","tag-juan-jose-moreno-navarro","tag-pere-botella-lopez","tag-toval-alvarez-jose-ambrosio"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/16388","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=16388"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/16388\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=16388"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=16388"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=16388"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}