15:00-15:30: Sylvain Rampacek (LAMSADE et université de Reims) A formal semantics for Web services interaction 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.

15:30-16:00: coffee break

16:00-17:00: Fabrice Kordon (LIP6), Laure Petrucci (LIPN), Nicolas Trèves (CNAM) Petri nets normalisation: the ISO/IEC 15909 status We will present the status of ISO/IEC 15909 normalisation process, with a particular focus on the advancement of part 2. It will summarise the discussions taking place at the editorial meeting in Helsinki the week before the seminar. The current work and future trends will also be explained.

17:00-17:30: Discussion