A theory of design-by-contract for distributed multiparty interactions

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.