Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles / Frédéric Thomas ; sous la direction de François Terrier

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Langue / Language : anglais / English

Ingénierie dirigée par les modèles

Fonctionnement multitâche

UML (informatique)

Classification Dewey : 004

Terrier, François (1959-....) (Directeur de thèse / thesis advisor)

Babau, Jean-Philippe (Président du jury de soutenance / praeses)

Bézivin, Jean (1946-....) (Rapporteur de la thèse / thesis reporter)

Delatour, Jérôme (19..-.... ; informaticien) (Membre du jury / opponent)

Gérard, Sébastien (1973-....) (Membre du jury / opponent)

Université d'Évry-Val-d'Essonne (1991-....) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (Ecole doctorale associée à la thèse / doctoral school)

Relation : Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles / Frédéric Thomas ; sous la direction de François Terrier / [S. l.] : [s.n.] , 2008

Résumé / Abstract : Face à la complexité des applications logicielles multitâches, une approche prometteuse est l'automatisation des développements. En pratique, cela se concrétise par des générateurs capables de produire les implantations propres aux plates-formes logicielles d’exécution multitâche. Ces générateurs sont figés autour d'heuristiques d'implantations propres à chaque plate-forme visée. En vue d'obtenir des solutions plus flexibles, cette étude a pour objectif d'externaliser les formalismes propres aux plates-formes d'exécution dans des modèles explicites. Ces modèles sont alors utilisés en entrée des ingénieries ce qui permet de capitaliser et de réutiliser les générateurs. Pour y parvenir, cette étude définit un motif générique pour la modélisation des plates-formes logicielles d'exécution, une extension au langage UML pour la modélisation des plates-formes multitâches et une infrastructure de transformation intégrant ces modèles de plates-formes.

Résumé / Abstract : To minimize the inherent complexity of multitasking programs, a promising approach is to automate developments. In practice, automation is achieved by generators. Those generators produce applications which execute on software multitasking platforms (for example multitasking operating systems). Such generators are in fact specific to selected platforms. They are made of implementation rules which are specific to each platform. In order to cope with adaptable and flexible solutions, this study aims to explicitly describe executing platforms as parameters of generators. For that, it defines, firstly, a generic pattern dedicated to modelling software execution platforms, secondly, an extension to the UML language for modelling multitasking software execution platforms (the Software Resource Modeling profile) and, thirdly, a transformation framework based on explicit platform models.