21 October 2009
San Micheletto - Via S. Micheletto 3 (Classroom 6 )
Abstract Reliability is a critical issue in multi-organizational, distributed applications. Design by Contract traditionally addresses reliability by elaborating type signatures for sequential programs centring on asymmetric procedural invocations. This talk will present a generalisation of the Design by Contract paradigm to multiparty distributed applications each using one or more complex, and possibly long-running, application-level protocols. The main contribution is an assertion method for distributed multiparty interactions centring on the notion of global assertion, which specifies constraints on a whole interaction scenario by elaborating multiparty session types.
Tuosto, Emilio - University of Leicester - Leicester