TY - GEN
T1 - Applied choreographies
AU - Giallorenzo, Saverio
AU - Montesi, Fabrizio
AU - Gabbrielli, Maurizio
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-92612-4_2
DO - 10.1007/978-3-319-92612-4_2
M3 - Article in proceedings
AN - SCOPUS:85048223644
SN - 978-3-319-92611-7
T3 - Lecture Notes in Computer Science
SP - 21
EP - 40
BT - Formal Techniques for Distributed Objects, Components, and Systems
A2 - Baier, Christel
A2 - Caires, Luís
PB - Springer
T2 - 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
Y2 - 18 June 2018 through 21 June 2018
ER -