Int´gration de la qualit´ de service dans la v´rification de   e                    e                     e            la s...
Plan de la pr´sentation             eMotivationsMod´lisation des services Web et des aspects de qualit´ de service   e    ...
MotivationsUtilisation des services Web en tant que composants d’applications.                                            ...
MotivationsUtilisation des services Web en tant que composants d’applications.                                            ...
MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la                     esubstitution d...
MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la                     esubstitution d...
MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la                     esubstitution d...
Sch´ma de v´rification   e       e       Service 1        Fichier            Mod`le                               e        ...
Sch´ma de v´rification   e       e       Service 1        Fichier            Mod`le                               e        ...
Sch´ma de v´rification   e       e       Service 1        Fichier            Mod`le                               e        ...
Sch´ma de v´rification   e       e       Service 1        Fichier            Mod`le                               e        ...
Sch´ma de v´rification   e       e       Service 1        Fichier            Mod`le                               e        ...
Qualit´ de service pour les services Web      eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web...
Qualit´ de service pour les services Web      eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web...
Qualit´ de service pour les services Web      eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web...
Qualit´ de service pour les services Web      eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web...
Extension de BPEL4WS 1.1Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de                                ...
Extension de BPEL4WS 1.1Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de                                ...
Extension de BPEL4WS 1.1Introduction d’aspects de qualit´ de service dans BPEL (inspir´ de                                ...
Sch´ma de v´rification   e       e       Service 1                           Mod`le                               e        ...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Mod´lisation des services Web   eUtilisation de diff´rents mod`les formels tels que :                  e         e    R´sea...
Automate avec coˆt de service                uUtilisation des automates max-plus permettant de tenir compte dessp´cificit´s...
Automate avec coˆt de service                uUtilisation des automates max-plus permettant de tenir compte dessp´cificit´s...
Chemin r´ussi par un automate avec coˆt de service        e                            uD´finition (Chemin r´ussi) e       ...
Coˆt d’un mot dans un automate avec coˆt de service  u                                   uLe langage reconnus par A, d´not...
Exemple du coˆt d’un mot             uCoˆt du mot u = a.b.c ?  u                                          q0              ...
Exemple du coˆt d’un mot             uCoˆt du mot u = a.b.c ?  u                                          q0              ...
Exemple du coˆt d’un mot             uCoˆt du mot u = a.b.c ?  u                                          q0              ...
Exemple du coˆt d’un mot             uCoˆt du mot u = a.b.c ?  u                                                   q0     ...
De BPEL aux automates avec coˆt de service                             uD´finition de r`gles de traductions permettant de d...
De BPEL aux automates avec coˆt de service                             uD´finition de r`gles de traductions permettant de d...
De BPEL aux automates avec coˆt de service                             uD´finition de r`gles de traductions permettant de d...
De BPEL aux automates avec coˆt de service                             uD´finition de r`gles de traductions permettant de d...
De BPEL aux automates avec coˆt de service                             uActivit´ BPEL       e<invoke partnerLink=”A” portT...
De BPEL aux automates avec coˆt de service                             uActivit´ BPEL       e<invoke partnerLink=”A” portT...
De BPEL aux automates avec coˆt de service                             uActivit´ BPEL       e<while condition=”booleanCond...
De BPEL aux automates avec coˆt de service                             uActivit´ BPEL       e<flow>  activity1  ...  activi...
Sch´ma de v´rification   e       e       Service 1                           Automate        BPEL               avec coˆt  ...
(a,b)-substitutivit´                   eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´              ...
(a,b)-substitutivit´                   eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´              ...
(a,b)-substitutivit´                   eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´              ...
(a,b)-substitutivit´                   eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´              ...
D´cidabilit´ de la (a, b)-substitutivit´ e         e                           eL’inclusion de langages est d´cidable.    ...
D´cidabilit´ de la (a, b)-substitutivit´ e         e                           eL’inclusion de langages est d´cidable.    ...
D´cidabilit´ de la (a, b)-substitutivit´ e         e                           eL’inclusion de langages est d´cidable.    ...
D´cidabilit´ de la (a, b)-substitutivit´ e         e                           eL’inclusion de langages est d´cidable.    ...
Remplacabilit´ de services Web             eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´          ...
Remplacabilit´ de services Web             eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´          ...
Remplacabilit´ de services Web             eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´          ...
Impl´mentation de l’approche    e Service 1                                                                               ...
Impl´mentation de l’approche    e Service 1                                                                               ...
Impl´mentation de l’approche    e Service 1                                                                               ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
PerspectivesPerspectives th´oriques :               e    D´finition d’une notion de compatibilit´ requˆtes/services.     e ...
R´f´rences I ee   Ivona Brandic, Sabri Pilana, and Siegfried Benkner.   High-level Composition of QoS-aware Grid Workflows:...
R´f´rences II ee   Rachid Hamadi and Boualem Benatallah.   A Petri Net-based Model for Web Service Composition.   In Proc....
R´f´rences III ee   Akhil Sahai, Anna Durante, and Vijay Machiraju.   Towards Automated SLA Management for Web Services.  ...
Prochain SlideShare
Chargement dans…5
×

Cops nancy jerome

315 vues

Publié le

0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
315
Sur SlideShare
0
Issues des intégrations
0
Intégrations
4
Actions
Partages
0
Téléchargements
3
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

Cops nancy jerome

  1. 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. 2. Plan de la pr´sentation eMotivationsMod´lisation des services Web et des aspects de qualit´ de service e eV´rification de la substitutivit´ des services Web e eImpl´mentation de l’approche ePerspectives J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 2 / 23
  3. 3. MotivationsUtilisation des services Web en tant que composants d’applications. R´servation e Avion Agence de R´servation e Client voyage Hotel BanqueImplique la possibilit´ de pouvoir remplacer ` tout moment un service par e aun autre (d´faillance, ...). e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 3 / 23
  4. 4. MotivationsUtilisation 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 BanqueImplique la possibilit´ de pouvoir remplacer ` tout moment un service par e aun autre (d´faillance, ...). e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 3 / 23
  5. 5. MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la esubstitution 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 pasdes performances ´quivalentes. eRester 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. 6. MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la esubstitution 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 pasdes performances ´quivalentes. eRester 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. 7. MotivationsTenir compte de crit`res qualitatifs et/ou quantitatifs dans le cadre de la esubstitution 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 pasdes performances ´quivalentes. eRester 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. 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 descriptionComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 5 / 23
  9. 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 descriptionComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 5 / 23
  10. 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 descriptionComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 5 / 23
  11. 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 descriptionComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 5 / 23
  12. 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 descriptionComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 5 / 23
  13. 13. Qualit´ de service pour les services Web eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web e epar 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. 14. Qualit´ de service pour les services Web eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web e epar 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. 15. Qualit´ de service pour les services Web eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web e epar 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. 16. Qualit´ de service pour les services Web eD´finition de ce qu’est la qualit´ de service dans le cadre des services Web e epar 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. 17. Extension de BPEL4WS 1.1Introduction 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. 18. Extension de BPEL4WS 1.1Introduction 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. 19. Extension de BPEL4WS 1.1Introduction 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. 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 eComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 8 / 23
  21. 21. Mod´lisation des services Web eUtilisation 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. 22. Mod´lisation des services Web eUtilisation 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. 23. Mod´lisation des services Web eUtilisation 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. 24. Mod´lisation des services Web eUtilisation 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. 25. Mod´lisation des services Web eUtilisation 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. 26. Mod´lisation des services Web eUtilisation 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. 27. Mod´lisation des services Web eUtilisation 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. 28. Automate avec coˆt de service uUtilisation des automates max-plus permettant de tenir compte dessp´cificit´s de BPEL ´tendu. e e eD´finition (Automate avec coˆt de service) e uEtant donn´ un ensemble non-vide C ∈ Q de coˆts de service, un e uautomate avec coˆt de service sur Σ est un sextuple uA = (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. 29. Automate avec coˆt de service uUtilisation des automates max-plus permettant de tenir compte dessp´cificit´s de BPEL ´tendu. e e eD´finition (Automate avec coˆt de service) e uEtant donn´ un ensemble non-vide C ∈ Q de coˆts de service, un e uautomate avec coˆt de service sur Σ est un sextuple uA = (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. 30. Chemin r´ussi par un automate avec coˆt de service e uD´finition (Chemin r´ussi) e eEtant donn´ un automate avec coˆt de service A, un chemin r´ussi dans e u eA est une s´quence π = t0 , t1 , . . . , tn o` ti = (qi , ai , ci , qi +1 ) ∈ δ, q0 = s0 e uet qn = sf ou qn ∈ A. On note Π = {π1 , . . . , πn , . . .} l’ensemble deschemins r´ussi dans A. eLa trace d’un chemin r´ussi est d´finie comme ´tant : e e e trace(π) = a0 .a1 . . . . .anet 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. 31. Coˆt d’un mot dans un automate avec coˆt de service u uLe langage reconnus par A, d´not´ L(A), est l’ensemble des traces des e echemins r´ussi dans A. Chaque element u ∈ L(A) est appell´ un mot. e eD´finition (Coˆt d’un mot) e uEtant donn´ un automate avec cout de service A, le coˆt d’un mot e uu ∈ L(A) est donn´ par la fonction : e costA : L(A) → Qd´finie par : e max{costA (π) | π ∈ Π ∧ trace(π) = u} J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 12 / 23
  32. 32. Exemple du coˆt d’un mot uCoˆ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. 33. Exemple du coˆt d’un mot uCoˆ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. 34. Exemple du coˆt d’un mot uCoˆ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. 35. Exemple du coˆt d’un mot uCoˆ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. 36. De BPEL aux automates avec coˆt de service uD´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. 37. De BPEL aux automates avec coˆt de service uD´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. 38. De BPEL aux automates avec coˆt de service uD´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. 39. De BPEL aux automates avec coˆt de service uD´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. 40. De BPEL aux automates avec coˆt de service uActivit´ 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. 41. De BPEL aux automates avec coˆt de service uActivit´ 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. 42. De BPEL aux automates avec coˆt de service uActivit´ 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. 43. De BPEL aux automates avec coˆt de service uActivit´ 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. 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 serviceComment tenir compte de la qualit´ de service avec les normes actuelles ? eQuel mod`le formel pour repr´senter les services Web ? e eComment dire que deux services Web sont substituables ? J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 15 / 23
  45. 45. (a,b)-substitutivit´ eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar 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 eSoient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et e uA2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1 epeut ˆ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. 46. (a,b)-substitutivit´ eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar 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 eSoient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et e uA2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1 epeut ˆ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. 47. (a,b)-substitutivit´ eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar 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 eSoient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et e uA2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1 epeut ˆ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. 48. (a,b)-substitutivit´ eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar 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 eSoient a, b ∈ Q. Etant donn´ deux automates avec coˆt de service A1 et e uA2 repr´sentant respectivement deux services Web S1 et S2 , on dit que S1 epeut ˆ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. 49. D´cidabilit´ de la (a, b)-substitutivit´ e e eL’inclusion de langages est d´cidable. eL’´quivalence de deux automates max-plus est d´cidable si ils sont e efiniment ambigus [Web94, HIJ02].Th´or`me e eLa (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus. e eEn pratique, les automates g´n´r´s ` partir de descriptions BPEL sont e ee ag´n´ralement non-ambigus. e e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 17 / 23
  50. 50. D´cidabilit´ de la (a, b)-substitutivit´ e e eL’inclusion de langages est d´cidable. eL’´quivalence de deux automates max-plus est d´cidable si ils sont e efiniment ambigus [Web94, HIJ02].Th´or`me e eLa (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus. e eEn pratique, les automates g´n´r´s ` partir de descriptions BPEL sont e ee ag´n´ralement non-ambigus. e e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 17 / 23
  51. 51. D´cidabilit´ de la (a, b)-substitutivit´ e e eL’inclusion de langages est d´cidable. eL’´quivalence de deux automates max-plus est d´cidable si ils sont e efiniment ambigus [Web94, HIJ02].Th´or`me e eLa (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus. e eEn pratique, les automates g´n´r´s ` partir de descriptions BPEL sont e ee ag´n´ralement non-ambigus. e e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 17 / 23
  52. 52. D´cidabilit´ de la (a, b)-substitutivit´ e e eL’inclusion de langages est d´cidable. eL’´quivalence de deux automates max-plus est d´cidable si ils sont e efiniment ambigus [Web94, HIJ02].Th´or`me e eLa (a,b)-substitutivit´ est d´cidable si A1 et A2 sont finiment ambigus. e eEn pratique, les automates g´n´r´s ` partir de descriptions BPEL sont e ee ag´n´ralement non-ambigus. e e J´rˆme Voinot (LIFC) eo Substitutivit´ et QoS e ARA COPS – mars 07 17 / 23
  53. 53. Remplacabilit´ de services Web eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar un autre et inversement.D´finition ` partir de la d´finition de la (a, b)-substitutivit´. e a e eEgalit´ 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. 54. Remplacabilit´ de services Web eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar un autre et inversement.D´finition ` partir de la d´finition de la (a, b)-substitutivit´. e a e eEgalit´ 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. 55. Remplacabilit´ de services Web eNotion permettant de dire qu’un service Web donn´ peut ˆtre remplac´ e e epar un autre et inversement.D´finition ` partir de la d´finition de la (a, b)-substitutivit´. e a e eEgalit´ 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. 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. 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. 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. 59. PerspectivesPerspectives 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. 60. PerspectivesPerspectives 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. 61. PerspectivesPerspectives 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. 62. PerspectivesPerspectives 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. 63. PerspectivesPerspectives 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. 64. PerspectivesPerspectives 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. 65. PerspectivesPerspectives 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. 66. PerspectivesPerspectives 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. 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. 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. 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

×