Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Alberti, Marco (2012) Implementazione automatica di protocolli di interazione AUML mediante reti di Petri. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509] - Cesena
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF
Download (631kB) | Anteprima

Abstract

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Abstract
Tipologia del documento
Tesi di laurea (Laurea specialistica)
Autore della tesi
Alberti, Marco
Relatore della tesi
Scuola
Corso di studio
Ordinamento Cds
DM509
Parole chiave
Sistemi Multiagente [MAS], AUML, Reti di Petri, Jason, ReSpecT, TuCSoN
Data di discussione della Tesi
28 Marzo 2012
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^