Etablissement
Ecole Nationale Supérieure d'informatique
Affiliation
Département de Post-Graduation
Auteur
BAKHOUCHE, Abderaouf
Directeur de thèse
LAOUAR MOHAMED RIDDA (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Vérification de critères de validité fonctionnelle des assemblages dans les applications a base de composants (approche basée Agents mobiles)
Mots clés
Vérification, Composants systeme, SMA, Agents Mobiles, validité fonctionnelle
Résumé
Le paradigme composant représente une approche de conception et de développement de logiciel ayant actuellement un grand impact. En proposant des abstractions pour organiser le logiciel comme une combinaison d’éléments logiciels, avec pour objectif de faciliter son évolution (en premier lieu, remplacement et ajout d’éléments). La validité d’une application à base de composant consiste en trois point de vue, un point de vue fonctionnel dans lequel on cherche à s’assurer que le comportement global issus des comportements individuels des composants se rencontre bien avec les besoins prévues de l’application; le deuxième point de vue concerne l’aspect structurel de l’application c à d lié à la dynamique de l’environnement d’exécution de l’application, et finalement un point de vue de consistance qui consiste à vérifier la compatibilité entre les signatures des composants. Le travail demandé cible à traiter le point de vue fonctionnel c à d proposer un mécanisme pour une vérification automatique des critères de validité fonctionnelle d’un assemblage de composants en faisant intervenir les agents mobiles
Statut
Vérifié