Etude des interactions temporisées dans la composition de services Web
190
0
0
Texte intégral
Figure
+7
Outline
Le probl` eme de composition temporis´ ee
Les automates temporis´ es
Analyse et v´ erification des services Web
Composition de services Web
S´ emantique des protocoles de conversations temporis´ ees
Analyse formelle de compatibilit´ e
Construction des connexions P2P temporis´ ees
Propri´ et´ e de sˆ uret´ e
Documents relatifs