Seminari di Luca Postiglione, Antonio Cirillo e Andrea Di Pierno

Seguono gli abstracts dei seminari:

 

1) Seminario di  Luca Postiglione 

 

 

Titolo: Model-Exploration in Rust-AB: Esplorazione dello spazio dei parametri di una simulazione

Abstract: Le simulazioni di modelli basati su agenti permettono di studiare le dinamiche e i comportamenti di sistemi complessi. Il framework Rust-AB permette di implementare simulazioni sicure ed efficienti tramite il linguaggio di programmazione Rust. Per ottenere una simulazione efficace bisogna mettere a punto i suoi parametri. L’obiettivo di questo lavoro di tesi è integrare uno strumento di model-exploration all’interno di Rust-AB che permetta al modellista di effettuare in maniera semplice l’esplorazione dei parametri senza rinunciare alle prestazioni garantite dal framework. Per offrire uno strumento con funzionalità in grado di essere usate indipendentemente dal modello su cui si lavora, la model-exploration è stata implementata usando la meta-programmazione, una tecnica di programmazione con cui del codice produce altro codice.

 

2) Seminario di Antonio Cirillo 

 

Titolo: Implementazione NoSQL in FLY

Abstract: Il multi-cloud prevede l'utilizzo all'interno di una singola architettura di molteplici Cloud provider garantendo una maggiore affidabilità, un costo più vantaggioso e servizi più eterogenei. Tuttavia, utilizzare il multi-cloud è complesso in quanto ogni provider mette a disposizione strumenti anche molto diversi. Per questo motivo nasce FLY, un Domain-Specific-Language per il Calcolo Scientifico sul multi-cloud che ha l’obiettivo di semplificare lo sviluppo di applicazioni su multi-cloud. Qualsiasi tipo di applicazione necessita di lavorare con i dati e negli ultimi anni la mole di dati da gestire e la velocità con cui vengono prodotti è aumentata sempre di più. La nascita dei database NoSQL viene incontro a questo tipo di necessità fornendo schemi flessibili per la memorizzazione dei dati e alta scalabilità. Le caratteristiche dei database NoSQL li rendono particolarmente adatti al Cloud Computing, e per questo motivo è risultato necessario implementare un supporto per i database NoSQL all’interno di FLY.

 

3) Seminario di Andrea Di Pierno

 

Titolo: Implementazione di algoritmi genetici in linguaggio FLY

Abstract: Il Cloud Computing è considerato fondamentale per la creazione di infrastrutture di calcolo grazie alle risorse messe a disposizione sotto forma di servizi. L’alto numero di Cloud Provider presenti sul mercato ha dato origine al paradigma del multi-cloud, che prevede l’integrazione all’interno della stessa architettura di più ambienti Cloud garantendo vantaggi in termini di dipendenza dal provider e flessibilità. L’introduzione del multi-cloud aumenta però la complessità di utilizzo creando la necessità di strumenti che facilitino il suo impiego. FLY è un Domain-Specific Language per il calcolo scientifico su multi-cloud che ha come obiettivo la semplificazione dello sviluppo di applicazioni che sfruttino tale paradigma. Per semplificare l'adozione del linguaggio FLY a nuovi sviluppatori è necessario che vengano messi a disposizione degli esempi concreti di applicazioni reali. Questo lavoro di tesi ha come obiettivo l’implementazione di una serie di algoritmi genetici scritti in FLY. Gli algoritmi genetici sono utilizzati per la risoluzione di problemi di ottimizzazione. Tali algoritmi risultano semplici da comprendere nel concetto ma non banali da implementare. Per questo motivo, fornire degli esempi di programmi FLY che impiegano algoritmi genetici consente di dimostrare le funzionalità e le potenzialità del linguaggio oltre a risultare un buon punto di partenza per gli utenti che si approcciano a FLY per la prima volta.

Abstract: Il Cloud Computing è considerato fondamentale per la creazione di infrastrutture di calcolo grazie alle risorse messe a disposizione sotto forma di servizi. L’alto numero di Cloud Provider presenti sul mercato ha dato origine al paradigma del multi-cloud, che prevede l’integrazione all’interno della stessa architettura di più ambienti Cloud. I vantaggi che fornisce comprendono la possibilità di ridurre la dipendenza dal singolo provider, avere una maggiore scelta di servizi e tolleranza ai guasti. L’eterogeneità del mercato, tuttavia, implica forti differenze anche negli strumenti di accesso dei vari provider per usufruire dei loro servizi. Ciò rende l’utilizzo del multi-cloud un processo complesso per i meno esperti, creando la necessità di strumenti che facilitino il suo impiego. FLY è un Domain-Specific Language per il calcolo scientifico su multi-cloud che ha come obiettivo la semplificazione dello sviluppo di applicazioni che sfruttino tale paradigma. Il linguaggio FLY mette a disposizione una serie di costrutti che astraggono all’utente l’interazione con il provider, permettendogli di utilizzare servizi di diversi ambienti Cloud senza dover conoscere librerie e strumenti proprietari. Essendo FLY ancora in fase di sviluppo, i programmi di esempio scritti in FLY sono ancora pochi e poco complessi, rendendo necessaria l’introduzione di nuovi che fungano da guida ai nuovi sviluppatori. Questo lavoro di tesi ha come obiettivo l’implementazione di una serie di algoritmi genetici scritti in FLY, presentandone la progettazione e lo sviluppo. Gli algoritmi genetici sono algoritmi ispirati ai processi biochimici descritti nella Teoria dell’Evoluzione di Charles Darwin, per la risoluzione di problemi di ottimizzazione per cui non esistono soluzioni di complessità polinomiale o che sono particolarmente esosi in termini di risorse. Il successo degli algoritmi genetici deriva dalla loro relativa semplicità concettuale, pur essendo non banali da implementare. Per questo motivo, fornire degli esempi di programmi FLY che impiegano algoritmi genetici consente di dimostrare le funzionalità e le potenzialità del linguaggio oltre a risultare un buon punto di partenza per gli utenti che si approcciano a FLY per la prima volta.