Advertisement

Automatic Ada Code Generation Using a Model-Driven Engineering Approach

  • Diego Alonso
  • Cristina Vicente-Chicote
  • Pedro Sánchez
  • Bárbara Álvarez
  • Fernando Losilla
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4498)

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 statemachines, 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.

Keywords

Object Constraint Language Object Management Group Eclipse Modelling Framework Model Drive Architecture Object Constraint Language Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Model Driven Architecture Guide Version v1.0.1, omg/2003-06- 01. Object Management Group (OMG) (2003), Available online: http://www.omg.org/docs/omg/03-06-01.pdf
  2. Meta-Object Facility (MOF) Specification v2.0, ptc/04-10-15. Object Management Group (OMG) (2004), Available online: http://www.omg.org/technology/documents/modeling_speccatalog.htm#MOF
  3. Meta-Object Facility (MOF) v2.0 Query/View/Transformation Specification, ptc/05-11-01. Object Management Group (OMG) (2005), Available online: http://www.omg.org/technology/documents/modeling_speccatalog.htm#QVT
  4. Object Constraint Language (OCL) Specification v2.0, formal/06-05- 01. Object Management Group (OMG) (2006), Available online: http://www.omg.org/technology/documents/modeling_speccatalog.htm#OCL
  5. Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. In: IEEE Computer, vol. 39(2), IEEE Computer Society Press, Los Alamitos (2006), doi:10.1109/MC.2006.54Google Scholar
  6. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Eclipse series. Addison-Wesley Professional, Reading (2003)Google Scholar
  7. Bézivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171–188 (2005), doi:10.1007/s10270-005-0079-0CrossRefGoogle Scholar
  8. Chauvel, F., Jézéquel, J.M.: Code Generation from UML Models with Semantic Variation Points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 54–68. Springer, Heidelberg (2005), doi:10.1007/11557432_5CrossRefGoogle Scholar
  9. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, Reading (1995)Google Scholar
  10. Greenfield, J., Short, K., Cook, S., Kent, S., Crupi, J.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, 1st edn. Wiley, Chichester (2004)Google Scholar
  11. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. In: ACM Trans. Softw. Eng. Methodol., vol. 5(4), ACM Press, New York (1996), doi:10.1145/235321.235322Google Scholar
  12. Kent, S.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286–298. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), IEEE Computer Society (2006), doi:10.1109/MC.2006.58Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Diego Alonso
    • 1
  • Cristina Vicente-Chicote
    • 1
  • Pedro Sánchez
    • 1
  • Bárbara Álvarez
    • 1
  • Fernando Losilla
    • 1
  1. 1.División de Sistemas e Ingeniería Electrónica (DSIE), Universidad Politécnica de Cartagena, Campus Muralla del Mar, E-30202Spain

Personalised recommendations