Implementing Reactive Systems with UML State Machines and Ada 2005

Authors:
Sergio Sáez;Silvia Terrasa;Vicente Lorente;Alfons Crespo
Affiliations:
Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain 46022;Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain 46022;Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain 46022;Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain 46022
Venue:
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Year:
2009

Citing 6
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
On the development of reactive systems

Logics and models of concurrent systems
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Guest Editor's Introduction: Model-Driven Engineering

Computer
StateML +: From Graphical State Machine Models to Thread-Safe Ada Code

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Automatic Ada code generation using a model-driven engineering approach

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies

An integrated framework for multiprocessor, multimoded real-time applications

Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reactive systems are complex systems which behavior can be adequately modeled using the statechart formalism. The UML standard enriches this formalism with object-oriented concepts. However, manual transformation of these expressive models to object-oriented languages is an error-prone process. Model-Driven Engineering approach advocates for an automatic process to translate models into high-level programing languages. This work deals with the conversion of UML State Machines models into Ada 2005 code and the challenges that arise in this process.