Software & Systems Modeling

, Volume 12, Issue 1, pp 105–119

Typing artifacts in megamodeling

  • Andrés Vignaga
  • Frédéric Jouault
  • María Cecilia Bastarrica
  • Hugo Brunelière
Special Section Paper

DOI: 10.1007/s10270-011-0191-2

Cite this article as:
Vignaga, A., Jouault, F., Bastarrica, M.C. et al. Softw Syst Model (2013) 12: 105. doi:10.1007/s10270-011-0191-2

Abstract

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in model-driven engineering-based projects. Global model management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both typechecking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.

Keywords

Model transformationType systemMegamodeling

Copyright information

© Springer-Verlag 2011

Authors and Affiliations

  • Andrés Vignaga
    • 1
  • Frédéric Jouault
    • 2
  • María Cecilia Bastarrica
    • 1
  • Hugo Brunelière
    • 2
  1. 1.MaTE, Department of Computer ScienceUniversidad de ChileSantiagoChile
  2. 2.AtlanMod, INRIA Rennes Center, Bretagne Atlantique, Ecole des Mines de NantesNantesFrance