Trustworthy Multiparty Sessions

ROBERTO BRUNI; IVAN LANESE; LEONARDO MEZZINA; HERNAN MELGRATTI; EMILIO TUOSTO

Oslo, Noruega

Workshop; Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2008; 2008

Recently, researchers have shown a growing interest around the notion of a multiparty session [6, 1], because typical modern distributed applications can involve the coordination of many endpoints. Remarkably, SOC adds a further difficulty as endpoints may be dynamically discovered and assembled. In fact, SOC aims to the seamless and trustworthy integration of separately developed computational entities, called services. To achieve this, matching criteria must be available for comparing a service description against the requirements of the invoker before binding the two. ìse (read “muse”, after MUltiparty SEssions) [3], is a process calculus for expressing computations where endpoints dynamically join existing multiparty sessions. In this context, it is crucial to have type systems for the early detection of possible sources of incompatibility. In this paper we consider ìse without name passing and intra-site communication  and sketch a type system aimed to guarantee a weak form ofcompatibility, in the sense that all the interactions required by each local task can be provided either by endpoints currently participating to its session or by endpoints that can join that session later.services. To achieve this, matching criteria must be available for comparing a service description against the requirements of the invoker before binding the two. ìse (read “muse”, after MUltiparty SEssions) [3], is a process calculus for expressing computations where endpoints dynamically join existing multiparty sessions. In this context, it is crucial to have type systems for the early detection of possible sources of incompatibility. In this paper we consider ìse without name passing and intra-site communication  and sketch a type system aimed to guarantee a weak form ofcompatibility, in the sense that all the interactions required by each local task can be provided either by endpoints currently participating to its session or by endpoints that can join that session later.