Well-founded metamodeling for model-driven architecture

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. © Springer-Verlag Berlin Heidelberg 2005.