Skip to Main content Skip to Navigation

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 metadata
Contributor : Abes Star :  Contact
Submitted on : Tuesday, September 18, 2018 - 12:16:09 PM
Last modification on : Saturday, March 13, 2021 - 3:32:25 AM
Long-term archiving on: : Wednesday, December 19, 2018 - 12:29:05 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01743824, version 1



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⟩



Record views


Files downloads