On Model Subtyping

Clément Guy 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Various approaches have recently been proposed to ease the manipulation of models for specific purposes (e.g., automatic model adaptation or reuse of model transformations). Such approaches raise the need for a unified theory that would ease their combination, but would also outline the scope of what can be expected in terms of engineering to put model manipulation into action. In this work, we address this problem from the model substitutability point of view, through model typing. We introduce four mechanisms to achieve model substitutability, each formally defined by a subtyping relation. We then discuss how to declare and check these subtyping relations. This work provides a formal reference specification establishing a family of model-oriented type systems. These type systems enable many facilities that are well known at the programming language level. Such facilities range from abstraction, reuse and safety to impact analyses and auto-completion.
Type de document :
Poster
4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00726399
Contributeur : Clément Guy <>
Soumis le : jeudi 30 août 2012 - 09:22:04
Dernière modification le : vendredi 13 janvier 2017 - 14:21:08
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 08:50:53

Fichier

Poster_GDR2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00726399, version 1

Citation

Clément Guy. On Model Subtyping. 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France. <hal-00726399>

Partager

Métriques

Consultations de
la notice

125

Téléchargements du document

71