Software & Systems Modeling

, Volume 12, Issue 1, pp 105–119

Typing artifacts in megamodeling

Authors

    • MaTE, Department of Computer ScienceUniversidad de Chile
  • Frédéric Jouault
    • AtlanMod, INRIA Rennes Center, Bretagne Atlantique, Ecole des Mines de Nantes
  • María Cecilia Bastarrica
    • MaTE, Department of Computer ScienceUniversidad de Chile
  • Hugo Brunelière
    • AtlanMod, INRIA Rennes Center, Bretagne Atlantique, Ecole des Mines de Nantes
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
Download to read the full article text

Copyright information

© Springer-Verlag 2011