Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
This research addresses a problem found within the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterogeneity of global communication patterns. We utilise the theory of Multiparty Session Types (MPST). Our approach is based upon the notion of a multiparty session type isomorphism, utilising a novel constructive realisation of service adapter code to 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 approach reasoning about the possible journey of data items contained within messages across a choreography with the idea of extending session type isomorphisms to provide a finer grained data provenance-view of adaptability and reuse Our example is based on distributed ledger choreography for health records.