Well-Founded metamodeling for model-driven architecture

Authors:
Liliana Favre
Affiliations:
Comisión de Investigaciones, Científicas de la Provincia de Buenos Aires, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina
Venue:
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Year:
2005

Citing 3
Cited 0

A Relational Approach to Defining Transformations in a Metamodel

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Formal Mapping between UML Static Models and Algebraic Specifications

Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900)

Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl (Lecture Notes in Computer Science, 2900)

Quantified Score

Hi-index	0.01

Visualization

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.