Browsing by Author "Abderaouf BAKHOUCHE"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Vérification des critères de validité fonctionnelle des assemblages dans les applications à base de composants (Approche basée Agents mobiles)
    (Abderaouf BAKHOUCHE, 2013-11) Abderaouf BAKHOUCHE
    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.