Abstract

GONZALEZ, Ariel et al. Towards an automatic model transformation mechanism from UML state machines to DEVS models. CLEIej [online]. 2015, vol.18, n.2, pp.4-4. ISSN 0717-5000.

El desarrollo de complejos sistemas guiados por modelos requiere de estudios y análisis previos a la implementación, con el objetivo de detectar comportamientos no deseados. UML es un lenguaje ampliamente usado por la comunidad de ingeniería de software para modelar estos sistemas a través de las máquinas de estados, entre otros mecanismos. En la actualidad, estos modelos no disponen de adecuadas herramientas de simulación y ejecución para analizar el comportamiento real de los sistemas. Las herramientas existentes no proveen librerías apropiadas (para el muestreo de distribuciones de probabilidad, ploteo, etc.) para construir y analizar modelos. El modelado y la simulación para el diseño y prototipado de sistemas son técnicas ampliamente usadas para predecir, investigar y comparar la performance de los sistemas. En particular, el formalismo Especificación de Sistemas de Eventos Discretos (Discrete Event System Specification - DEVS) separa el modelado de la simulación. Existen varias herramientas disponibles en el mercado que ejecutan y recopilan información de modelos DEVS. Este artículo propone un mecanismo de transformación de modelos de máquinas de estados UML a modelos DEVS en el contexto del desarrollo dirigido por modelos (Model-Driven Development - MDD) mediante el lenguaje declarativo QVT-Relations, a fin de realizar simulaciones utilizando herramientas tales como PowerDevs. Asimismo, se describe una propuesta para validar la transformación desarrollada. Finalmente, se presentan dos ejemplos de aplicación. El primero analiza el comportamiento de un cajero automático de un banco y el segundo analiza un sistema de control de ascensores.

Keywords : Máquinas de Estados; DEVS; UML; MDA; QVT Relations.

        · abstract in English     · text in English     · English ( pdf )