Approche de métamodélisation pour la simulation et la vérification ...

Chapitre 1
Introduction générale
Dans ce chapitre, nous commençons par décrire l’évolution des techniques et
méthodes informatiques (section 1.1) qui, depuis 50 ans, ont pour objectif d’améliorer
la qualité et la productivité du développement de logiciel. Nous détaillons
ensuite les défis actuels (section 1.2) de la communauté du génie logiciel afin d’offrir
les moyens de maîtriser des systèmes informatiques qui ne cessent de croître,
tant par leur complexité que par leur caractère critique. L’ingénierie du logiciel
s’oriente pour cela vers l’ingénierie dirigée par les modèles (IDM), au sein de laquelle
un système est vu non pas comme une suite de lignes de code mais comme
un ensemble de modèles plus abstraits et décrivant chacun une vue (c.-à-d. une préoccupation)
particulière sur le système. Cette approche favorise l’utilisation de petits
langages dédiés (Domain Specific Modeling Language, DSML), aux concepts
plus abstraits et traduisant l’expérience des développeurs de plus en plus spécialisés
en raison de la multiplication des domaines d’application de l’informatique.
Il s’agit principalement d’augmenter le niveau d’abstraction des développements
en permettant aux développeurs de se concentrer sur leurs préoccupations à l’aide
de langages spécifiques à leur domaine. Cette ingénierie en émergence nécessite
encore beaucoup d’études afin de fournir les mêmes outils sur les modèles dont
disposent les développeurs pour les langages de programmation. Par exemple, il est
important de fournir des outils de vérification et de validation pour s’assurer au plus
tôt que les modèles construits sont corrects et répondent bien aux exigences. Nous
étudions pour cela la construction même des langages de modélisation et proposons
une approche tant pour définir les aspects dynamiques d’un DSML que les outils
exploitant cette description pour vérifier et valider les modèles construits. Nous
souhaitons également profiter de l’abstraction offerte par cette ingénierie pour définir
des outils génériques réutilisables par plusieurs DSML. Nous détaillons les
objectifs de cette thèse dans la section 1.3. Nous concluons ce chapitre en présentant
le contexte de ces travaux (section 1.4) et en détaillant le plan de cette thèse
(section 1.5).
17