Synthesising Choreographies from Local Session Types

DOI10.1007/978-3-642-32940-1_17MaRDI QIDQ2914373zbMATH OpenOpenAlexFDO

Authors Julien Lange, Emilio Tuosto

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.2566

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This paper proposes a typing systems which allows, under some conditions, to synthesise a choreography (i.e. a multiparty global type) from a set of local session types which describe end-point behaviours (i.e. local types).

Recommendations

• Typing the behavior of software components using session types
• A calculus of global interaction based on session types
• A semantic deconstruction of session types
• Type systems for distributed programs: components and sessions
• Session types and subtyping for orchestrated interactions
• An abstract semantics of the global view of choreographies
• Context-free session types
• scientific article; zbMATH DE number 6131659
• Context-free session type inference

Cited in

(19)

• Compliance in behavioural contracts: a brief survey
• The Paths to Choreography Extraction
• Global types with internal delegation
• Automata for analysing service contracts
• Protocol combinators for modeling, testing, and execution of distributed systems
• Choreography synthesis as contract agreement
• Global progress for dynamically interleaved multiparty sessions
• Multiparty session types, beyond duality
• A gentle introduction to multiparty asynchronous session types
• Verifiable abstractions for contract-oriented systems
• Composition and decomposition of multiparty sessions
• Honesty by typing
• scientific article; zbMATH DE number 7269246 (Why is no real title available?)
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Multiparty session types as coherence proofs
• From infinity to choreographies. Extraction for unbounded systems
• From global choreographies to verifiable efficient distributed implementations
• Choreographies, logically
• Coordination Via Types in an Event-Based Framework

This page was built for publication: Synthesising Choreographies from Local Session Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914373)