Choreographies in Practice

Luís Cruz-Filipe; Fabrizio Montesi

doi:10.1007/978-3-319-39570-8_8

Choreographies in Practice

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

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.

Original language	English
Title of host publication	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
Editors	Elvira Albert, Ivan Lanese
Publisher	Springer
Publication date	2016
Pages	114-123
ISBN (Print)	978-3-319-39569-2
ISBN (Electronic)	978-3-319-39570-8
DOIs	https://doi.org/10.1007/978-3-319-39570-8_8
Publication status	Published - 2016
Event	FORTE - 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, Greece Duration: 6. Jun 2016 → 9. Jun 2016 Conference number: 36

Conference

Conference	FORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Number	36
Country/Territory	Greece
City	Heraklion
Period	06/06/2016 → 09/06/2016

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

Documents & Links

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

https://arxiv.org/pdf/1602.08863.pdf

Cite this

Cruz-Filipe, L., & Montesi, F. (2016). Choreographies in Practice. In E. Albert, & I. Lanese (Eds.), 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 (pp. 114-123). Springer. 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. editor / Elvira Albert ; Ivan Lanese. Springer, 2016. pp. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

@inproceedings{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",

note = "FORTE - 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, 36th IFIP, FORTE 2016 ; Conference date: 06-06-2016 Through 09-06-2016",

}

Cruz-Filipe, L & Montesi, F 2016, Choreographies in Practice. in E Albert & I Lanese (eds), 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, vol. 9688, pp. 114-123, FORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Heraklion, Greece, 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. ed. / Elvira Albert; Ivan Lanese. Springer, 2016. p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

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

TY - GEN

T1 - Choreographies in Practice

AU - Cruz-Filipe, Luís

AU - Montesi, Fabrizio

N1 - Conference code: 36

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 - Article in proceedings

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

T2 - FORTE - The 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems

Y2 - 6 June 2016 through 9 June 2016

ER -

Cruz-Filipe L , Montesi F. Choreographies in Practice. In Albert E, Lanese I, editors, 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. p. 114-123. (Lecture Notes in Computer Science, Vol. 9688). doi: 10.1007/978-3-319-39570-8_8

Choreographies in Practice

Abstract

Conference

Documents & Links

Fingerprint

Cite this