1. Int´gration de la qualit´ de service dans la v´rification de
e e e
la substitutivit´ des services Web
e
J´rˆme Voinot
eo
Laboratoire d’Informatique de l’Universit´ de Franche-Comt´
e e
ARA COPS
29/30 mars 2007 – Nancy
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 1 / 23

2. Plan de la pr´sentation
e
Motivations
Mod´lisation des services Web et des aspects de qualit´ de service
e e
V´rification de la substitutivit´ des services Web
e e
Impl´mentation de l’approche
e
Perspectives
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 2 / 23

3. Motivations
Utilisation des services Web en tant que composants d’applications.
R´servation
e
Avion
Agence de R´servation
e
Client voyage Hotel
Banque
Implique la possibilit´ de pouvoir remplacer ` tout moment un service par
e a
un autre (d´faillance, ...).
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 3 / 23

4. Motivations
Utilisation des services Web en tant que composants d’applications.
Substitution ?
R´servation
e R´servation
e
Avion Avion 2
Agence de R´servation
e
Client voyage Hotel
Banque
Implique la possibilit´ de pouvoir remplacer ` tout moment un service par
e a
un autre (d´faillance, ...).
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 3 / 23

5. Motivations
Tenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la
e
substitution des services Web (audit de services pour leurs d´finitions).
e
→ Ne pas substituer un service par un autre si ces deux services n’ont pas
des performances ´quivalentes.
e
Rester proche des normes qui ont cours dans le monde des services Web.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 4 / 23

6. Motivations
Tenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la
e
substitution des services Web (audit de services pour leurs d´finitions).
e
→ Ne pas substituer un service par un autre si ces deux services n’ont pas
des performances ´quivalentes.
e
Rester proche des normes qui ont cours dans le monde des services Web.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 4 / 23

7. Motivations
Tenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la
e
substitution des services Web (audit de services pour leurs d´finitions).
e
→ Ne pas substituer un service par un autre si ces deux services n’ont pas
des performances ´quivalentes.
e
Rester proche des normes qui ont cours dans le monde des services Web.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 4 / 23

8. Sch´ma de v´rification
e e
Service 1
Fichier Mod`le
e
de formel
description
Substituable ?
Service 2
Fichier Mod`le
e
de formel
description
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 5 / 23

9. Sch´ma de v´rification
e e
Service 1
Fichier Mod`le
e
de formel
description
Substituable ?
Service 2
Fichier Mod`le
e
de formel
description
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 5 / 23

10. Sch´ma de v´rification
e e
Service 1
Fichier Mod`le
e
de formel
description
Substituable ?
Service 2
Fichier Mod`le
e
de formel
description
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 5 / 23

11. Sch´ma de v´rification
e e
Service 1
Fichier Mod`le
e
de formel
description
Substituable ?
Service 2
Fichier Mod`le
e
de formel
description
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 5 / 23

12. Sch´ma de v´rification
e e
Service 1
Fichier Mod`le
e
de formel
description
Substituable ?
Service 2
Fichier Mod`le
e
de formel
description
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 5 / 23

13. Qualit´ de service pour les services Web
e
D´finition de ce qu’est la qualit´ de service dans le cadre des services Web
e e
par W3C et OASIS.
Deux optiques de mise en place de la qualit´ de service :
e
D´finition de nouveaux langages de sp´cification :
e e
WSLA [KL02],
WSML [SDM02],
...
Extension des normes actuelles :
WS-QoS [Tia05],
UDDIe [SRAAW03],
...
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 6 / 23

14. Qualit´ de service pour les services Web
e
D´finition de ce qu’est la qualit´ de service dans le cadre des services Web
e e
par W3C et OASIS.
Deux optiques de mise en place de la qualit´ de service :
e
D´finition de nouveaux langages de sp´cification :
e e
WSLA [KL02],
WSML [SDM02],
...
Extension des normes actuelles :
WS-QoS [Tia05],
UDDIe [SRAAW03],
...
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 6 / 23

15. Qualit´ de service pour les services Web
e
D´finition de ce qu’est la qualit´ de service dans le cadre des services Web
e e
par W3C et OASIS.
Deux optiques de mise en place de la qualit´ de service :
e
D´finition de nouveaux langages de sp´cification :
e e
WSLA [KL02],
WSML [SDM02],
...
Extension des normes actuelles :
WS-QoS [Tia05],
UDDIe [SRAAW03],
...
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 6 / 23

16. Qualit´ de service pour les services Web
e
D´finition de ce qu’est la qualit´ de service dans le cadre des services Web
e e
par W3C et OASIS.
Deux optiques de mise en place de la qualit´ de service :
e
D´finition de nouveaux langages de sp´cification :
e e
WSLA [KL02],
WSML [SDM02],
...
Extension des normes actuelles :
WS-QoS [Tia05],
UDDIe [SRAAW03],
...
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 6 / 23

17. Extension de BPEL4WS 1.1
Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de
e e
[BPB06]).
Extension des activit´s invoke, receive, reply et onMessage avec un nouvel
e
´l´ment :
ee
<costs>
<cost type=”executionTime” value=”...”/>
<cost type=”financialCost” value=”...”/>
</costs>
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 7 / 23

18. Extension de BPEL4WS 1.1
Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de
e e
[BPB06]).
Extension des activit´s invoke, receive, reply et onMessage avec un nouvel
e
´l´ment :
ee
<costs>
<cost type=”executionTime” value=”...”/>
<cost type=”financialCost” value=”...”/>
</costs>
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 7 / 23

19. Extension de BPEL4WS 1.1
Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de
e e
[BPB06]).
Extension des activit´s invoke, receive, reply et onMessage avec un nouvel
e
´l´ment :
ee
<costs>
<cost type=”executionTime” value=”...”/>
<cost type=”financialCost” value=”...”/>
</costs>
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 7 / 23

20. Sch´ma de v´rification
e e
Service 1
Mod`le
e
BPEL formel
´tendu
e
Substituable ?
Service 2
Mod`le
e
BPEL formel
´tendu
e
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 8 / 23

21. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

22. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

23. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

24. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

25. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

26. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

27. Mod´lisation des services Web
e
Utilisation de diff´rents mod`les formels tels que :
e e
R´seaux de Petri [HB03]
e
Alg`bres de processus [CS06]
e
Automates finis [Fos06]
Mod´lisation bas´e sur une extension des automates finis car :
e e
Normes d´crites sous formes de sch´mas XSD.
e e
Sch´ma XSD d´crit un language r´gulier.
e e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 9 / 23

28. Automate avec coˆt de service
u
Utilisation des automates max-plus permettant de tenir compte des
sp´cificit´s de BPEL ´tendu.
e e e
D´finition (Automate avec coˆt de service)
e u
Etant donn´ un ensemble non-vide C ∈ Q de coˆts de service, un
e u
automate avec coˆt de service sur Σ est un sextuple
u
A = (S, Σ, δ, s0 , sf , A), o` :
u
S est un ensemble fini non-vide d’´tats,
e
Σ est un ensemble fini non-vide d’actions,
δ ⊆ S × Σ × C × S est la relation de transition,
s0 ∈ S est l’´tat initial,
e
sf ∈ S est l’´tat final, et
e
A ⊆ S est un ensemble fini (´ventuellement vide) d’´tats
e e
d’acceptation interm´diaire.
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 10 / 23

29. Automate avec coˆt de service
u
Utilisation des automates max-plus permettant de tenir compte des
sp´cificit´s de BPEL ´tendu.
e e e
D´finition (Automate avec coˆt de service)
e u
Etant donn´ un ensemble non-vide C ∈ Q de coˆts de service, un
e u
automate avec coˆt de service sur Σ est un sextuple
u
A = (S, Σ, δ, s0 , sf , A), o` :
u
S est un ensemble fini non-vide d’´tats,
e
Σ est un ensemble fini non-vide d’actions,
δ ⊆ S × Σ × C × S est la relation de transition,
s0 ∈ S est l’´tat initial,
e
sf ∈ S est l’´tat final, et
e
A ⊆ S est un ensemble fini (´ventuellement vide) d’´tats
e e
d’acceptation interm´diaire.
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 10 / 23

30. Chemin r´ussi par un automate avec coˆt de service
e u
D´finition (Chemin r´ussi)
e e
Etant donn´ un automate avec coˆt de service A, un chemin r´ussi dans
e u e
A est une s´quence π = t0 , t1 , . . . , tn o` ti = (qi , ai , ci , qi +1 ) ∈ δ, q0 = s0
e u
et qn = sf ou qn ∈ A. On note Π = {π1 , . . . , πn , . . .} l’ensemble des
chemins r´ussi dans A.
e
La trace d’un chemin r´ussi est d´finie comme ´tant :
e e e
trace(π) = a0 .a1 . . . . .an
et le coˆt de π dans A comme ´tant :
u e
n
costA (π) = ci
i =1
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 11 / 23

31. Coˆt d’un mot dans un automate avec coˆt de service
u u
Le langage reconnus par A, d´not´ L(A), est l’ensemble des traces des
e e
chemins r´ussi dans A. Chaque element u ∈ L(A) est appell´ un mot.
e e
D´finition (Coˆt d’un mot)
e u
Etant donn´ un automate avec cout de service A, le coˆt d’un mot
e u
u ∈ L(A) est donn´ par la fonction :
e
costA : L(A) → Q
d´finie par :
e
max{costA (π) | π ∈ Π ∧ trace(π) = u}
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 12 / 23

32. Exemple du coˆt d’un mot
u
Coˆt du mot u = a.b.c ?
u
q0
a/2 a/4
q1 q3
b/5 b/2
q2 q4
c/3 c/5
qf
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 13 / 23

33. Exemple du coˆt d’un mot
u
Coˆt du mot u = a.b.c ?
u
q0
a/2 a/4
q1 q3
costA (π1 ) = 10 b/5 b/2
q2 q4
c/3 c/5
qf
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 13 / 23

34. Exemple du coˆt d’un mot
u
Coˆt du mot u = a.b.c ?
u
q0
a/2 a/4
q1 q3
costA (π1 ) = 10 b/5 b/2 costA (π2 ) = 11
q2 q4
c/3 c/5
qf
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 13 / 23

35. Exemple du coˆt d’un mot
u
Coˆt du mot u = a.b.c ?
u
q0
a/2 a/4
q1 q3
costA (π1 ) = 10 b/5 b/2 costA (π2 ) = 11
q2 q4
c/3 c/5
qf
costA (u) = max{costA (π1 ), costA (π2 )}
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 13 / 23

36. De BPEL aux automates avec coˆt de service
u
D´finition de r`gles de traductions permettant de d´finir :
e e e
Actions de l’automate :
Actions de communication, not´es op:pt:p.
e
Actions silencieuses, not´es τ .
e √
Actions de sortie de boucle, not´es .
e
Actions de terminaison, not´es .
e
Transitions de l’automate :
Transitions d’envois.
Transitions de r´ceptions.
e
Tau-transitions.
Transitions de sortie de boucle.
Transitions de terminaison.
Enchaˆ
ınement des transitions de l’automate.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

37. De BPEL aux automates avec coˆt de service
u
D´finition de r`gles de traductions permettant de d´finir :
e e e
Actions de l’automate :
Actions de communication, not´es op:pt:p.
e
Actions silencieuses, not´es τ .
e √
Actions de sortie de boucle, not´es .
e
Actions de terminaison, not´es .
e
Transitions de l’automate :
Transitions d’envois.
Transitions de r´ceptions.
e
Tau-transitions.
Transitions de sortie de boucle.
Transitions de terminaison.
Enchaˆ
ınement des transitions de l’automate.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

38. De BPEL aux automates avec coˆt de service
u
D´finition de r`gles de traductions permettant de d´finir :
e e e
Actions de l’automate :
Actions de communication, not´es op:pt:p.
e
Actions silencieuses, not´es τ .
e √
Actions de sortie de boucle, not´es .
e
Actions de terminaison, not´es .
e
Transitions de l’automate :
Transitions d’envois.
Transitions de r´ceptions.
e
Tau-transitions.
Transitions de sortie de boucle.
Transitions de terminaison.
Enchaˆ
ınement des transitions de l’automate.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

39. De BPEL aux automates avec coˆt de service
u
D´finition de r`gles de traductions permettant de d´finir :
e e e
Actions de l’automate :
Actions de communication, not´es op:pt:p.
e
Actions silencieuses, not´es τ .
e √
Actions de sortie de boucle, not´es .
e
Actions de terminaison, not´es .
e
Transitions de l’automate :
Transitions d’envois.
Transitions de r´ceptions.
e
Tau-transitions.
Transitions de sortie de boucle.
Transitions de terminaison.
Enchaˆ
ınement des transitions de l’automate.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

40. De BPEL aux automates avec coˆt de service
u
Activit´ BPEL
e
<invoke partnerLink=”A” portType=”pt” operation=”op1” inputVariable=”x”>
<costs>
<cost type=”executionTime” value=”3”/>
<cost type=”financialCost” value=”25”/>
</costs>
</invoke>
Automate
’op1:pt:A/c
qi qj
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

41. De BPEL aux automates avec coˆt de service
u
Activit´ BPEL
e
<invoke partnerLink=”A” portType=”pt” operation=”op1” inputVariable=”x”
outputVariable=”y”>
<costs>
<cost type=”executionTime” value=”3”/>
<cost type=”financialCost” value=”25”/>
</costs>
</invoke>
Automate
’op1:pt:A/c op1:pt:A/0
qi qj qk
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

42. De BPEL aux automates avec coˆt de service
u
Activit´ BPEL
e
<while condition=”booleanCondition”>
activity
</while>
Automate
√
,0
qi qj
activity
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

43. De BPEL aux automates avec coˆt de service
u
Activit´ BPEL
e
<flow>
activity1
...
activityn
</flow>
Automate
activity2
q1
activity1
activityn
qi qj
activity1
activityn
qn
activityn−1
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 14 / 23

44. Sch´ma de v´rification
e e
Service 1
Automate
BPEL avec coˆt
u
´tendu
e de service
Substituable ?
Service 2
Automate
BPEL avec coˆt
u
´tendu
e de service
Comment tenir compte de la qualit´ de service avec les normes actuelles ?
e
Quel mod`le formel pour repr´senter les services Web ?
e e
Comment dire que deux services Web sont substituables ?
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 15 / 23

45. (a,b)-substitutivit´
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre si :
le remplacant fournit au moins les mˆmes services que le service Web
e
a
` remplacer, et
les coˆts des deux services Web sont similaires consid´rant deux
u e
valeurs a, b ∈ Q.
D´finition ((a, b)-substitutivit´)
e e
Soient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et
e u
A2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1
e
peut ˆtre (a, b)-substitu´ par S2 si :
e e
1 L(A1 ) ⊆ L(A2 ), et
2 ∀u ∈ L(A1 ), costA2 (u) ≤ a.costA1 (u) + b
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 16 / 23

46. (a,b)-substitutivit´
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre si :
le remplacant fournit au moins les mˆmes services que le service Web
e
a
` remplacer, et
les coˆts des deux services Web sont similaires consid´rant deux
u e
valeurs a, b ∈ Q.
D´finition ((a, b)-substitutivit´)
e e
Soient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et
e u
A2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1
e
peut ˆtre (a, b)-substitu´ par S2 si :
e e
1 L(A1 ) ⊆ L(A2 ), et
2 ∀u ∈ L(A1 ), costA2 (u) ≤ a.costA1 (u) + b
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 16 / 23

47. (a,b)-substitutivit´
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre si :
le remplacant fournit au moins les mˆmes services que le service Web
e
a
` remplacer, et
les coˆts des deux services Web sont similaires consid´rant deux
u e
valeurs a, b ∈ Q.
D´finition ((a, b)-substitutivit´)
e e
Soient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et
e u
A2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1
e
peut ˆtre (a, b)-substitu´ par S2 si :
e e
1 L(A1 ) ⊆ L(A2 ), et
2 ∀u ∈ L(A1 ), costA2 (u) ≤ a.costA1 (u) + b
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 16 / 23

48. (a,b)-substitutivit´
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre si :
le remplacant fournit au moins les mˆmes services que le service Web
e
a
` remplacer, et
les coˆts des deux services Web sont similaires consid´rant deux
u e
valeurs a, b ∈ Q.
D´finition ((a, b)-substitutivit´)
e e
Soient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et
e u
A2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1
e
peut ˆtre (a, b)-substitu´ par S2 si :
e e
1 L(A1 ) ⊆ L(A2 ), et
2 ∀u ∈ L(A1 ), costA2 (u) ≤ a.costA1 (u) + b
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 16 / 23

49. D´cidabilit´ de la (a, b)-substitutivit´
e e e
L’inclusion de langages est d´cidable.
e
L’´quivalence de deux automates max-plus est d´cidable si ils sont
e e
finiment ambigus [Web94, HIJ02].
Th´or`me
e e
La (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus.
e e
En pratique, les automates g´n´r´s ` partir de descriptions BPEL sont
e ee a
g´n´ralement non-ambigus.
e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 17 / 23

50. D´cidabilit´ de la (a, b)-substitutivit´
e e e
L’inclusion de langages est d´cidable.
e
L’´quivalence de deux automates max-plus est d´cidable si ils sont
e e
finiment ambigus [Web94, HIJ02].
Th´or`me
e e
La (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus.
e e
En pratique, les automates g´n´r´s ` partir de descriptions BPEL sont
e ee a
g´n´ralement non-ambigus.
e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 17 / 23

51. D´cidabilit´ de la (a, b)-substitutivit´
e e e
L’inclusion de langages est d´cidable.
e
L’´quivalence de deux automates max-plus est d´cidable si ils sont
e e
finiment ambigus [Web94, HIJ02].
Th´or`me
e e
La (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus.
e e
En pratique, les automates g´n´r´s ` partir de descriptions BPEL sont
e ee a
g´n´ralement non-ambigus.
e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 17 / 23

52. D´cidabilit´ de la (a, b)-substitutivit´
e e e
L’inclusion de langages est d´cidable.
e
L’´quivalence de deux automates max-plus est d´cidable si ils sont
e e
finiment ambigus [Web94, HIJ02].
Th´or`me
e e
La (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus.
e e
En pratique, les automates g´n´r´s ` partir de descriptions BPEL sont
e ee a
g´n´ralement non-ambigus.
e e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 17 / 23

53. Remplacabilit´ de services Web
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre et inversement.
D´finition ` partir de la d´finition de la (a, b)-substitutivit´.
e a e e
Egalit´ de langages et proportionnalit´ des coˆts.
e e u
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 18 / 23

54. Remplacabilit´ de services Web
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre et inversement.
D´finition ` partir de la d´finition de la (a, b)-substitutivit´.
e a e e
Egalit´ de langages et proportionnalit´ des coˆts.
e e u
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 18 / 23

55. Remplacabilit´ de services Web
e
Notion permettant de dire qu’un service Web donn´ peut ˆtre remplac´
e e e
par un autre et inversement.
D´finition ` partir de la d´finition de la (a, b)-substitutivit´.
e a e e
Egalit´ de langages et proportionnalit´ des coˆts.
e e u
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 18 / 23

56. Impl´mentation de l’approche
e
Service 1
a, b ∈ Q
BPEL
´tendu
e
Module de v´rification
Module de traduction
A1
Services 1 et 2
e
A⊗ ≤ substituables ?
Service 2 A2
BPEL
´tendu
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 19 / 23

57. Impl´mentation de l’approche
e
Service 1
a, b ∈ Q
BPEL
´tendu
e
Module de v´rification
Module de traduction
A1
Services 1 et 2
e
A⊗ ≤ substituables ?
Service 2 A2
BPEL
´tendu
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 19 / 23

58. Impl´mentation de l’approche
e
Service 1
a, b ∈ Q
BPEL
´tendu
e
Module de v´rification
Module de traduction
A1
Services 1 et 2
e
A⊗ ≤ substituables ?
Service 2 A2
BPEL
´tendu
e
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 19 / 23

59. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

60. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

61. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

62. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

63. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

64. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

65. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

66. Perspectives
Perspectives th´oriques :
e
D´finition d’une notion de compatibilit´ requˆtes/services.
e e e
Utilisation d’autres relations d’´quivalence ` la place de l’´quivalence
e a e
de trace.
Extension des automates avec coˆt de service avec des gardes sur les
u
transitions.
Perspectives pratiques :
Int´gration des diff´rentes notions au module de v´rification.
e e e
Am´lioration de l’impl´mentation de l’algorithme de v´rification de la
e e e
(a,b)-substitutivit´.
e
D´veloppement d’un module de traduction pour une version ´tendue
e e
de OASIS WS-BPEL 2.0.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 20 / 23

67. R´f´rences I
ee
Ivona Brandic, Sabri Pilana, and Siegfried Benkner.
High-level Composition of QoS-aware Grid Workflows: An Approach
that Considers Location Affinity.
In Proc. of the HPDC-15 Workshop on Workflows in Support of
Large-Scale Science (WORKS’06), Paris, France, 2006.
Antonella Chirichiello and Gwen Salaun.
Formal Development of Web Services.
In Proc. of the 4th International Workshop on AI for Service
Composition (AISC’06), Trento, Italy, 2006.
Howard Foster.
A Rigourous Approach to Engineering Web Service Compositions.
PhD thesis, Imperial College London, 2006.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 21 / 23

68. R´f´rences II
ee
Rachid Hamadi and Boualem Benatallah.
A Petri Net-based Model for Web Service Composition.
In Proc. of the 14th Australasian Database Conference (ADC’03),
Adelaide, Australia, 2003.
Kosaburo Hashiguchi, Kenichi Ishiguro, and Shuji Jimbo.
Decidability of the Equivalence Problem for Finitely Ambiguous
Finance Automata.
IJAC, 12(3), 2002.
Alexander Keller and Heiko Ludwig.
The WSLA Framework: Specifying and Monitoring of Service Level
Agreements for Web Services.
Technical Report IBM RC22456, 2002.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 22 / 23

69. R´f´rences III
ee
Akhil Sahai, Anna Durante, and Vijay Machiraju.
Towards Automated SLA Management for Web Services.
Technical Report Research report HPL-2001-310 (R.1), 2002.
Ali Shaikh Ali, Omer F. Rana, Rashid J. Al-Ali, and David W. Walker.
UDDIe: An Extended Registry for Web Service.
In Proc. of the 2003 Symposium on Applications and the Internet
Workshops (SAINT’03), Orlando, FL, USA, 2003.
Min Tian.
QoS integration in Web services with the WS-QoS framework.
PhD thesis, Fachbereich Mathematik und Informatik, Freie Universitat
Berlin, 2005.
Andreas Weber.
Finite-valued Distance Automata.
TCS, 134, 1994.
J´rˆme Voinot (LIFC)
eo Substitutivit´ et QoS
e ARA COPS – mars 07 23 / 23