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 T. 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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30
IIIPLACES at S8
Chair(s): Vasco T. Vasconcelos University of Lisbon, Portugal
13:30
60m
Talk
Keynote: Shared Session Types for Safe, Practical Concurrency
PLACES
Stephanie Balzer Carnegie Mellon University
14:30
30m
Full-paper
Multiparty session type-safe web development with static linearity
PLACES
Jonathan King Habito and Imperial College London, Nicholas Ng Imperial College London, Nobuko Yoshida Imperial College London
15:00
30m
Full-paper
Service Equivalence via Multiparty Session Type Isomorphisms
PLACES
Assel Altayeva Imperial College London, Nobuko Yoshida Imperial College London