Accueil > Recherche > Séminaires > Exposé MeFoSyLoMa

Exposé MeFoSyLoMa

Par Sylvain Rampacek le vendredi 3 juin 2005 à 12h55

Exposé lors de la réunion du séminaire MeFoSyLoMa le 3 Juin 2005 : « A formal semantics for Web Services interaction ».

Résumé : Web Service protocols have been developed originally for standard communication or interface description of service (e.g. SOAP, WSDL). Currently, the effort go to behavioural description of Web Services, so as to be able to use them in a transactional context. We will study the XLANG and BPEL4WS language to show how its formalisation with a timed process algebra enables us to analyse it and to control its execution by a client (being a final user or another service). More precisely, our approach first defines a formal semantics for such languages. After an initial discrete time semantics, we have now developed a dense time semantics expressed with timed automata. We have devised generic algorithms to generate timed automata of Web services from their descriptions. In a second step, we define an adapted interaction relation (nearly equivalent to bisimulation) between client and services. Finally, we construct a client timed automaton corresponding to this interaction relation, starting from the service automata. During the construction, we also check if such a client automaton may be defined.

MeFoSyLoMa - 3 Juin 2005