{"id":62251,"date":"2018-03-09T22:50:10","date_gmt":"2018-03-09T22:50:10","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/a-formal-framework-for-model-management\/"},"modified":"2018-03-09T22:50:10","modified_gmt":"2018-03-09T22:50:10","slug":"a-formal-framework-for-model-management","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/diseno-y-componentes-de-sistemas-de-informacion\/a-formal-framework-for-model-management\/","title":{"rendered":"A formal framework for model management"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Artur Boronat Moll <\/strong><\/h2>\n<p>El desarrollo de software dirigido por modelos es una rama de la ingenier\u00eda del software en la que los artefactos software se representan como modelos para incrementar la productividad, calidady eficiencia econ\u00f3mica en el proceso de desarrollo de software, donde un modelo proporciona una representaci\u00f3n abstracta del c\u00f3digo final de una aplicaci\u00f3n. En este campo, la iniciativa model-driven architecture (mda), patrocinada por la omg, est\u00e1 constituida por una familia de est\u00e1ndares industriales, entre los que se destacan: meta-object facility (mof), unified modeling language (uml), object constraint language (ocl), xml metadata interchange (xmi), y query\/views\/transformations (qvt). Estos est\u00e1ndares proporcionan unas directrices comunes para herramientas basadas en modelos y para procesos de desarrollo de software dirigidos por modelos. su objetivo consiste en mejorar la interoperabilidad entre marcos de trabajo ejecutables, en automatizar el proceso desarrollo de software de software y en proporcionar t\u00e9cnicas que eviten errores durante ese proceso. el est\u00e1ndar mof describe un marco de trabajo gen\u00e9rico que permite definir la sintaxis abstracta de lenguajes de modelado. Este est\u00e1ndar persigue la definici\u00f3n de los conceptos b\u00e1sicos que son utilizados en procesos de desarrollo de software dirigidos por modelos: que es un modelo, que es un metamodelo, qu\u00e9 es reflexi\u00f3n en un marco de trabajo basado en mof, etc. Sin embargo, la mayor\u00eda de estos conceptos carecen de una sem\u00e1ntica formal en la versi\u00f3n actual del est\u00e1ndar mof. Adem\u00e1s, ocl se utiliza como un lenguage de definici\u00f3n de restricciones que permite a\u00f1adir sem\u00e1ntica a un metamodelo mof. Desafortunadamente, la relaci\u00f3n entre un metamodelo y sus restricciones ocl tambi\u00e9n carece de una sem\u00e1ntica formal. Este hecho es debido, en parte, a que los metamodelos solo pueden ser definidos como dato en un marco de trabajo basado en mof. el est\u00e1ndar mof tambi\u00e9n proporciona las llamadas facili<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>A formal framework for model management<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 A formal framework for model management <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Artur Boronat Moll <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 21\/12\/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>Jose Meseguer Guaita<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Toval alvarez Jos\u00e9 ambrosio <\/li>\n<li>Antonio Vallecillo moreno (vocal)<\/li>\n<li>reiko Heckel (vocal)<\/li>\n<li>Juan De lara jaramillo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Artur Boronat Moll El desarrollo de software dirigido por modelos es una rama de la ingenier\u00eda del [&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,4149,6474,16820],"tags":[38696,137474,66540,137423,137475,51829],"class_list":["post-62251","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","category-diseno-y-componentes-de-sistemas-de-informacion","category-lenguajes-de-programacion","category-politecnica-de-valencia","tag-antonio-vallecillo-moreno","tag-artur-boronat-moll","tag-jose-meseguer-guaita","tag-juan-de-lara-jaramillo","tag-reiko-heckel","tag-toval-alvarez-jose-ambrosio"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/62251","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=62251"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/62251\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=62251"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=62251"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=62251"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}