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

Abstract : The aim of this thesis is to provide a suitable formal semantic framework that supports interoperability ofdifferent formalisms already used to describe and deploy a Web service. In other words, we contribute to thedevelopment of a rigorous mathematical formalism to describe a complex Web service that may change duringexecution and coordinate with other services adaptively. To achieve this goal, the steps of description, selectionand composition constitute the three major issues studied in this thesis.We proposed so, initially, through the use of the K semantic framework the K-WSDL : a Web servicesdescription language endowed with an operational semantics in terms of rewriting rules which can be executedand analyzed in Maude. We introduced, in a second step, WS-Sim, a new approach based on the category theorywhich evaluates the behavioral equivalence between services by representing each service by a category and byestablishing formal links (functor) between them. Finally, we present RMop-ECATNet (Refined Meta OpenECATNet): a formal model for the specification of services composition. product of the refinement of the Mop-ECATNets model, introduced initially by [LB14]. We extended and enriched this model at three distinct levels:at the structural, behavioural level and implementation levels.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01743824
Contributor : Abes Star <>
Submitted on : Tuesday, September 18, 2018 - 12:16:09 PM
Last modification on : Saturday, December 21, 2019 - 3:40:42 AM
Long-term archiving on: 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

391

Files downloads

182