Implementazione di un Tool per l'Elaborazione di Unstructured Global Graph

Schiavi, Davide (2019) Implementazione di un Tool per l'Elaborazione di Unstructured Global Graph. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Documenti full-text disponibili:
[img] Documento PDF (Thesis)
Disponibile con Licenza: Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0

Download (337kB)

Abstract

Global Graph è un linguaggio grafico utilizzato per modellare sistemi concorrenti. Il contributo fornito da questa tesi è rappresentato dallo sviluppo di Domitilla, un tool che permette l’elaborazione dei Global Graph. Le operazioni che Domitilla consente di fare sono la composizione parallela di due Global Graph e soprattutto la fusione di nodi all’interno dei Global Graph, che corrisponde a introdurre comunicazioni fra i partecipanti. Per effettuare la fusione è necessario generalizzare gli Structured Glo- bal Graph ottenendo degli Unstructured Global Graph. Domitilla consente inoltre di tradurre i Global Graph in reti di Petri.

Abstract
Tipologia del documento
Tesi di laurea (Laurea)
Autore della tesi
Schiavi, Davide
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM270
Parole chiave
Global Graph,modelli formali,sistemi comunicanti,reti di Petri
Data di discussione della Tesi
13 Marzo 2019
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^