Model Mapping in MDA

In this paper we propose a general model of Model Mapping, one of the key features in MDA. We recall the fundamental relationships between system, model, and formalism. Then mapping of models described in the same formalism (direct) or in different formalisms (indirect) is discussed. As an example, a Constraint Checker (CC) is presented. This application takes an UML model m, and translates it by an indirect mapping into a suitable formalism. Then, the CC provides pieces of advice to guide the future refinements of m.