Skip to Main content Skip to Navigation
Theses

Un cadre sémantique formel pour la description, sélection et composition des services web

Résumé : Le but de cette thèse est de dégager un cadre sémantique formel approprié supportant l'interopérabilité dedifférents formalismes déjà utilisés pour décrire et déployer un service Web. En d’autres termes, nouscontribuons au développement d’un formalisme mathématique rigoureux permettant de décrire un service Webcomplexe susceptible de changer pendant l’exécution et de coordonner avec les autres services de façonadaptative. Pour atteindre cet objectif, les étapes de description, de sélection et de composition ont constitué lestrois majeures problématiques étudiées dans cette thèse.Pour ce faire, nous avons proposé dans un premier temps, à travers l’utilisation du cadre sémantique formel K lelangage K-WSDL; un langage de description de services Web doté d’une sémantique opérationnelle en terme derègles de réécriture qui peut être exécutable et analysable sous Maude. Nous avons introduit, dans un secondtemps, l’approche WS-Sim basée sur la théorie des catégories qui évalue l’équivalence comportementale entreservices en représentant chaque service par une catégorie et en établissant des liens formels (foncteur) entre elles.Enfin, nous avons présenté le modèle RMop-ECATNet (Refined Meta Open ECATNet ) : un modèle dédié à laspécification formelle de la composition des services Web et fruit du raffinement du modèle Mop-ECATNetproposé par [LB14]. Nous avons étendu et enrichi ce dernier aux trois niveaux : structurel, comportemental etimplémentation.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01743824
Contributor : Abes Star :  Contact
Submitted on : Tuesday, September 18, 2018 - 12:16:09 PM
Last modification on : Saturday, December 21, 2019 - 3:40:42 AM
Document(s) archivé(s) le : Wednesday, December 19, 2018 - 12:29:05 PM

File

DJENOUHATdef.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01743824, version 1

Collections

Citation

Manel Amel Djenouhat. Un cadre sémantique formel pour la description, sélection et composition des services web. Web. Conservatoire national des arts et metiers - CNAM; Université Abdelhamid Mehri - Constantine 2. Faculté des Nouvelles Technologies de l'Information et de la Communication (Constantine, Algérie), 2017. Français. ⟨NNT : 2017CNAM1137⟩. ⟨tel-01743824⟩

Share

Metrics

Record views

424

Files downloads

212