Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages

Résumé : La programmation orientée langage (Language-Oriented Programming -- LOP) préconise l'utilisation de langages de modélisation dédiés exécutables (eXecutable Domain-Specific Modeling Languages -- xDSMLs) pour la conception, le développement, la vérification et la validation de systèmes hautement concurrents. De tels systèmes placent l'expression de la concurrence dans les langages informatiques au coeur du processus d'ingénierie logicielle, par exemple à l'aide de formalismes dédiés appelés modèles de concurrence (Models of Concurrency -- MoCs). Ceux-ci permettent une analyse poussée du comportement des systèmes durant les phases de vérification et de validation, mais demeurent complexes à comprendre, utiliser, et maîtriser. Dans cette thèse, nous développons et étendons une approche qui vise à faire collaborer l'approche LOP et les MoCs à travers le développement de xDSMLs dans lesquels la concurrence est spécifiée de façon explicite (Concurrency-aware xDSMLs). Dans de tels langages, on spécifie l'utilisation systématique d'un MoC au niveau de la sémantique d'exécution du langage, facilitant l'expérience pour l'utilisateur final qui n'a alors pas besoin d'appréhender et de maîtriser l'utilisation du MoC choisi. Un tel langage peut être raffiné lors de la phase de déploiement, pour s'adapter à la plateforme utilisée, et les systèmes décrits peuvent être analysés sur la base du MoC utilisé.
Type de document :
Thèse
Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English
Liste complète des métadonnées

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

https://hal.inria.fr/tel-01369451
Contributeur : Florent Latombe <>
Soumis le : mercredi 21 septembre 2016 - 09:46:15
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35
Document(s) archivé(s) le : jeudi 22 décembre 2016 - 12:33:30

Identifiants

  • HAL Id : tel-01369451, version 1

Collections

Relations

Citation

Florent Latombe. Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages. Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English. 〈tel-01369451〉

Partager

Métriques

Consultations de la notice

123

Téléchargements de fichiers

94