Facilités de typage pour l'ingénierie des langages

Clément Guy 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Le nombre et la complexité toujours croissants des préoccupations prises en compte dans les systèmes logiciels complexes (e.g., sécurité, IHM, scalabilité, préoccupations du domaine d'application) poussent les concepteurs de tels systèmes à séparer ces préoccupations afin de les traiter de manière indépendante. L'ingénierie dirigée par les modèles (IDM) prône la séparation des préoccupations au sein de langages de modélisation dédiés. Les langages de modélisation dédiés permettent de capitaliser le savoir et le savoir-faire associés à une préoccupation au travers des constructions du langage et des outils associés. Cependant la définition et l'outillage d'un langage dédié demande un effort de développement important pour un public par définition réduit. Nous proposons dans cette thèse une relation liant les modèles et une interface de modèle permettant de faciliter la mise en place de facilités de typage pour la définition et l'outillage d'un langage dédié. Cette interface expose les éléments de modèle et les transformations de modèles associés à un langage de modélisation dédié. Nous représentons une telle interface par un type de modèles supportant des relations de sous-typage et d'héritage. Dans ce but nous définissons : une relation de typage entre les modèles et les langages de modélisation dédiés permettant de considérer les modèles comme des entités de première classe ; des relations de sous-typage entre langages de modélisation dédiés permettant la réutilisation de la syntaxe abstraite et des transformations de modèles.
Type de document :
Thèse
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S141〉
Liste complète des métadonnées

Littérature citée [90 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00917789
Contributeur : Abes Star <>
Soumis le : jeudi 24 avril 2014 - 10:03:09
Dernière modification le : mercredi 2 août 2017 - 10:11:08
Document(s) archivé(s) le : jeudi 24 juillet 2014 - 10:55:17

Fichier

GUY_Clement.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00917789, version 2

Citation

Clément Guy. Facilités de typage pour l'ingénierie des langages. Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S141〉. 〈tel-00917789v2〉

Partager

Métriques

Consultations de la notice

438

Téléchargements de fichiers

262