Corinne, a Tool for Choreography Automata - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Corinne, a Tool for Choreography Automata

(1) , (1) , (2) , (3) , (4)
1
2
3
4

Abstract

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)

Identifiers

Cite

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⟩
69 View
27 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More