compatibility and replaceability analysis for timed …...3laboratoire limos, isima,...
TRANSCRIPT
![Page 1: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/1.jpg)
Compatibility and replaceability analysis for
timed web service protocols
Boualem Benatallah1 Fabio Casati2 Julien Ponge3,1
Farouk Toumani3
1Computer School of Engineering, The University of New South Wales, Sydney,Australia
2Hewlett-Packard Laboratories, Palo Alto, California, USA
3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France
21emes journees Bases de Donnees AvanceesSaint-Malo
![Page 2: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/2.jpg)
Compatibility and replaceability analysis for timed web service protocols
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
2 / 38
![Page 3: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/3.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
3 / 38
![Page 4: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/4.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Les web services aujourd’hui
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
4 / 38
![Page 5: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/5.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Les web services aujourd’hui
Web services ?
”Les web services sont la nouvelle vague desapplications web. Ce sont des applicationsmodulaires, auto-contenues et auto-descriptives quipeuvent etre publiees, localisees et invoquees depuisle web.” – Tutoriel IBM DeveloperWorks
Evolution middlewares classiques (MOM / RPC).
Emplois de standards : XML, SOAP, HTTP(S), SMTP, ...
Services-Oriented Computing, couplage faible.
5 / 38
![Page 6: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/6.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Les web services aujourd’hui
Web services ?
”Les web services sont la nouvelle vague desapplications web. Ce sont des applicationsmodulaires, auto-contenues et auto-descriptives quipeuvent etre publiees, localisees et invoquees depuisle web.” – Tutoriel IBM DeveloperWorks
Evolution middlewares classiques (MOM / RPC).
Emplois de standards : XML, SOAP, HTTP(S), SMTP, ...
Services-Oriented Computing, couplage faible.
5 / 38
![Page 7: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/7.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Les web services aujourd’hui
Scenario usuel
Internet
Annuaire
Web service
SI, WS, Apps, ...
1
WSDL
2
3
6 / 38
![Page 8: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/8.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Les web services aujourd’hui
Pour le developpeur ...
SOAP / WSDL tres bienacceptes, UDDI ... moins.
Services riches (ex : Amazon) :beaucoup d’operations.
Difficultes pour ”comprendre” leservice.
Standards bas-niveau, operationsmanuelles.
7 / 38
![Page 9: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/9.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
8 / 38
![Page 10: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/10.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
(Une) Pile des web services
HTTP(S), SMTP, IIOP, ... XML
SOAP
WSDL
WSCI, WSCL, BPEL4WS, ...,
Découverte
Sécurité
QoS
Management
Business issues
Bas-niveau
Haut-niveau
=⇒ Proliferation des standards (WS-*), orientesprincipalement implementation.
9 / 38
![Page 11: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/11.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
(Une) Pile des web services
HTTP(S), SMTP, IIOP, ... XML
SOAP
WSDL
WSCI, WSCL, BPEL4WS, ...,
Découverte
Sécurité
QoS
Management
Business issues
Bas-niveau
Haut-niveau
=⇒ Proliferation des standards (WS-*), orientesprincipalement implementation.
9 / 38
![Page 12: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/12.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
ServiceMozaic
Conception, developpement et gestion de services.
Ensemble d’outils orientes-modeles.
J2EE + Eclipse.
10 / 38
![Page 13: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/13.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
ServiceMozaic
10 / 38
![Page 14: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/14.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Business protocols
Representer l’ensemble des conversations (comportementexterne).
Permettre des analyses via une algebre.
Automate deterministe :
etats ←→ phases durant l’interaction clienttransitions ←→ messages echanges (in / out ∼ +/−).
Instances multiples et concurrentes.
11 / 38
![Page 15: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/15.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Exemple – Amazon AWS
searchIn
cartRequestOutstart
searchOut shopping
cartRequestIn
keywordSearchRequest(+)
keywordSearchResponse(-)
addShoppingCartItemsRequest(+)
modifyShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
keywordSearchRequest(+)getShoppingCartRequest(+)
shoppingCartResponse(-)
modifyShoppingCartItemsRequest(+)
addShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
getShoppingCartRequest(+)12 / 38
![Page 16: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/16.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Identifier / modeliser des abstractions
Compromis expressivite / complexite.
Travaux precedents sur des portails e-commerce.
Modele de base simple et intuitif.
Extensions pour les abstractions, ici le temps.
13 / 38
![Page 17: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/17.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Intuition vis-a-vis du temps
searchIn
cartRequestOutstart
searchOut shopping
cartRequestIn
keywordSearchRequest(+)
keywordSearchResponse(-)
addShoppingCartItemsRequest(+)
modifyShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
keywordSearchRequest(+)getShoppingCartRequest(+)
shoppingCartResponse(-)
modifyShoppingCartItemsRequest(+)
addShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
getShoppingCartRequest(+)
14 / 38
![Page 18: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/18.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Vers des abstractions de plus haut-niveau
Intuition vis-a-vis du temps
searchIn
cartRequestOutstart
searchOut shopping
cartRequestIn
keywordSearchRequest(+)
keywordSearchResponse(-)
addShoppingCartItemsRequest(+)
modifyShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
keywordSearchRequest(+)getShoppingCartRequest(+)
shoppingCartResponse(-)
modifyShoppingCartItemsRequest(+)
addShoppingCartItemsRequest(+)
removeShoppingCartItemsRequest(+)
getShoppingCartRequest(+)
timeout, 10 minutes
14 / 38
![Page 19: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/19.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Compatibilite, remplacabilite
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
15 / 38
![Page 20: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/20.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Compatibilite, remplacabilite
Compatibilite
s0 s1 s2a(+) b(+)
s0' s1' s2'a(-) b(-)
P1
P2
2 services peuvent converser
16 / 38
![Page 21: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/21.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Compatibilite, remplacabilite
Remplacabilite
s0 s1 s2a(+) b(+)
s0' s1' s3'a(+) b(+)
P1
P2
s2'c(+)
1 service peut en remplacer un autre
17 / 38
![Page 22: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/22.jpg)
Compatibility and replaceability analysis for timed web service protocols
Introduction
Compatibilite, remplacabilite
Approche pour l’analyse
Classes de compatibilite.
Caracterisation a l’aide d’operateurs de protocoles.
Algorithmes ad-hoc pour les operateurs.
18 / 38
![Page 23: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/23.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
19 / 38
![Page 24: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/24.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
20 / 38
![Page 25: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/25.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Extension du modele de base
Introduction detransitions implicites.
Modelisation intervallesde validite / expirations.
s0
s1
s2
a(+)
b(+)
P
s3i1: 60s
s4
b(+) c(+)
21 / 38
![Page 26: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/26.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Formalisation
Web services business protocol
P = (S, s0,F , M,R)
Timed web services business protocol :
M = Me ∪ Mi
Pour R(s, s′, m), m ∈ Mi, definition deTime(s, m)→ t ∈ Q≥0.
22 / 38
![Page 27: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/27.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Formalisation
Web services business protocol
P = (S, s0,F , M,R)
Timed web services business protocol :
M = Me ∪ Mi
Pour R(s, s′, m), m ∈ Mi, definition deTime(s, m)→ t ∈ Q≥0.
22 / 38
![Page 28: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/28.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Formalisation – cont.
Protocoles deterministes.
Au plus 1 transition implicite par etat.
Pas de deadlocks.
Hypotheses :
transitions instantaneestemps relatif / entree dans un etat setats atteignablespas de circuits implicites.
23 / 38
![Page 29: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/29.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Exemple : mauvais protocole
s0
s1
a(+)
b(+)
s3
s4
c(+)
s2 s5
i1: 60s
i2: 35s
i3: 70s
24 / 38
![Page 30: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/30.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Semantique
2 types de contraintes :
conversations – Linear time
a(+) · b(−) · c(+)
temporelles – traces temporisees
(a(+), 0) · (b(−), 3) · (c(+), 20)
On s’interesse aux traces observables.
25 / 38
![Page 31: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/31.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Presentation
Semantique
2 types de contraintes :
conversations – Linear time
a(+) · b(−) · c(+)
temporelles – traces temporisees
(a(+), 0) · (b(−), 3) · (c(+), 20)
On s’interesse aux traces observables.
25 / 38
![Page 32: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/32.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
26 / 38
![Page 33: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/33.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Classes de compatibilite et remplacabilite
Compatibilite : totale et partielle.
Remplacabilite :
equivalence, partielle et subsomptionpar rapport a un protocole clientpar rapport a un role d’interaction
→ originalite : flexibilite.
27 / 38
![Page 34: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/34.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Classes de compatibilite et remplacabilite
Compatibilite : totale et partielle.
Remplacabilite :
equivalence, partielle et subsomptionpar rapport a un protocole clientpar rapport a un role d’interaction
→ originalite : flexibilite.
27 / 38
![Page 35: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/35.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Difficulte
start
s1
P1 s0 s2
s3 s4
x(+)
a(+)
b(-)
c(+) i: 540min
start s0' s3'
s4'
s1' s5'
s6'
s2'
s7's8'
P2 x(-) a(-)
b(+)
i1: 240min
b(+)
c(-)
i2: 300min
b(+)i3: 240min
→ P1 et P2 sontcompatibles !
→ Transitionsimplicitementdisponibles.
s′0, s0 :
(P1)
8<: a : [0min, 540min]b : [0min, 540min]c : [0min, 540min]
(P2)
8<: a : [0min, 240min]b : [0min, 780min]c : [240min, 540min]
28 / 38
![Page 36: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/36.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Operateurs
Timed compatible composition : ‖TC
Timed intersection : ‖TI
Timed difference : ‖TD
Projection : [P1 ‖TC P2]P1
29 / 38
![Page 37: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/37.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Exemple : difference temporisee
s0
s3
s1 s2
s4
i: 3min
a(-) b(+)
c(+)
s0 s1 s2 s3a(-) b(+) c(+)
s0 s1 s2
s4
a(-) b(+) s2i: 3min
c(+)
P3 = P2 !TD P1
P1
P2
P3
30 / 38
![Page 38: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/38.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Analyse
Caracterisation
Caracterisation des classes de compatibilite etremplacabilite par les operateurs.
Ex : TReplPC(P1,P2)
PC ‖TC (P2 ‖TD P1) = ∅
31 / 38
![Page 39: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/39.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Algorithmes
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
32 / 38
![Page 40: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/40.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Algorithmes
Resultats
Algorithmes polynomiaux pour les operateurs.
Algorithme de fermeture de transitions implicite.
Time-state space : disponibilites temporelles d’unetransition depuis un etat.
33 / 38
![Page 41: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/41.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Algorithmes
Expliciter par fermeture
s0
s1
s2
a(+)
b(+)
P
s3i1: 60s
s4
b(+) c(+)
Depuis s1 :
b : ([0, +∞[, s1)c : ([60, +∞[, s1)
34 / 38
![Page 42: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/42.jpg)
Compatibility and replaceability analysis for timed web service protocols
Timed business protocols
Algorithmes
Expliciter par fermeture
s0
s1
s2
a(+)
b(+)
P
s3i1: 60s
s4
b(+) c(+)
Depuis s1 :
b : ([0, +∞[, s1)c : ([60, +∞[, s1)
34 / 38
![Page 43: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/43.jpg)
Compatibility and replaceability analysis for timed web service protocols
Conclusion et perspectives
Agenda
1 IntroductionLes web services aujourd’huiVers des abstractions de plus haut-niveauCompatibilite, remplacabilite
2 Timed business protocolsPresentationAnalyseAlgorithmes
3 Conclusion et perspectives
35 / 38
![Page 44: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/44.jpg)
Compatibility and replaceability analysis for timed web service protocols
Conclusion et perspectives
Contribution
Modele temporise pour le comportement externe deservices.
Analyse flexible de compatibilite et remplacabilite.
Operateurs generiques + algorithmes.
36 / 38
![Page 45: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/45.jpg)
Compatibility and replaceability analysis for timed web service protocols
Conclusion et perspectives
Perspectives
Limite : contraintes par rapport au dernier message.
Lien avec les timed automata.
Integration dans ServiceMozaic.
37 / 38
![Page 46: Compatibility and replaceability analysis for timed …...3Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21`emes journ´ees Bases de Donn´ees Avanc´ees Saint-Malo Compatibility](https://reader033.vdocuments.site/reader033/viewer/2022042909/5f3d050dbf91fa74254f7d0a/html5/thumbnails/46.jpg)
Merci pour votre attention.