Typing in Model Management

  • Andrés Vignaga
  • Frédéric Jouault
  • María Cecilia Bastarrica
  • Hugo Brunelière
Conference paper

DOI: 10.1007/978-3-642-02408-5_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5563)
Cite this paper as:
Vignaga A., Jouault F., Bastarrica M.C., Brunelière H. (2009) Typing in Model Management. In: Paige R.F. (eds) Theory and Practice of Model Transformations. ICMT 2009. Lecture Notes in Computer Science, vol 5563. Springer, Berlin, Heidelberg

Abstract

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

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 ChileChile
  2. 2.AtlanMod, INRIA Rennes Center - Bretagne Atlantique, Ecole des Mines de NantesFrance

Personalised recommendations