Service Equivalence via Multiparty Session Type Isomorphisms
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:30 | |||
13:30 60mTalk | Keynote: Shared Session Types for Safe, Practical Concurrency PLACES Stephanie Balzer Carnegie Mellon University | ||
14:30 30mFull-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 30mFull-paper | Service Equivalence via Multiparty Session Type Isomorphisms PLACES |