Exposé Journée Services Web au LAMSADE
Par Sylvain Rampacek le mardi 24 janvier 2006 à 17h11
Exposé lors d’une journée "Services Web" au LAMSADE le 24 Janvier 2006 (PDF).
Résumé : Dans le but de la réutilisation par tous des Services Web publiques possédant une description fonctionnelle (WSDL) et comportementale (BPEL), la présence d’un client générique est indispensable. Dans un premier temps, nous vérifions la possibilité d’une interaction avec le service (service non ambiguë). Pour cela, une relation d’interaction a été définie en se basant sur les automates temporisés et notre sémantique formelle à base d’algèbres de processus. Dans un deuxième temps, nous générons l’automate décrivant le comportement du client, et enfin, nous générons le client lui-même, dont l’exécution sera guidée par une application ou un humain.
