2 research outputs found
Transformación de diagramas de comportamiento a modelos de concurrencia
Este Trabajo Fin de Grado explora el uso de transformaciones de modelos de máquinas de
estados a redes de Petri estocásticas generalizadas en el entorno de desarrollo de ingeniería
de rendimiento software, y detalla la creación de una implementación del estudio teórico
en una plataforma de desarrollo de software popular a través de ingeniería orientada a
modelos.
El estudio teórico se centrará en el tipo de modelos de concurrencia conocido como
redes de Petri. Este modelo permite describir los modelos de comportamiento de sistemas
comunes mediante diagramas abiertos a extracción de métricas y análisis, ampliando los
horizontes de diseño de autómatas de estados finitos, una de las representaciones de
comportamiento de sistemas más comúnmente utilizadas.
Dichas transformaciones pues, conservarán todas propiedades del diagrama de
modelado de la máquina de estados, añadiendo las ventajas del nuevo formalismo, así
como útiles adicionales como medidas temporales y de control de recursos.
La implementación buscará la maximización de la accesibilidad y agilidad de
descripción de los sistemas diseñados por el usuario y facilitándole acceso a plataformas de
análisis más completos sin requerir complejos diseños iniciales.
El desarrollo de la aplicación estará basado en herramientas de desarrollo de
software establecidas como el sistema de transformaciones de modelos ATL, desarrollada
por la compañía vendedora de herramientas de software francesa OBEO y el Instituto
Nacional francés de Investigación en Informática y Automática; el generador de código y
plantillas Acceleo, desarrollado por la Fundación Eclipse; así como herramientas para el
manejo de redes estocásticas de análisis como GreatSPN, desarrollada por la Universidad
de Turín.
Con estas herramientas estandarizadas, la aplicación marcará como objetivo ser lo
más modular posible y compatible con otras, permitiendo expansiones del proyecto o
acoplamiento a otros proyectos de mayor escala
From SysML State Machines to Petri Nets using ATL Transformations
The ATLAS Transformation Language (ATL) is a well-known hybrid model transformation language that allows both declarative and imperative constructs to be used in the definition of model transformations. In this paper, we present ATL transformations providing an integrated structural description of the source and target metamodels and the transformation between them. More specifically, the paper presents translation rules of Systems Modeling Language (SysML) state machines models into a class of non-autonomous Petri net models using ATL. The target formalism for the translation is the class of Input-Output Place Transition Nets (IOPT), which extends the well-known low-level Petri net class of Place/Transition Petri nets with input and output signals and events dependencies. Based on this Petri net class, a set of tools have been developed and integrated on a framework for the project of embedded systems using co-design techniques. The main goal is to benefit from the model-based attitude while allowing the integration of development flows based on SysML state machines with the ones based on Petri nets