Corinne, a Tool for Choreography Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Corinne, a Tool for Choreography Automata


Choreography automata are a model of choreographies envisaging high-level views of the behaviour of communicating systems as finite-state automata. The behaviour of each participant of a choreography can be obtained via a projection operation from a choreography automaton. The system of participants obtained by projection is well-behaved if the choreography automaton satisfies some well-formedness conditions. We present Corinne, a tool allowing one to render, compute projections of and compose choreography automata, as well as to check well-formedness conditions.
Fichier principal
Vignette du fichier
main.pdf (622.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03468190 , version 1 (06-12-2021)



Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto. Corinne, a Tool for Choreography Automata. Formal Aspects of Component Software, Oct 2021, Grenoble (online due to covid), France. pp.82-92, ⟨10.1007/978-3-030-90636-8_5⟩. ⟨hal-03468190⟩
51 View
27 Download



Gmail Facebook X LinkedIn More