Talk
"Choreography, Session Types and Interactional Exceptions"
Marco Carbone, Queen Mary University of London
Tuesday, November 25, 2008 at 10:30 A.M.
Room 368 (CIT 3rd floor)
In this talk, I shall introduce two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal calculi based on session types. The global calculus, which originates from a web service description language (W3C WS-CDL), describes an interaction scenario from a vantage viewpoint; the end-point calculus, an applied typed pi-calculus, precisely identifies a local behaviour of each participant. We explore a theory of end-point projection, by which we can map a global description to its end-point counterpart preserving types and dynamics. Three principles of well-structured description and the type structures play a fundamental role in the theory.
I shall also introduce an extension the global calculus with a communication-based (interactional) exception mechanism and discuss how interactional exceptions at choreography level can be implemented into end-point code.
Host: Shriram Krishnamurthi
| Page Owner: Webmaster | Last Modified: Mon Nov 17 10:06:15 2008 |