A Core Model for Choreographic Programming

Luis Cruz-Filipe; Fabrizio Montesi

doi:10.1007/978-3-319-57666-4_3

A Core Model for Choreographic Programming

Luis Cruz-Filipe, Fabrizio Montesi

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

185 Downloads (Pure)

Abstract

Choreographic Programming is a paradigm for developing concurrent programs that are deadlock-free by construction, by programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing.

In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.

Original language	English
Title of host publication	Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Editors	Ramtin Khosravi, Olga Kouchnarenko
Publisher	Springer
Publication date	2017
Pages	17-35
ISBN (Print)	978-3-319-57665-7
ISBN (Electronic)	978-3-319-57666-4
DOIs	https://doi.org/10.1007/978-3-319-57666-4_3
Publication status	Published - 2017
Event	13th International Formal Aspects of Component Software Conference - Besançon, France Duration: 19. Oct 2016 → 21. Oct 2016 Conference number: 13

Conference

Conference	13th International Formal Aspects of Component Software Conference
Number	13
Country/Territory	France
City	Besançon
Period	19/10/2016 → 21/10/2016

Series	Lecture Notes in Computer Science
Volume	10231
ISSN	0302-9743

Documents & Links

10.1007/978-3-319-57666-4_3

A Core Model for Choreographic ProgrammingSubmitted manuscript, 564 KB

https://arxiv.org/pdf/1510.03271.pdf

Cite this

Cruz-Filipe, L., & Montesi, F. (2017). A Core Model for Choreographic Programming. In R. Khosravi, & O. Kouchnarenko (Eds.), Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (pp. 17-35). Springer. Lecture Notes in Computer Science Vol. 10231 https://doi.org/10.1007/978-3-319-57666-4_3

@inproceedings{a5247593c6fa4997917e30ab2ec8f424,

title = "A Core Model for Choreographic Programming",

abstract = "Choreographic Programming is a paradigm for developing concurrent programs that are deadlock-free by construction, by programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing.In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.",

author = "Luis Cruz-Filipe and Fabrizio Montesi",

year = "2017",

doi = "10.1007/978-3-319-57666-4_3",

language = "English",

isbn = "978-3-319-57665-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "17--35",

editor = "Ramtin Khosravi and Olga Kouchnarenko",

booktitle = "Formal Aspects of Component Software",

address = "Germany",

note = "13th International Formal Aspects of Component Software Conference, FACS ; Conference date: 19-10-2016 Through 21-10-2016",

}

Cruz-Filipe, L & Montesi, F 2017, A Core Model for Choreographic Programming. in R Khosravi & O Kouchnarenko (eds), Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Springer, Lecture Notes in Computer Science, vol. 10231, pp. 17-35, 13th International Formal Aspects of Component Software Conference, Besançon, France, 19/10/2016. https://doi.org/10.1007/978-3-319-57666-4_3

A Core Model for Choreographic Programming. / Cruz-Filipe, Luis ; Montesi, Fabrizio.

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. ed. / Ramtin Khosravi; Olga Kouchnarenko. Springer, 2017. p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Core Model for Choreographic Programming

AU - Cruz-Filipe, Luis

AU - Montesi, Fabrizio

N1 - Conference code: 13

PY - 2017

Y1 - 2017

N2 - Choreographic Programming is a paradigm for developing concurrent programs that are deadlock-free by construction, by programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing.In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.

AB - Choreographic Programming is a paradigm for developing concurrent programs that are deadlock-free by construction, by programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing.In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.

U2 - 10.1007/978-3-319-57666-4_3

DO - 10.1007/978-3-319-57666-4_3

M3 - Article in proceedings

SN - 978-3-319-57665-7

T3 - Lecture Notes in Computer Science

SP - 17

EP - 35

BT - Formal Aspects of Component Software

A2 - Khosravi, Ramtin

A2 - Kouchnarenko, Olga

PB - Springer

T2 - 13th International Formal Aspects of Component Software Conference

Y2 - 19 October 2016 through 21 October 2016

ER -

A Core Model for Choreographic Programming

Abstract

Conference

Documents & Links

Fingerprint

Cite this