l`Université de Bretagne Sud Contractualisation des ressources pour

N◦d’ordre : 31
THÈSE
présentée devant
l’Université de Bretagne Sud
pour obtenir
Le titre de Docteur de l’Université de Bretagne Sud
Mention Mathématique et Informatique
par
Nicolas LESOMMER
Équipe d’accueil : VALORIA / Composants
École doctorale pluridisciplinaire de l’Université de Bretagne Sud
Contractualisation des ressources
pour les composants logiciels : une approche réflexive
soutenue le 18 décembre 2003 devant la commission d’examen
M. : Patrice FRISON Président
MM. : Michel RIVEILL Rapporteurs
Jean-Louis PAZAT
MM. : Frédéric GUIDEC Examinateurs
Jacques MALENFANT

Remerciements
Je tiens à remercier Patrice Frison, professeur à l’Université de Bretagne Sud, qui me
fait l’honneur de présider mon jury de thèse.
Je remercie Michel Riveill, professeur à l’Université de Nice, et Jean-Louis Pazat,
maître de conférences à l’INSA de Rennes, d’avoir bien voulu être les rapporteurs de cette
thèse.
J’exprime ma plus sincère reconnaissance à Frédéric Guidec, maître de conférence à
l’Université de Bretagne Sud, qui a dirigé ma thèse. La justesse de ses conseils, la motiva-
tion et la connaissance qu’il m’a prodigué me furent très précieuses pour mener à bien cette
thèse.
Je remercie Jacques Malenfant d’avoir accepté d’être le directeur de cette thèse.
Merci aux membres du groupe de recherche CASA du laboratoire VALORIA pour leurs
échanges constructifs, et pour la bonne ambiance qui règne dans ce groupe.
Je dédie cette thèse à ma famille, et en particulier à ma femme Lenora, qui m’a soutenue
tout au long de ces trois ans de thèse, et à mes filles Aela et Maelenn.
3

4

Table des matières
Introduction 9
I Contexte de la thèse 13
1 Motivations 15
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2 Caractéristiques des environnements de déploiement actuels . . . . . . . . 17
1.2.1 Caractéristiques matérielles . . . . . . . . . . . . . . . . . . . . . 17
1.2.2 Caractéristiques logicielles . . . . . . . . . . . . . . . . . . . . . . 18
1.2.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3 Caractéristiques des modèles de composants logiciels actuels . . . . . . . . 19
1.3.1 Différents modèles de composants . . . . . . . . . . . . . . . . . . 19
1.3.2 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2 Différenciation des conditions d’accès aux ressources 27
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Concepts préliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Fonctionnalités permettant la différenciation des conditions d’accès aux res-
sources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.1 Priorité d’accès et ordonnancement . . . . . . . . . . . . . . . . . 29
2.3.2 Contrôle d’admission . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.3 Réservation des ressources . . . . . . . . . . . . . . . . . . . . . . 31
2.3.4 Contrôle de l’accès aux ressources . . . . . . . . . . . . . . . . . . 34
2.4 Environnements de déploiement offrant de la qualité de service . . . . . . . 36
2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3 Technologie logicielle et prise en compte des besoins en ressources 41
3.1 L’approche objet et la réflexion . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.1 Paradigme de programmation de l’approche objet . . . . . . . . . . 42
3.1.2 Systèmes réflexifs . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.3 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2 Les mécanismes contractuels . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.1 Les contrats fonctionnels . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.2 Les contrats de qualité de service . . . . . . . . . . . . . . . . . . 45
5