On the semantics of real-time domain specific modeling languages
José E. Rivera · Dialnet (Universidad de la Rioja) · 2010
TITULO 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 especifico de dominio. Se identifican dos vistas en esta definicion: estructura y comportamiento, y se propone especificarlas como modelos independientes de cualquier dominio semantico. 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 transformacion de modelos in situ con un modelo de tiempo y un mecanismo para establecer propiedades sobre acciones. La solucion propuesta evita la modificacion de forma no natural de los metamodelos de los DSMLs (que definen la estructura del lenguaje) para incluir propiedades sobre acciones y tiempo (que estan relacionados con el comportamiento del lenguaje). Ademas, la herramienta e-Motions permite usar la sintaxis concreta grafica 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 automatica obtener sus correspondientes especificaciones en logica de reescritura en Maude, para asi proveer a nuestro lenguaje con semantica, y poder hacer uso de las herramientas de simulacion y analisis que Maude provee. Estas correspondencias semanticas tambien nos han permitido desarrollar en Maude un conjunto interesante de operaciones de gestion de modelos, tales como la diferencia y el subtipado de modelos.