JolieGraph: uno strumento per l'analisi delle comunicazioni di servizi Jolie

Negli ultimi anni, il panorama informatico ha subito una significativa evoluzione grazie alla diffusione dei paradigmi orientati ai servizi e alle architetture a microservizi. Questi approcci hanno reso necessaria la disponibilità di strumenti avanzati per l'analisi delle comunicazioni tra servizi distribuiti. La presente tesi introduce JolieGraph, uno strumento progettato per analizzare staticamente il codice sorgente dei servizi Jolie e generare automi finiti che rappresentano in modo chiaro e rigoroso il flusso comunicativo fra microservizi. JolieGraph utilizza tecniche di parsing e genera alberi di sintassi astratta (AST) sfruttando la libreria jolie.lang. Gli AST vengono analizzati e, attraverso la rappresentazione degli automi nel formato DOT, si permette agli sviluppatori di individuare rapidamente anomalie e potenziali criticità nei flussi comunicativi, difficilmente rilevabili con tecniche tradizionali di test dinamici. Lo strumento proposto costituisce inoltre un primo passo significativo verso la generazione automatica di coreografie, modelli globali capaci di descrivere le interazioni tra servizi distribuiti.