Vérification des critères de validité fonctionnelle des assemblages dans les applications à base de composants (Approche basée Agents mobiles)
No Thumbnail Available
Date
2013-11
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abderaouf BAKHOUCHE
Abstract
L’informatique d’aujourd’hui est de plus en plus distribuée, connectée et
hétérogène, , les applications sont de ce fait plus compliquées à développer par leurs
nombre et leur taille et surtout leur dynamicité, la réutilisation est devenue une
nécessité pour palier à l’explosion du nombre et de la complexité des applications.
Le paradigme composant représente une approche de conception et de
développement de logiciel ayant 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.