Well-Founded Metamodeling for Model-Driven Architecture | SpringerLink
Skip to main content
Springer Nature Link
Log in

Well-Founded Metamodeling for Model-Driven Architecture

  • Conference paper
SOFSEM 2005: Theory and Practice of Computer Science (SOFSEM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3381))

Abstract

The Model-Driven Architecture (MDA) is emerging as a technical framework to improve productivity, portability, interoperability , and evolution. Metamodeling plays a key role in MDA. A combination of formal specification techniques and metamodeling can help us to address Model-Driven developments. In this paper we describe a conceptual framework for MDA-based metamodeling that integrates UML/OCL and formal specifications. We present the specification language NEREUS for specifying UML metamodels. NEREUS can be viewed as an intermediate notation open to many other formal languages. A transformational system to translate UML/OCL to NEREUS was defined. We investigate the way to define metamodel mappings using UML/OCL and NEREUS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Akehurst, D., Kent, S.: A relational approach to defining transformations in a metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 243–258. Springer, Heidelberg (2002)

    Google Scholar 

  2. Bézivin, J., Farcet, N., Jézéquel, J., Langlois, B., Pollet, D.: Reflective Model Driven Engineering. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 175–189. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Bidoit, M., Mosses, P.: CASL User Manual- Introduction to Using the Common Algebraic Specification Language. LNCS, vol. 2900. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  4. Caplat, G., Sourrouille, J.: Model Mapping in MDA. In: Bezivin, J., France, R. (eds.) Proc. UML 2002 Workshop in Software Model Engineering (WiSME 2002) (2002), http://www.metamodel.com/wisme-2002

  5. Favre, L.: A Formal Mapping between UML Static Models and Algebraic Specifications. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Practical UML-Based Rigorous Development Methods-Countering or Integrating the eXtremist, SEW, GI Edition, Alemania. Lecture Notes in Informatics (P 7), pp. 113–127 (2001)

    Google Scholar 

  6. Favre, L.: Foundations for MDA-based Forward Engineering. Journal of Object Technology (JOT). ETH Zurich (January/February 2005) (to appear)

    Google Scholar 

  7. Haussmann, J.: Relations-Relating metamodels. In: Evans, A., Sammut, P., Williams, J. (eds.) Proc. Metamodeling for MDA. First International Workshop, York, UK, pp. 147–161 (2003)

    Google Scholar 

  8. MDA. The Model Driven Architecture: Object Management Group (2004), http://www.omg.org/mda

  9. OCL Specification. Versión 2.0.: Documento ptc/03-03-14 (2004), http://www.omg.org

  10. OMG. Unified Modeling Language Specification, v1.5: Object Management Group (2004), http://cgi.omg.org/cgi-bin/doc?ad/01-02-14

  11. UML Tools (2004), http://www.objectsbydesign.com/tools/

Download references

Author information

Authors and Affiliations

  1. Comisión de Investigaciones, Científicas de la Provincia de Buenos Aires, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina

    Liliana Favre

Authors
  1. Liliana Favre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Charles University, Prague, Czech Republic

    Peter Vojtáš

  2. Institute of Informatics and Software Engineering Faculty of Informatics and Information technologies, Slovak University of Technology, Ilkovičova 3, 842 16, Bratislava,  

    Mária Bieliková

  3. STIX, École Polytechnique, 91128, Palaiseau Cedex, France

    Bernadette Charron-Bost

  4. Department of Computer Science, University of Loughborough, Loughborough, UK

    Ondrej Sýkora

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Favre, L. (2005). Well-Founded Metamodeling for Model-Driven Architecture. In: Vojtáš, P., Bieliková, M., Charron-Bost, B., Sýkora, O. (eds) SOFSEM 2005: Theory and Practice of Computer Science. SOFSEM 2005. Lecture Notes in Computer Science, vol 3381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30577-4_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30577-4_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24302-1

  • Online ISBN: 978-3-540-30577-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics