Automatic Ada code generation using a model-driven engineering approach

Authors:
Diego Alonso;Cristina Vicente-Chicote;Pedro Sánchez;Bárbara Álvarez;Fernando Losilla
Affiliations:
Universidad Politécnica de Cartagena, Spain;Universidad Politécnica de Cartagena, Spain;Universidad Politécnica de Cartagena, Spain;Universidad Politécnica de Cartagena, Spain;Universidad Politécnica de Cartagena, Spain
Venue:
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Year:
2007

Citing 8
Cited 2

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Driven Engineering

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Eclipse Modeling Framework

Eclipse Modeling Framework
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Guest Editor's Introduction: Model-Driven Engineering

Computer
Developing Applications Using Model-Driven Design Environments

Computer
Code generation from UML models with semantic variation points

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

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
Implementing Reactive Systems with UML State Machines and Ada 2005

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-machines will be used to demonstrate the benefits of this approach. After defining a modelling language (meta-model) for state-machines, a graphical tool will be presented which is aimed at easing the description and validation of state-machine models. These models will then be used as inputs for another tool which will automatically generate the corresponding Ada code, including a simulation program to test the correctness and performance of the implemented application.