KM3: A DSL for Metamodel Specification

  • Frédéric Jouault
  • Jean Bézivin
Conference paper

DOI: 10.1007/11768869_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4037)
Cite this paper as:
Jouault F., Bézivin J. (2006) KM3: A DSL for Metamodel Specification. In: Gorrieri R., Wehrheim H. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2006. Lecture Notes in Computer Science, vol 4037. Springer, Berlin, Heidelberg


We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL program transforms a source model (conforming to a source metamodel) into a target model (conforming to a target metamodel). Being itself a model, the transformation program conforms to the ATL metamodel. The notion of metamodel is thus used to define the source DSL, the target DSL and the transformation DSL itself. As a consequence we can see that agility to define metamodels and precision of these definitions is of paramount importance in any model engineering activity. In order to fullfill the goals of agility and precision in the definition of our metamodels, we have been using a notation called KM3 (Kernel MetaMetaModel). KM3 may itself be considered as a DSL for describing metamodels. This paper presents the rationale for using KM3, some examples of its use and a precise definition of the language.

Download to read the full conference paper text

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Frédéric Jouault
    • 1
  • Jean Bézivin
    • 1
  1. 1.ATLAS team, INRIA and LINAFrance

Personalised recommendations