BlueState: un entorno para el aprendizaje de máquinas de estados de UML

El modelo de máquinas de estados es el más complejo de los que integran el lenguaje UML, base actual de la docencia en la mayoría de las asignaturas de Ingeniería del Software. La complejidad (y la consiguiente dificultad de aprendizaje) del modelo viene dada tanto por el elevado número de componentes que lo integran como por el nivel de abstracción propio del modelo. Para solventar estas dificultades se ha desarrollado BlueState, una herramienta que permite al alumno ejecutar una simulación de la ejecución de cualquier máquina de estados, acompañada de un seguimiento gráfico. BlueState también aporta un módulo de generación de código, que permite al alumno aprender a implementar el comportamiento de un sistema empleando una metodología dirigida por modelos.SUMMARY: The state machine model is the most complex in the UML language, that is the current basis for teaching most of the Software Engineering subjects. The complexity (and subsequent learning difficulty) of the model is due both to the elevated number of components that integrate it, and to the abstraction level of the model. To solve these difficulties, we have developed BlueState, a tool that allows the student to simulate and visually monitor the execution of any state machine. BlueState also includes a code generation module that lets the student learn the implementation of the behaviour of a system using a model-driven methodology.Peer Reviewe

Automatic code generation from UML diagrams: the state-of-the-art

The emergence of the Unified Modeling Language (UML) as the de-facto standard for modeling software systems has encouraged the development of automated software tools that facilitate automatic code generation. UML diagrams are used to diagrammatically model and specify the static structure as well as the dynamic behavior of object-oriented systems and the software tools then go ahead and automatically produce code from the given diagrams. In the last two decades substantial work has been done in this area of automatic code generation. This paper is aimed at identifying and classifying this work pertaining to automatic code generation from UML diagrams, restricting the search neither to a specific context nor to a particular programming language. A Systematic literature review (SLR) using the keywords “automatic code generation”, “MDE”, “code generation” and “UML” is used to identify 40 research papers published during the years 2000–2016 which are broadly classified into three groups: Approaches, Frameworks and Tools. For each paper, an analysis is made of the achievements and the gaps, the UML diagrams used the programming languages and the platform. This analysis helps to answer the main questions that the paper addresses including what techniques or implementation methods have been used for automatic code generation from UML Diagrams, what are the achievements and gaps in the field of automatic code generation from UML diagrams, which UML diagram is most used for automatic code generation from UML diagrams, which programming language source code is mostly automatically generated from the design models and which is the most used target platform? The answers provided in this paper will assist researchers, practitioners and developers to know the current state-of-the-art in automatic code generation from UML diagrams.Keywords: Automatic Code Generation (ACG); Unified Modeling Language (UML); Model Driven Engineering (MDE

Interpretation Problems in Code Generation from UML State Machines -a Comparative Study

Abstract. A practical utilisation of a model-driven approach to an information system development is hampered by inconsistencies causing interpretation problems. This paper focuses on the state machine that is a common means for modelling behaviour. A transformation of classes with their state machines into a code assists in the efficient development of reliable applications. A set of interpretation problems of state machines was revisited in accordance with the UML specification and examined on model examples transformed to an executable code. The paper compares the implementation of the problems regarding to two tools that support the transformation and takes into account the most comprehensive set of the UML behavioural state machine concepts. The tools are the IBM Rational Rhapsody, which transforms state machines to C, C++, Java, Ada and the Framework for eXecutable UML (FXU) dealing with the C# code. The basic information about the FXU tool is also given