Abstract
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.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-34895-5_20
Chapter PDF
Similar content being viewed by others
References
OMG: Meta Object Facility (MOF) 2.0 Core Specification, OMG Document ptc/03-10-04 (2003), http://www.omg.org/docs/ptc/03-10-04.pdf
netBeans.org: Netbeans Meta Data Repository (MDR) (2006), http://mdr.netbeans.org/
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
ATLAS team: ATLAS MegaModel Management (AM3) Home page (2006), http://www.eclipse.org/gmt/am3/
OMG: MOF QVT Final Adopted Specification, OMG Document ptc/2005-11-01(2005), http://www.omg.org/docs/ptc/05-11-01.pdf
Bézivin, J., Kurtev, I.: Model-based technology integration with the technical space concept. In: Proceedings of the Metainformatics Symposium, Springer, Heidelberg (2005)
Object and Reference Model Subcommittee (ORMSC) of the OMG Architecture Board: A Proposal for an MDA Foundation Model, white paper OMG-ORMSC/05-08-01 (2005), http://www.omg.org/cgi-bin/doc?ormsc/05-08-01 .
Bates, D., et al.: R Language Definition (2006), http://stat.ethz.ch/R-manual/R-patched/doc/manual/R-lang.html
McJones, P.R. (ed.): The 1995 SQL Reunion: People, Project, and Politics, May 29, 1995, vol. SRC1997-018 (1997)
Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software — Practice and Experience 30(11), 1203–1233 (2000)
Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of ”semantics”? Computer 37(10), 64–72 (2004)
Budinsky, F., Steinberg, D., Ellersick, R., Merks, E., Brodsky, S.A., Grose, T.J.: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)
OMG: Meta Object Facility (MOF) Specification, version 1.4, OMG Document formal/2002-04-03 (2002), http://www.omg.org/technology/documents/formal/mof.htm
Eclipse Foundation: Generative Model Transformer (GMT) Home page (2006), http://www.eclipse.org/gmt/
ATLAS team: ATLAS Transformation Language (ATL) Home page (2006), http://www.eclipse.org/gmt/atl/
ATLAS team: Atlantic Metamodel Zoo (2006), http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/
OMG: Human-Usable Textual Notation, v1.0, OMG Document formal/04-08-01 (2004), http://www.omg.org/technology/documents/formal/hutn.htm
Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161–177. Springer, Heidelberg (2004)
Bézivin, J.: sNets: A first generation model engineering platform. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 169–181. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
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. https://doi.org/10.1007/11768869_14
Download citation
DOI: https://doi.org/10.1007/11768869_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34893-1
Online ISBN: 978-3-540-34895-5
eBook Packages: Computer ScienceComputer Science (R0)