ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 15:00 - 15:30 at S8 - III Chair(s): Vasco Vasconcelos

This paper addresses a problem found in the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterogeneity of global communication patterns. We intend to utilise the theory of Multiparty Session Types (MPST). Our approach is based upon a notion of a multiparty session type isomorphism that provides a constructive realisation of service adapter code when establishing equivalence. We achieve this by employing trace semantics over a collection of local types and introducing meta abstractions over the syntax of global types. We develop a corresponding equational theory for Multiparty Session type isomorphisms. The main motivation for this line of work is to define the type isomorphism that would allow to assess whether two components/services are substitutable modulo adaptation code, given component specification is considered to be a session type.

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30: PLACES - III at S8
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
places-2019-papers13:30 - 14:30
Stephanie BalzerCarnegie Mellon University
places-2019-papers14:30 - 15:00
Jonathan KingHabito and Imperial College London, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
places-2019-papers15:00 - 15:30
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London