compatibility and replaceability analysis for timed …...3laboratoire limos, isima,...

46
Compatibility and replaceability analysis for timed web service protocols Boualem Benatallah 1 Fabio Casati 2 Julien Ponge 3,1 Farouk Toumani 3 1 Computer School of Engineering, The University of New South Wales, Sydney, Australia 2 Hewlett-Packard Laboratories, Palo Alto, California, USA 3 Laboratoire LIMOS, ISIMA, Clermont-Ferrand, France 21 ` emes journ´ ees Bases de Donn´ ees Avanc´ ees Saint-Malo

Upload: others

Post on 12-Jul-2020

1 views

Category:

Documents


0 download

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Merci pour votre attention.