%0 Conference Proceedings
%T Choreographic Development of Message-Passing Applications
%+ Gran Sasso Science Institute (GSSI)
%+ KTH Royal Institute of Technology [Stockholm] (KTH )
%A Coto, Alex
%A Guanciale, Roberto
%A Tuosto, Emilio
%Z Part 1: Tutorials
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 20-36
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273982/document
%2 https://inria.hal.science/hal-03273982/file/495623_1_En_2_Chapter.pdf
%L hal-03273982
%U https://inria.hal.science/hal-03273982
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134