{"id":104290,"date":"2018-03-11T10:27:12","date_gmt":"2018-03-11T10:27:12","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/on-the-semantics-of-real-time-domain-specific-modeling-languages\/"},"modified":"2018-03-11T10:27:12","modified_gmt":"2018-03-11T10:27:12","slug":"on-the-semantics-of-real-time-domain-specific-modeling-languages","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/geometria-diferencial\/on-the-semantics-of-real-time-domain-specific-modeling-languages\/","title":{"rendered":"On the semantics of real-time domain specific modeling languages"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Eduardo Rivera Cabaleiro <\/strong><\/h2>\n<p>T\u00edtulo de la tesis: on the semantics of real-time domain specific modeling languages resumen: en esta tesis se presenta una propuesta para definir formalmente los lenguajes de modelado espec\u00edfico de dominio. Se identifican dos vistas en esta definici\u00f3n: estructura y comportamiento, y se propone especificarlas como modelos independientes de cualquier dominio sem\u00e1ntico. El modelo de estructura se define con un metamodelo. Para definir el modelo de comportamiento, se ha desarrollado un lenguaje y herramienta, llamada e-motions, que extiende la transformaci\u00f3n de modelos in situ con un modelo de tiempo y un mecanismo para establecer propiedades sobre acciones. La soluci\u00f3n propuesta evita la modificaci\u00f3n de forma no natural de los metamodelos de los dsmls (que definen la estructura del lenguaje) para incluir propiedades sobre acciones y tiempo (que est\u00e1n relacionados con el comportamiento del lenguaje). Adem\u00e1s, la herramienta e-motions permite usar la sintaxis concreta gr\u00e1fica de los dsmls para definir su correspondiente comportamiento, haciendo bastante intuitiva esta tarea, y refererirse y razonar acerca de ejecuciones de acciones. Una vez definidos los modelos de estructura y comportamiento, se han desarrollado un conjunto de transformaciones de modelos que permiten de manera autom\u00e1tica obtener sus correspondientes especificaciones en l\u00f3gica de reescritura en maude, para as\u00ed proveer a nuestro lenguaje con sem\u00e1ntica, y poder hacer uso de las herramientas de simulaci\u00f3n y an\u00e1lisis que maude provee. Estas correspondencias sem\u00e1nticas tambi\u00e9n nos han permitido desarrollar en maude un conjunto interesante de operaciones de gesti\u00f3n de modelos, tales como la diferencia y el subtipado de modelos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>On the semantics of real-time domain specific modeling languages<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 On the semantics of real-time domain specific modeling languages <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Eduardo Rivera Cabaleiro <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 16\/10\/2010<\/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>peter Csba olveczky (vocal)<\/li>\n<li>Jes\u00fas joaquin Garcia molina (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 Jos\u00e9 Eduardo Rivera Cabaleiro T\u00edtulo de la tesis: on the semantics of real-time domain specific modeling languages [&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":[128,7834],"tags":[38696,53554,210849,4814,137423,210850],"class_list":["post-104290","post","type-post","status-publish","format-standard","hentry","category-geometria-diferencial","category-malaga","tag-antonio-vallecillo-moreno","tag-jesus-joaquin-garcia-molina","tag-jose-eduardo-rivera-cabaleiro","tag-jose-maria-troya-linero","tag-juan-de-lara-jaramillo","tag-peter-csba-olveczky"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/104290","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=104290"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/104290\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=104290"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=104290"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=104290"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}