Resumen de On the semantics of real-time domain specific modeling languages
TÍTULO 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ífico de dominio. Se identifican dos vistas en esta definición: estructura y comportamiento, y se propone especificarlas como modelos independientes de cualquier dominio semántico. 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ón de modelos in situ con un modelo de tiempo y un mecanismo para establecer propiedades sobre acciones. La solución propuesta evita la modificación 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án relacionados con el comportamiento del lenguaje). Además, la herramienta e-Motions permite usar la sintaxis concreta gráfica 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ática obtener sus correspondientes especificaciones en lógica de reescritura en Maude, para así proveer a nuestro lenguaje con semántica, y poder hacer uso de las herramientas de simulación y análisis que Maude provee. Estas correspondencias semánticas también nos han permitido desarrollar en Maude un conjunto interesante de operaciones de gestión de modelos, tales como la diferencia y el subtipado de modelos.
