Services - Exercices

Comme la causalité, la corrélation exprime la préservation d'une propriété liée au temps logique : au lieu de préserver l'ordre causal, on préserve la corrélation au sens suivant. Si des requêtes sont produites simultanément, alors leurs réponses seront traitées simultanément : autrement dit, si des requêtes sont corrélées, alors leurs réponses le seront.

Voici l'exemple d'un mashup. On définit un service en agrégeant deux services. Les réponses des requêtes aux deux services doivent être corrélées. Pour ce faire, on utilise une représentation du temps logique par un compteur.

Service 1 : météo locale présente

• Canal : getMeteo(lieu, k, t)

• Règle :

  getMeteo(lieu, k, t) -> k(t, meteo)
  

Service 2 : heure Locale

• Canal : getHL(lieu, k, t)

• Règle :

  getHL(lieu, k, t) -> k(t, heureLocale)
  

  Mashup

• Canaux
  • getMeteoHL(lieu, k)
  • repMeteo(t, m) et repHL(t, hl) (canaux de réponse)
• Etat
  • Table mémorisant la correspondance entre le canal de retour et le temps logique
  • Compteur pour le temps logique

Déterminer les règles chimiques de transformation du mashup.

- getMeteoHL(lieu, k) & Temps(t)
    -> getMeteo(lieu, repMeteo, t) & getHL(lieu, repHL, t)
     & Temps(t + 1) & Table(k, t)
- repMeteo(t, meteo) & repHL(t, heureLocale) & Table(k, t)
    -> k(meteo, heureLocale)

Les actions correspondant aux requêtes peuvent posséder deux propriétés importantes :

• la pureté (l'absence d'effets),
• l'idempotence (deux actions consécutives ont le même effet qu'une action).

La pureté implique l'idempotence.

La pureté garantit la possibilité de mettre en cache. L'idempotence permet de répéter des actions sans effet observable, ce qui est utile pour gérer la perte de messages.

Ces deux propriétés permettent de classer les méthodes HTTP (actions correspondant aux requêtes HTTP) :

• pur, idempotent : GET,
• pur, non idempotent : absurde,
• impur, idempotent : PUT, DELETE,
• impur, non idempotent : POST.

Le but de l'exercice est de représenter les méthodes HTTP dans le modèle chimique.

Canal en deux composantes :

• composante principale indiquant la ressource mère
• composante secondaire identifiant la sous-ressource de la ressource mère

Notation : k/id pour la ressource mère k et la sous-ressource id

Message consistant en :

• la méthode CRUD (ici les verbes du protocole http),
• les informations pertinentes,
• le canal de retour (pour la réponse).

Notation : (CRUD, info, ret)

Etat

• Ressource(k, id, v) : relation donnant pour toute ressource mère k et toute sous-ressource id la valeur v associée à la sous-ressource

// Création
- k/id(PUT, val, ret) & (Ressource(k, id, _) inactive)
    -> ret(CREATED-201, k/id, val) & Ressource(k, id, val) 
// Mise à jour d'une sous-ressource existante
- k/id(PUT, val, ret) & Ressource(k, id, _)
    -> ret(OK-200, k/id, val) & Ressource(k, id, val)

// Succès
- k/id(GET, ret) & Ressource(k, id, val) 
    -> ret(OK-200, k/id, val) & Ressource(k, id, val)
// Echec
- k/id(GET, ret) & (Ressource(k, id, _) inactive) 
    -> ret(NOTFOUND-404, k/id)

- k/id(PUT, val, ret) & Ressource(k, id, _)
    -> ret(OK-200, k/id, val) & Ressource(k, id, val)

- k(POST, val, ret) & GenerateurIdentifiant(id) 
    -> ret(CREATED-201, k/id, val) 
       & Ressource(k, id, val) & GenerateurIdentifiant(id+1)

// Succès
- k/id(DELETE, ret) & Ressource(k, id, val) 
    -> ret(OK-200, k/id, val)
// Echec
- k/id(DELETE, ret) & (Ressource(k, id, _) inactive) 
    -> ret(NOTFOUND-404, k/id)