adaptés à la omposition des servi esWeb omme nous allons levoirdans la suite de ettese tionqui dé rit les ara téristiquesdesservi esWeb et lamanière deles formaliser.
Nousdétermineronstoutd'abordlemoded'appeldesopérationsoertesautravers desservi esWebenmétéorologieetinstruironslespropriétésde esopérations.Nous lesassimileronsàdesfon tionsmathématiqueslesreprésentant.
3.4.1 Mode de fon tionnementdes opérations deservi esWeb en météorologie
Lesservi esWebsonta essiblesautraversd'appelsd'opérations.
LeWSDL dé nitquatre modesdefon tionnementpour esopérations:noti a- tion,one-way,soli it-response et request-response.
Une opérationde noti ation envoie un messageet n'attend pasde message en retour.
Uneopérationenmodeone-way reçoitunmessageenentréeet nerenvoiepasde réponse.
Une opérationenmoderequest-responseattend unmessageavantderenvoyerun messageenréponse.
Une opération en mode soli it-response ommen e par envoyer un message et attendlemessagederéponse orrespondantenretour.
Lesopérationsenmétéorologiefon tionnentintrinsèquementsurunmoderequest- responsepuisqu'unerequêtevatoujours onsisteràenvoyerdesdonnéesd'entrée,pour yee tuerdes al ulset enré upérerlerésultat.
J'aborde ainsi le problème de la omposition d'opérations s'ee tuant en mode request-response.Dans emodedefon tionnement,ilexistedeuxmanièresd'appeler les opérations de servi es Web. La première manière est de type asyn hrone 'est- à-dire : plusieurs servi es Web peuvent être lan és au même moment et s'exé uter demanièreindépendantetout en ontinuantl'exé ution delarequêteprin ipale.La se ondeestdetypesyn hrone, 'est-à-direqu'onattendlaréponsed'unerequêteavant delan erunenouvellerequêteoudepoursuivrel'exé utiondelarequêteprin ipale.
A n d'éviter de traiteri i lesproblèmes omplexes liés àl'exé ution asyn hrone des servi esWeb et àleur resyn hronisation lorsde l'exploitationdes résultats, j'ai hoisideme on entrersurla ompositionsyn hroneetséquentielledesservi esWeb. Eneet,montravailportesurla ompositiondeservi esWeb.L'appro heasyn hrone n'estpasné essaireà etravail,sa hantquetoutprogrammeasyn hronesurunemé- moire niepeutêtretraduitenunprogrammesyn hroneéquivalent.Un programme syn hronepeutêtrevu ommeunprogrammeasyn hronepourlequellesopérations asyn hronessont instantanées. Cetteappro he pourra être étudiée ultérieurementà montravaildethèse.
3.4.2 Les types d'opérations réalisées par es servi es
Ilexiste deuxgrandstypesd'opérationspossibles:lesunes sontdesalgorithmes et lesautressontdesopérationsfournissantdenouvellesdonnées.
Ces deuxtypesd'opérationssontditssans-état(state-less). Unservi eWebsans état est un servi e qui ne mémorise pas d'information de session. A l'opposé, les servi es Web ave -état (state-full) enregistrent et utilisent es informations, pour, parexemple,retenirunnom d'utilisateur,unmotdepasse,desinformationssurles préféren esdel'utilisateurouen oredesdonnéesderetourdesopérationsdeservi es Webdemétéorologie.
•
d'a éderàdesdonnées;•
denepaspermettredemodi erlesdonnéesqu'ilsutilisent.Parexemple, es servi esnepermettentpasd'ajouterdesdonnéesdansune base dedonnées.Par onséquent,il n'estpasné essairede onnaîtrel'étatoule ontexte de haqueservi e Webpour prévoirleurs résultats.Le messagede sortiede haque opérationd'unservi eWebdépend ainsidire tementdumessaged'entrée.
Naturellement,lesmétéorologuespro èdentrégulièrementàlamiseàjourdesdon- néesqu'ilspossèdentetproposentàdesutilisateursdistants.Cesmisesàjourseront traitées omme lesmises à jour de servi esWeb, 'est àdire, ommela disparition d'un servi e Web, resp. d'une base de données, et la réationd'un nouveauservi e Webmisàjour, resp.d'unebase dedonnéesmise àjour. Par onséquent,unservi e Web est onsidéré ommedéterministe.De même, unebase de donnéesest onsidé- rée omme onstante.Autrementdit,leservi eWebappelé ave lesmêmesdonnées d'entréefournit toujourslesmêmesdonnéesdesortie.Lapropriétéde déterminisme nouspermetde prévoirlerésultat desappelsdesservi esWebetdon deréaliserla omposition.
3.4.3 Un servi e Web omme une fon tion partielle
Les parti ularitésdesopérationsdesservi esWebenmétéorologieprésentéesme permettentdelesassimileràdesfon tionspartiellespouruninstantdonné.
Unefon tionpartiellequipartdel'ensemble
X
versl'ensembleY
estunerelationf ⊆ X × Y
telleque:∀x, y, y′.((x, y) ∈ f & (x, y′) ∈ f ⇒ (y = y′))
(3.1) Dans le asdesservi esWeb,leursopérationsmanipulentdesentréeset dessor- tiesquej'appellerai messages.Chaqueopérationenmétéorologiepourêtre exé utée né essitedon unmessagequi ontientlesinformationsné essaires àsonexé ution. Cemessage,unefoistransmisàl'opération,esttraitéetl'opérationrenvoieunautre message ontenantlesdonnéesdelaréponse.
Je dé nisdon lesdeuxensemblessuivants:
•
l'ensembleM
desmessages;•
l'ensembleS
desopérationsdeservi esWebaveS∈ P(M × M)
.Je posei ilaterminologiequiserautiliséedanslase tionsuivante on ernantla formalisationdela ompositiondeservi esWebpourlamétéorologie.
3.5 Formalisation de la omposition de servi es Web