Choreographic Development of Message-Passing Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Choreographic Development of Message-Passing Applications

Alex Coto
  • Function : Author
  • PersonId : 1103661
Emilio Tuosto
  • Function : Author
  • PersonId : 1058382


Choreographic development envisages distributed coordination as determined by interactions that allow peer components to harmoniously realise a given task. Unlike in orchestration-based coordination, there is no special component directing the execution. Recently, choreographic approaches have become popular in industrial contexts where reliability and scalability are crucial factors. This tutorial reviews some recent ideas to harness choreographic development of message-passing software. The key features of the approach are showcased within , a toolchain which allows software architects to identify defects of message-passing applications at early stages of development.
Fichier principal
Vignette du fichier
495623_1_En_2_Chapter.pdf (1014.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03273982 , version 1 (29-06-2021)





Alex Coto, Roberto Guanciale, Emilio Tuosto. Choreographic Development of Message-Passing Applications. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩. ⟨hal-03273982⟩
16 View
6 Download



Gmail Facebook X LinkedIn More