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.

Titolo: Corinne, a Tool for Choreography Automata
Autore/i: Orlando S.; Pasquale V. D.; Barbanera F.; Lanese I.; Tuosto E.
Autore/i Unibo: 
LANESE, IVAN  
mostra contributor esterni 
Anno: 2021
Serie: 
LECTURE NOTES IN COMPUTER SCIENCE  
Titolo del libro: Formal Aspects of Component Software. FACS 2021
Pagina iniziale: 82
Pagina finale: 92
Digital Object Identifier (DOI): http://dx.doi.org/10.1007/978-3-030-90636-8_5
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.
Data stato definitivo: 23-gen-2022
Appare nelle tipologie:4.01 Contributo in Atti di convegno

File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2022