2016
DOI: 10.1007/978-3-319-39570-8_8
|View full text |Cite
|
Sign up to set email alerts
|

Choreographies in Practice

Abstract: Abstract. Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
2
0

Year Published

2017
2017
2024
2024

Publication Types

Select...
5
1
1

Relationship

2
5

Authors

Journals

citations
Cited by 13 publications
(2 citation statements)
references
References 23 publications
0
2
0
Order By: Relevance
“…The potential of choreographic programming has motivated the study of choreographic languages and EPP definitions for different applications, including self-adaptive systems [14], information flow [20], system integration [15], parallel algorithms [9], cyber-physical systems [16,21,22], and security protocols [16].…”
Section: Introductionmentioning
confidence: 99%

Certifying Choreography Compilation

Cruz-Filipe,
Montesi,
Peressotti
2021
Preprint
Self Cite
“…The potential of choreographic programming has motivated the study of choreographic languages and EPP definitions for different applications, including self-adaptive systems [14], information flow [20], system integration [15], parallel algorithms [9], cyber-physical systems [16,21,22], and security protocols [16].…”
Section: Introductionmentioning
confidence: 99%

Certifying Choreography Compilation

Cruz-Filipe,
Montesi,
Peressotti
2021
Preprint
Self Cite
“…Montesi and Yoshida developed a theory of compositional choreographic programming that supports open distributed systems [38]; Carbone et al studied connections between choreographic programming and linear logic [6,11]; Dalla Preda et al combined choreographic programming with dynamic adaptation [39][40][41]; Cruz-Filipe and Montesi developed a minimal Turing-complete language of global programs [21]; Cruz-Filipe et al and Kjaer et al presented techniques to extract global programs from families of local programs [17,35]; Giallorenzo et al studied a correspondence between choreographic programming and multitier languages [27]; Jongmans and Van den Bos combined choreographic programming with deductive verification [34]; Hirsch and Garg and Cruz-Filipe et al developed functional choreographic programming languages [16,30]. Other work includes results on case studies [18], procedural abstractions [20], asynchronous communication [19], polyadic communication [22,29], implementability [26], and formalisation/mechanisation in Coq [23,24,30]. These theoretical developments are supported in practice by several tools [4,10,27,40,41].…”
mentioning
confidence: 99%