Analisi e sviluppo di strumenti performance-aware per la migrazione cloud enterprise

Questa tesi affronta il tema dell'analisi della migrazione verso un ambiente cloud enterprise, con considerazioni sui costi e le performance rispetto agli ambienti di origine

Analisi di vulnerabilità di un ponte ferroviario ad arco in muratura

L'elaborato è sviluppato sullo studio della vulnerabilità sismica globale e locale di un ponte ad arco in muratura.

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.

Cambiamento organizzativo e tecnologie it abilitanti: analisi di un caso aziendale nel settore meccanico

L’elaborato proposto analizza le fasi del cambiamento in seguito all’introduzione del modulo per la gestione del magazzino del sistema informativo Business Net all’interno dell’officina meccanica Ghisellini Giuseppe, una piccola azienda operante nel settore dell’artigianato con una competenza maturata negli anni nel settore delle pompe e dei motori idraulici e dei motori marini. In seguito ad un’analisi delle forze resistenti e delle spinte al cambia-mento, viene ricercata la causa delle inefficienze del sistema basandosi sul metodo delle otto fasi proposto da Kotter. Dal momento che l’inefficienza maggiore viene ritrovata nella scarsa circolazione di informazioni, si ritiene necessario una riprogettazione dei processi aziendali, attraverso una mappatura dei processi “as is” e “to be”, in cui viene proposta una soluzione che permette una maggiore circolazione delle informazioni. Tale soluzione proposta è infine valutata economicamente.