Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

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.

Interpretazione di conferenza e volontariato: l'attività pro bono degli interpreti e la collaborazione con le organizzazioni internazionali

Questa tesi nasce con l’intento di indagare il rapporto tra l’interpretazione di conferenza e il mondo del volontariato, nonché di esplorare le dinamiche personali e professionali che originano da tale incontro. Nel primo capitolo viene presentata una cornice storica del fenomeno del volontariato quale premessa del suo emergere e imporsi sia a livello sociale e culturale, che a livello legislativo e giuridico. Nel secondo capitolo di questo studio si propone un breve quadro della situazione italiana odierna a partire dall’ultimo Censimento Istat sulle istituzioni non profit. In seguito, si presentano i caratteri strutturali dell’attività di volontariato così come individuati dalla legge-quadro sul volontariato, per passare poi ad indagare la natura giuridica dell’attività di volontariato con l’intento di collocarla all’interno di schemi qualificatori che assicurino la più adeguata tutela degli interessi del volontario e del beneficiario. Il terzo capitolo presenta l’indagine sperimentale condotta su un campione di interpreti di conferenza professionisti al fine di analizzare l’attività pro bono eventualmente svolta a partire da fattori come il tempo dedicato al volontariato, la natura delle motivazioni, i rapporti con le organizzazioni per le quali prestano i propri servizi. Viene presentata, inoltre, l’attività organizzata degli interpreti volontari tramite una disamina di alcune associazioni di interpreti pro bono attive a livello internazionale, nonché l’opinione delle associazioni di interpreti riguardo all’attività pro bono dei propri membri. Per ultimo, ci si soffermerà sulle difficoltà e i limiti che ostacolano lo svolgimento dell’interpretazione pro bono e che costituiscono, in pratica, la fonte delle critiche mosse nei suoi confronti dagli interpreti e dalle associazioni di interpreti. A tale scopo, verrà presentato, a titolo esemplificativo, il caso del Forum Sociale Mondiale tenutosi a Porto Alegre nel 2005.

Perchè le imprese dovrebbero investire in mhealth? pro e contro della nuova frontiera del healthcare

La tesi si occupa della nuova frontiera del healthCare, la salute mobile o mHealth, analizzando al situazione di mercato, le previsioni future, quelli che possono essere i vantaggi di questo nuovo mercato e le barriere che ne possono limitare lo sviluppo. Integrando il lavoro con un analisi tramite le teorie strategiche imparate durante i corsi di studio