Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Assembling Sessions

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Madhavan Mukund
Date
Le mardi 24 mai 2011 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Madhavan Mukund (Chennai Mathematical Institute, India)

Sessions are a central paradigm in Web services, as they allow the implementation of decentralized transactions with multiple participants. Sessions enable the cooperation of workflows while at the same time avoiding the mixing of workflows from distinct transactions.

Several languages such as BPEL, ORC, AXML have been proposed to implement Web Services. Sessions are usually implemented by attaching unique identifiers to transactions. The expressive power of these languages makes the properties of the implemented services undecidable.

In this talk, we propose a new formalism for modelling web services. Our model is session-based, but avoids using session identifiers. The model can be translated to a dialect of Petri nets that allows the verification of important properties of web services in terms of coverability in Petri nets.

This is joint work with Philippe Darondeau and Loic Helouet.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents