research-article

Encoding asynchrony in choreographies

Authors:

Luís Cruz-Filipe,

Fabrizio MontesiAuthors Info & Claims

SAC '17: Proceedings of the Symposium on Applied Computing

Pages 1175 - 1177

https://doi.org/10.1145/3019612.3019901

Published: 03 April 2017 Publication History

Get Access

Abstract

Choreographies are widely used both for the specification and the programming of concurrent and distributed software architectures. Since many of such architectures use asynchronous communications, it is essential to understand how the behaviour described in a choreography can be correctly implemented in asynchronous settings. So far, this problem has been addressed by relying on additional technical machinery, such as ad-hoc syntactic terms, semantics, or equivalences. In this work, we show that such extensions are not needed for choreography languages that support primitives for process spawning and name mobility. Instead, we can just encode asynchronous communications in choreographies themselves, yielding a simpler approach.

References

[1]

M. Carbone, K. Honda, and N. Yoshida. Structured communication-centered programming for web services. ACM Trans. Prog. Lang. Syst., 34(2):8, 2012.

Digital Library

Google Scholar

[2]

M. Carbone and F. Montesi. Deadlock-freedom-by-design: multiparty asynchronous global programming. In R. Giacobazzi and R. Cousot, editors, POPL, pages 263--274. ACM, 2013.

Digital Library

Google Scholar

[3]

L. Cruz-Filipe and F. Montesi. A language for the declarative composition of concurrent protocols. Submitted for publication.

Google Scholar

[4]

L. Cruz-Filipe and F. Montesi. A core model for choreographic programming. Accepted for publication at FACS'16. http://arxiv.org/abs/1510.03271.

Google Scholar

[5]

N. Dragoni, S. Giallorenzo, A. Lluch-Lafuente, M. Mazzara, F. Montesi, R. Mustafin, and L. Safina. Microservices: yesterday, today, and tomorrow. CoRR, abs/1606.04036, 2016.

Google Scholar

[6]

K. Honda, N. Yoshida, and M. Carbone. Multiparty asynchronous session types. J. ACM, 63(1):9, 2016.

Digital Library

Google Scholar

[7]

T. Leesatapornwongsa, J. Lukman, S. Lu, and H. Gunawi. TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems. In ASPLOS, pages 517--530. ACM, 2016.

Digital Library

Google Scholar

[8]

S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ACM SIGARCH Computer Architecture News, 36(1):329--339, 2008.

Digital Library

Google Scholar

[9]

F. Montesi. Choreographic Programming. Ph.D. thesis, IT University of Copenhagen, 2013. http://fabriziomontesi.com/files/choreographic_programming.pdf.

Google Scholar

[10]

F. Montesi. Kickstarting choreographic programming. In WS-FM, volume 9421 of LNCS, pages 3--10. Springer, 2016.

Google Scholar

[11]

F. Montesi and N. Yoshida. Compositional choreographies. In CONCUR, volume 8052 of LNCS, pages 425--439. Springer, 2013.

Digital Library

Google Scholar

[12]

D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge Univ. Press, 2001.

Digital Library

Google Scholar

Cited By

View all

GRAVERSEN EHIRSCH AMONTESI F(2024)Alice or Bob?: Process polymorphism in choreographiesJournal of Functional Programming10.1017/S095679682300011434Online publication date: 23-Jan-2024
https://doi.org/10.1017/S0956796823000114
Smeele TJongmans S(2023)Choreographic Programming of Isolated TransactionsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.378.5378(49-60)Online publication date: 13-Apr-2023
https://doi.org/10.4204/EPTCS.378.5
Jongmans Svan den Bos P(2022)A Predicate Transformer for ChoreographiesProgramming Languages and Systems10.1007/978-3-030-99336-8_19(520-547)Online publication date: 29-Mar-2022
https://doi.org/10.1007/978-3-030-99336-8_19

Index Terms

Encoding asynchrony in choreographies
1. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Process calculi

Recommendations

Formalizing Web Service Choreographies

Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind ...
Realizability of Choreographies Using Process Algebra Encodings

Service-oriented computing has emerged as a new software development paradigm that enables implementation of Web accessible software systems that are composed of distributed services which interact with each other via exchanging messages. Modeling and ...
Realisability of Choreographies
Foundations of Information and Knowledge Systems
Abstract
Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous ...

Comments

Information & Contributors

Information

Published In

SAC '17: Proceedings of the Symposium on Applied Computing

April 2017

2004 pages

ISBN:9781450344869

DOI:10.1145/3019612

Conference Chair:
Sung Y. Shin
South Dakota State University
,
Program Chairs:
Dongwan Shin
New Mexico Tech
,
Maria Lencastre
University of Pernambuco, Brazil

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 April 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Danish Council for Independent Research

Conference

SAC 2017

Sponsor:

SIGAPP

SAC 2017: Symposium on Applied Computing

April 3 - 7, 2017

Marrakech, Morocco

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
52
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

GRAVERSEN EHIRSCH AMONTESI F(2024)Alice or Bob?: Process polymorphism in choreographiesJournal of Functional Programming10.1017/S095679682300011434Online publication date: 23-Jan-2024
https://doi.org/10.1017/S0956796823000114
Smeele TJongmans S(2023)Choreographic Programming of Isolated TransactionsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.378.5378(49-60)Online publication date: 13-Apr-2023
https://doi.org/10.4204/EPTCS.378.5
Jongmans Svan den Bos P(2022)A Predicate Transformer for ChoreographiesProgramming Languages and Systems10.1007/978-3-030-99336-8_19(520-547)Online publication date: 29-Mar-2022
https://doi.org/10.1007/978-3-030-99336-8_19

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Formalizing Web Service Choreographies

Realizability of Choreographies Using Process Algebra Encodings

Realisability of Choreographies

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations