Automatic model generation in model management

  • Authors:

  • Artur Boronat;Isidro Ramos;José Á. Carsí

  • Affiliations:

  • Department of Information Systems and Computation, Polytechnic University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Polytechnic University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Polytechnic University of Valencia, Valencia, Spain

  • Venue:
  • CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.