Scientific Papers
ISSI Research PapersPaper information
Title
Automatic model generation in model management
Automatic model generation in model management
Published in
7th International Conference on Information Technology. Springer LNCS. Hyderabad (India), December 20-23, 2004. - 2004
7th International Conference on Information Technology. Springer LNCS. Hyderabad (India), December 20-23, 2004. - 2004
Abstract
Model management aims at solving problems that stem from model representation and its manipulation by considering models as first-class citizens that are manipulated by means of generic operators. MOMENT is a prototype that supports generic model management using an algebraic approach within the four-layered metamodeling culture of MOF [1]. In this paper, we focus on the automatic generation of schemas that belong to different metamodels, using a term-rewriting system approach. We present the type system of the algebra that we use to represent models in the MOMENT prototype, and we describe our generic operator that automatically translates schemas between different metamodels: the operator generate. This algebra has been implemented using the functional language F#, which allows us to validate the correctness of our approach.
Model management aims at solving problems that stem from model representation and its manipulation by considering models as first-class citizens that are manipulated by means of generic operators. MOMENT is a prototype that supports generic model management using an algebraic approach within the four-layered metamodeling culture of MOF [1]. In this paper, we focus on the automatic generation of schemas that belong to different metamodels, using a term-rewriting system approach. We present the type system of the algebra that we use to represent models in the MOMENT prototype, and we describe our generic operator that automatically translates schemas between different metamodels: the operator generate. This algebra has been implemented using the functional language F#, which allows us to validate the correctness of our approach.
BibTeX
@misc{issi_web:id:113,
title = "Automatic model generation in model management",
author = "Artur Boronat Moll and Isidro Ramos Salavert and Jose Angel Carsí Cubel",
booktitle = "7th International Conference on Information Technology. Springer LNCS. Hyderabad (India), December 20-23, 2004.",
year = "2004",
eprint = "http://issi.dsic.upv.es/publications/archives/",
url = "",
abstract = "Model management aims at solving problems that stem from model representation and its manipulation by considering models as first-class citizens that are manipulated by means of generic operators. MOMENT is a prototype that supports generic model management using an algebraic approach within the four-layered metamodeling culture of MOF [1]. In this paper, we focus on the automatic generation of schemas that belong to different metamodels, using a term-rewriting system approach. We present the type system of the algebra that we use to represent models in the MOMENT prototype, and we describe our generic operator that automatically translates schemas between different metamodels: the operator generate. This algebra has been implemented using the functional language F#, which allows us to validate the correctness of our approach."
}