Skip to Main content Skip to Navigation
Conference papers

Applied Choreographies

Saverio Giallorenzo 1 Fabrizio Montesi 1 Maurizio Gabbrielli 2
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Choreographic Programming is a paradigm for distributed programming, where high-level “Alice and Bob” descriptions of communications (choreographies) are used to synthesise correct-by-construction programs. However, implementations of choreographic models use message routing technologies distant from their related theoretical models (e.g., CCS/channels). This drives implementers to mediate discrepancies with the theory through undocumented, unproven adaptations, weakening the reliability of their implementations.As a solution, we propose the framework of Applied Choreographies (AC). In AC, programmers write choreographies in a language that follows the standard syntax and semantics of previous works. Then, choreographies are compiled to a real-world execution model for Service-Oriented Computing (SOC). To manage the complexity of this task, our compilation happens in three steps, respectively dealing with: implementing name-based communications using the concrete mechanism found in SOC, projecting a choreography to a set of processes, and translating processes to a distributed implementation in terms of services.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, June 27, 2018 - 3:55:18 PM
Last modification on : Thursday, January 20, 2022 - 5:27:00 PM
Long-term archiving on: : Thursday, September 27, 2018 - 4:35:36 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli. Applied Choreographies. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩. ⟨hal-01824812⟩



Les métriques sont temporairement indisponibles