Typage de Modèles

Model-Driven Engineering is a discipline for the construction of systems based on the use of models. Although research is active into the use of MDE and its core technologies such as languages for storing, transforming and manipulating models, less attention has been paid to techniques for ensuring the safe reuse and composition of the elements which manipulate models. This thesis presents an approach based on ideas and formalisms from the domain of type systems for defining clear notions of models and model types, as well as a relation for model type substitutability. These model typing principles are demonstrated through their implementation in the Kermeta modelling and metamodelling language. Additionally, a presentation is made of the expression problem as it pertains to model-driven engineering, and of how the use of model types can help to address the issues it represents.L'Ingénierie Dirigée par les Modèles est une approche pour la construction de systèmes fondées sur l'utilisation de modèles. Malgré une recherche très active sur les technologies d'IDM et leur application, il existe relativement peu de travaux sur la réutilisation et la composition fiable des éléments qui manipulent des modèles. Cette thèse présente une approche fondée sur les idées et formalismes du domaine des systèmes de types, pour définir des notions claires de modèles et de types de modèles, ainsi qu'une relation pour la substituabilité des types de modèles. Ces principes du typage de modèles ont été validés par leur application dans le langage de méta-modèlisation Kermeta. De plus, la thèse revisite le problème de l'extensibilité des langages sous l'angle de l'ingénierie dirigée par les modèles, et elle détaille comment les types de modèles en résolvent certains aspects