Compliance of Web services over a high level specification

Résumé : Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d’avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L’enrichissement des descriptions des services par l’inclusion de leurs comportements est de plus en plus important. Ce comportement peut être décrit par des protocoles métier représentant les séquences possibles d'échanges de messages. Les services Web utilisent des politiques de contrôle d'accès (ACP) pour restreindre l'accès à des consommateurs autorisés. Ces politiques doivent faire partie de la description du service. Dans cette thèse, l'analyse d'interopérabilité en termes de contrôle d’accès après la formalisation des services Web annotés avec les politiques de contrôle d’accès est réalisée. Nous présentons une approche pour intégrer les outils de vérification dans l'architecture de contrôle d’accès de façon à garantir une interaction sans erreurs. Les politiques et les crédits sont présentés comme une ontologie afin de bénéficier de la flexibilité offerte par subsomption sur des concepts. La chorégraphie des services Web est utilisée dans la phase de conception d’applications pair à pair complexes dans lesquelles chaque pair peut être implémenté par un service Web. Par conséquent, la sélection des services Web pour l’implémentation de chorégraphie en utilisant l’approche de vérification de compatibilité avec contrôle d'accès est l'un des objectifs de notre recherche. Dans ce travail, les modèles de protocole métier du service Web sont étendus en ajoutant des informations au message sur chaque transition du service dans lequel ce message sera envoyé ou reçu. Nous définissons et vérifions la compatibilité des services Web afin de voir si (et comment) plusieurs services peuvent avoir des interactions en fonction de leurs protocoles. Cette approche aidera les concepteurs à choisir des services Web de manière simple et à vérifier s’ils peuvent mettre en œuvre la chorégraphie nécessaire en vérifiant la compatibilité avec notre approche
Type de document :
Thèse
Other [cs.OH]. Université Claude Bernard - Lyon I, 2011. English. <NNT : 2011LYO10122>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00867892
Contributeur : Abes Star <>
Soumis le : lundi 30 septembre 2013 - 16:17:08
Dernière modification le : vendredi 23 juin 2017 - 03:05:53
Document(s) archivé(s) le : mardi 31 décembre 2013 - 04:27:16

Fichier

TH2011_Elabd_Emad.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00867892, version 1

Collections

Citation

Emad Elabd. Compliance of Web services over a high level specification. Other [cs.OH]. Université Claude Bernard - Lyon I, 2011. English. <NNT : 2011LYO10122>. <tel-00867892>

Partager

Métriques

Consultations de
la notice

371

Téléchargements du document

400