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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Bidoit, M., Mosses, P.: CASL User Manual- Introduction to Using the Common Algebraic Specification Language. LNCS, vol. 2900. Springer, Heidelberg (2004)
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
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)
Favre, L.: Foundations for MDA-based Forward Engineering. Journal of Object Technology (JOT). ETH Zurich (January/February 2005) (to appear)
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)
MDA. The Model Driven Architecture: Object Management Group (2004), http://www.omg.org/mda
OCL Specification. Versión 2.0.: Documento ptc/03-03-14 (2004), http://www.omg.org
OMG. Unified Modeling Language Specification, v1.5: Object Management Group (2004), http://cgi.omg.org/cgi-bin/doc?ad/01-02-14
UML Tools (2004), http://www.objectsbydesign.com/tools/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)