Sviluppo di un'applicazione per l'elaborazione di Choreography Automata

Le Choreographies sono un paradigma emergente per la descrizione top-down di sistemi distribuiti. L'idea chiave è dare al programmatore la possibilità di scrivere una "coreografia" dei partecipanti e di come questi interagiscono tra loro. A partire dalle Choreographies è possibile ottenere il codice di ogni singolo partecipante tramite l'operazione di proiezione. Il vantaggio delle Choreographies è che, sotto alcune condizioni ben definite, garantiscono per costruzione l'assenza dei problemi tipici della programmazione concorrente come i Deadlocks e le Race Conditions. Sono stati proposti diversi modelli di Choreographies, tra cui di recente quello dei Choreography Automata, basato su automi a stati finiti. In questa tesi viene presentato Corinne: un tool per la lettura, composizione e proiezione dei Choreography Automata.