REPOSITORY Doc's

Validation d’un modèle de composition de services web à base d’automates hiérarchiques avec la méthode B-Événementiel

Show simple item record

dc.contributor.author Djouhri, Nawal
dc.contributor.author Hameche, Sara
dc.contributor.author Farah, Zobeyr ; promoteur
dc.date.accessioned 2018-03-25T08:29:29Z
dc.date.available 2018-03-25T08:29:29Z
dc.date.issued 2013
dc.identifier.uri http://univ-bejaia.dz/dspace/123456789/9225
dc.description Option : Réseaux et Systèmes distribués en_US
dc.description.abstract La composition des services web vise à combiner les fonctionnalités de plusieurs services afin de répondre à des exigences auxquelles un seul service ne peut répondre individuellement. La manière dont la requête sera prise et l’enchaînement de services intervenant lors de la composition rencontrent de nombreux problèmes. Les recherches menées dans ce domaine sont nombreuses. Plusieurs approches intéressantes ont été proposées afin de résoudre le problème de la composition, mais chacune d’elles présente des lacunes et impose ses contraintes auxquelles il faudra remédier au fil du temps. Après avoir parcouru les travaux réalisés, et étudié différentes approches, nous nous sommes intéressés aux approches formelles, ces dernières étant très avantageuses. Elles nous permettent d’avoir un certain niveau de connaissance préalable du comportement correct du modèle. Nous avons proposé dans ce document un modèle formel, qui est une Communication des Automates à Etats Finis Complexes, qui a été vérifié et validé avec la méthode EventB. Le modèle obtenu est sans erreurs car la vérification et la validation sont faites pas-à-pas avec la construction du modèle. Afin de compléter de rendre notre modèle de composition de services web plus rigoureux et plus exhaustif, de nouvelles perspectives s’ouvrent avec ce travail de recherche, notamment : – La mise en pratique du modèle proposé ; – La généralisation du modèle à un large nombre de services et la proposition d’un mécanisme efficace de mise en échelle ; – La considéreration de l’outil de compensation de services ; – L’ajout d’une couche sémantique au modèle. en_US
dc.language.iso fr en_US
dc.publisher Université abderrahmane mira béjaia en_US
dc.subject Services web : Composition : B-événementiel en_US
dc.title Validation d’un modèle de composition de services web à base d’automates hiérarchiques avec la méthode B-Événementiel en_US
dc.type Thesis en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account