Choreographies in Practice

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingBidrag til bog/antologiForskningpeer review

Resumé

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, and mechanically synthesise process implementations.

There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.
OriginalsprogEngelsk
TitelFormal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
RedaktørerElvira Albert, Ivan Lanese
ForlagSpringer
Publikationsdato2016
Sider114-123
ISBN (Trykt)978-3-319-39569-2
ISBN (Elektronisk)978-3-319-39570-8
DOI
StatusUdgivet - 2016
BegivenhedFORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems: Held as Part of the 11th International Federated Conference on Distributed Computing Techniques - Heraklion, Grækenland
Varighed: 6. jun. 20169. jun. 2016
Konferencens nummer: 36

Konference

KonferenceFORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Nummer36
LandGrækenland
ByHeraklion
Periode06/06/201609/06/2016
NavnLecture Notes in Computer Science
Vol/bind9688
ISSN0302-9743

Fingeraftryk

Linear equations
Sorting
Fast Fourier transforms
Experiments

Citer dette

Cruz-Filipe, L., & Montesi, F. (2016). Choreographies in Practice. I E. Albert, & I. Lanese (red.), Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (s. 114-123). Springer. Lecture Notes in Computer Science, Bind. 9688 https://doi.org/10.1007/978-3-319-39570-8_8
Cruz-Filipe, Luís ; Montesi, Fabrizio. / Choreographies in Practice. Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. red. / Elvira Albert ; Ivan Lanese. Springer, 2016. s. 114-123 (Lecture Notes in Computer Science, Bind 9688).
@inbook{a8c94f76c2114897a22f8c5c1b784d7c,
title = "Choreographies in Practice",
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, and mechanically synthesise process implementations.There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.",
author = "Lu{\'i}s Cruz-Filipe and Fabrizio Montesi",
year = "2016",
doi = "10.1007/978-3-319-39570-8_8",
language = "English",
isbn = "978-3-319-39569-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "114--123",
editor = "Elvira Albert and Ivan Lanese",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",
address = "Germany",

}

Cruz-Filipe, L & Montesi, F 2016, Choreographies in Practice. i E Albert & I Lanese (red), Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Springer, Lecture Notes in Computer Science, bind 9688, s. 114-123, FORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Heraklion, Grækenland, 06/06/2016. https://doi.org/10.1007/978-3-319-39570-8_8

Choreographies in Practice. / Cruz-Filipe, Luís; Montesi, Fabrizio.

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. red. / Elvira Albert; Ivan Lanese. Springer, 2016. s. 114-123 (Lecture Notes in Computer Science, Bind 9688).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

T1 - Choreographies in Practice

AU - Cruz-Filipe, Luís

AU - Montesi, Fabrizio

PY - 2016

Y1 - 2016

N2 - 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, and mechanically synthesise process implementations.There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.

AB - 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, and mechanically synthesise process implementations.There is still a lack of practical illustrations of the applicability of choreographies to computational problems with standard concurrent solutions. In this work, we explore the potential of choreographic programming by writing concurrent algorithms for sorting, solving linear equations, and computing Fast Fourier Transforms. The lessons learned from this experiment give directions for future improvements of the paradigm.

U2 - 10.1007/978-3-319-39570-8_8

DO - 10.1007/978-3-319-39570-8_8

M3 - Book chapter

SN - 978-3-319-39569-2

T3 - Lecture Notes in Computer Science

SP - 114

EP - 123

BT - Formal Techniques for Distributed Objects, Components, and Systems

A2 - Albert, Elvira

A2 - Lanese, Ivan

PB - Springer

ER -

Cruz-Filipe L, Montesi F. Choreographies in Practice. I Albert E, Lanese I, red., Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Springer. 2016. s. 114-123. (Lecture Notes in Computer Science, Bind 9688). https://doi.org/10.1007/978-3-319-39570-8_8