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

Orlando, Simone (2019) Sviluppo di un'applicazione per l'elaborazione di Choreography Automata. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Full-text accessibile solo agli utenti istituzionali dell'Ateneo
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato

Download (913kB) | Contatta l'autore

Abstract

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.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Orlando, Simone
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
Choreography Automata,Coreografie,Choreographies,Corinne
Data di discussione della Tesi
18 Dicembre 2019
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^