Workflow Patterns for Service Oriented Computing in JOLIE

Il presente lavoro di tesi ha come punto focale la descrizione, la verifica e la dimostrazione della realizzabilità dei Workflow Patterns di Gestione del Flusso(Control-Flow) e Risorse (Resource) definiti da parte della Workflow Pattern Initiative (WPI)in JOLIE, un innovativo linguaggio di programmazione orientato ai servizi nato nell'ambito del Service Oriented Computing. Il Service Oriented Computing (SOC) è un nuovo modo di pensare la programmazione di applicazioni distribuite, i cui concetti fondamentali sono i servizi e la composizione. L’approccio SOC definisce la possibilità di costruire un’applicazione in funzione dei servizi che ne realizzano il comportamento tramite una loro composizione, definita secondo un particolare flusso di lavoro. Allo scopo di fornire la necessaria conoscenza per capire la teoria, le meccaniche e i costrutti di JOLIE utilizzati per la realizzazione dei pattern, il seguente lavoro di tesi è stato diviso in quattro parti, corrispondenti ad altrettanti capitoli. Nel primo capitolo viene riportata una descrizione generale del SOC e della Business Process Automation (BPA), che costituisce l’ambiente in cui il SOC è inserito. Per questo viene fatta una disamina della storia informatica sui sistemi distribuiti, fino ad arrivare ai sistemi odierni, presentando in seguito il contesto del BPA e delle innovazioni derivanti dalle sue macro-componenti, di cui il SOC fa parte. Continuando la descrizione dell’approccio Service Oriented, ne vengono presentati i requisiti (pre-condizioni) e si cerca di dare una definizione precisa del termine “servizio”, fino all'enunciazione dei principi SOC declinati nell’ottica delle Service Oriented Architectures, presentando in ultimo i metodi di composizione dei servizi, tramite orchestrazione e coreografia. L’ultima sezione del capitolo prende in considerazione il SOC in un’ottica prettamente industriale e ne evidenzia i punti strategici. Il secondo capitolo è incentrato sulla descrizione di JOLIE, gli aspetti fondamentali dell’approccio orientato ai servizi, che ne caratterizzano profondamente la definizione concettuale (SOCK), e la teoria della composizione dei servizi. Il capitolo non si pone come una descrizione esaustiva di tutte le funzionalità del linguaggio, ma considera soprattutto i concetti teorici, le strutture di dati, gli operatori e i costrutti di JOLIE utilizzati per la dimostrazione della realizzabilità dei Workflow Pattern del capitolo successivo. Il terzo capitolo, più lungo e centrale rispetto agli altri, riguarda la realizzazione dei workflow pattern in JOLIE. All'inizio del capitolo viene fornita una descrizione delle caratteristiche del WPI e dei Workflow Pattern in generale. In seguito, nelle due macro-sezioni relative ai Control-Flow e Resource pattern vengono esposte alcune nozioni riguardanti le metodologie di definizione dei pattern (e.g. la teoria sulla definizione delle Colored Petri Nets) e le convezioni adottate dal WPI, per passare in seguito al vero e proprio lavoro (sperimentale) di tesi riguardo la descrizione dei pattern, l’analisi sulla loro realizzabilità in JOLIE, insieme ad un codice di esempio che esemplifica quanto affermato dall'analisi. Come sommario delle conclusioni raggiunte sui pattern, alla fine di ognuna delle due sezioni definite in precedenza, è presente una scheda di valutazione che, con lo stesso metodo utilizzato e definito dalla WPI, permette di avere una rappresentazione generale della realizzabilità dei pattern in JOLIE. Il quarto capitolo riguarda gli esiti tratti dal lavoro di tesi, riportando un confronto tra le realizzazioni dei pattern in JOLIE e le valutazioni del WPI rispetto agli altri linguaggi da loro considerati e valutati. Sulla base di quanto ottenuto nel terzo capitolo vengono definite le conclusioni del lavoro portato avanti sui pattern e viene delineato un’eventuale scenario riguardante il proseguimento dell’opera concernente la validazione ed il completamento della studio. In ultimo vengono tratte alcune conclusioni sia riguardo JOLIE, nel contesto evolutivo del linguaggio e soprattutto del progetto open-source che è alla sua base, sia sul SOC, considerato nell’ambito del BPA e del suo attuale ambito di sviluppo dinamico.

Composizione e percezione. Il sistema visivo come metodo di progetto

La Tesi riprende il metodo di laoro imparato all'istituto La Cambre di Bruxelles: nell'Atelier scelto, ogni studente aveva effettuato l'analisi di un'area partendo da un tema dato. Da questa erano stati individuati i punti di forza e di debolezza, ai quali era stata data una risposta progettuale. Il lavoro di Tesi riprende questa impostazione: ad una prima parte di analisi del tema scelto, ossia della costruzione dell'architettura a partire da viste prospettiche, è stato analizzata l'area studio - la città di Cesena - individuando quelli che Lynch chiama "immagini deboli della città". Di queste, ne è stata scelta una alla quale è stata data una risposta progettuale: una torre.

Soluzioni classiche e viscose dell'equazione di curvatura di Gauss-Levi

Nella presente tesi ci siamo occupati dell'equazione di curvatura di Gauss-Levi, prima introducendo le nozioni necessarie alla sua definizione, poi cercandone soluzioni viscose. A tale scopo abbiamo introdotto in generale la nozione di soluzione viscosa per operatori ellittici degeneri, dimostrandone l'esistenza grazie al Principio del Confronto e al Metodo di Perron. Abbiamo infine riportato alcuni risultati che collegano le soluzioni viscose dell'equazione di curvatura, a quelle classiche.

Sviluppo di un metodo elettrochimico per la determinazione della capacità antiossidante

The aim of the present thesis, carried out at the Analytical Group of the Faculty of Industrial Chemistry in Bologna, is to develop a new electrochemical method for the determination of the Antioxidant Capacity (AOC). The approach is based on the deposition of a non-conducting polymeric film on the working electrode surface and the following exposition to the radicals OH· produced by H2O2 photolysis. The strongly oxidant action of hydroxyl radicals degrades, causing an increase of the Faradic current, relevant to the redox couple [Ru(NH3)6]2+/3+ monitored by cyclic voltammetry(CV); the presence of an antioxidant compound in solution slows down the radical action, thus protecting the polymeric film and blocking the charge transfer. The parameter adopted for the quantification of the AOC, was the induction time, called also lag phase, which is the time when the degradation of the film starts. Five pure compounds, among most commonly antioxidant, were investigated : Trolox®(an analogue water-soluble of vitamin E), (L)-ascorbic acid, gallic acid, pyrogallol and (-)- epicatechin. The AOC of each antioxidant was expressed by TEAC index (Trolox® Equivalent Antioxidant Capacity), calculated from the ratio between the slope of the calibration curve of the target compound and the slope of the calibration curve of Trolox®. The results from the electrochemical method, have been compared with those obtained from some other standardized methods, widely employed. The assays used for the comparison, have been: ORAC, a spectrofluorimetric method based on the decrease of fluorescein emission after the attack of alkylperoxide radicals, ABTS and DPPH that exploit the decoloration of stable nitrogen radicals when they are reduced in presence of an antioxidant compound and, finally, a potentiometric method based on the response of the redox couple [Fe(CN)6]3-/ [Fe(CN)6]4-. From the results obtained from pure compounds, it has been found that ORAC is the methodology showing the best correlation with the developed electrochemical method, maybe since similar radical species are involved. The comparison between the considered assays, was also extended to the analysis of a real sample of fruit juice. In such a case the TEAC value resulting from the electrochemical method is higher than those from standardized assays.

Il polverino di gomma nel riciclaggio a freddo: metodo sperimentale

In questo lavoro sono state studiate diverse miscele di conglomerato bituminoso riciclato a freddo, nelle quali si è inserito polverino di gomma proveniente da riciclaggio di pneumatici dismessi. Lo scopo è stato quello di valutare l’effetto del polverino di gomma all’interno di miscele, contenenti il 100% di fresato, confezionate a freddo con emulsione di bitume e cemento, analizzandone gli effetti sulla lavorabilità, sulla resistenza a trazione indiretta, sui moduli di rigidezza e sulle resistenze a fatica. Nel capitolo primo è introdotto il concetto di sviluppo sostenibile con particolare attenzione al campo delle pavimentazioni stradali. Sono analizzati i più recenti dati riguardanti la produzione di rifiuti di demolizione e ricostruzione in Europa e in Italia. Segue una descrizione del materiale di risulta da scarifica delle pavimentazioni stradali, dei pneumatici e delle modalità di recupero degli stessi. Nel capitolo secondo sono riportati i principali riferimenti legislativi a livello comunitario, nazionale e locale riguardanti le attività coinvolte nel processo di riciclaggio dei rifiuti per la loro utilizzazione nella costruzione di opere stradali, accompagnati dai principali documenti ausiliari, quali sentenze e disposizioni applicative a completamento del suddetto quadro normativo. Nel capitolo terzo vengono descritte le principali tecniche di riciclaggio del fresato. Particolare attenzione viene posta nella descrizione delle procedure operative e dei macchinari adottati nelle operazioni di riciclaggio in sito. Infine vengono valutati i pregi e i difetti delle tecniche di riciclaggio a freddo analizzando i vantaggi economici ed ambientali rispetto a quelle tradizionali a caldo. Nel capitolo quarto sono analizzate le singole costituenti della miscela: Emulsione Bituminosa, Cemento, Aggregati, Polverino di Gomma e Acqua, definendone per ciascuna il ruolo e le caratteristiche meccaniche e fisiche che le contraddistinguono. Nel capitolo quinto, viene sviluppato il programma sperimentale, sono definiti gli obbiettivi e descritte in modo approfondito le cinque fasi nelle quali si articola. Nella fase uno, vengono introdotte le miscele che dovranno essere studiate. Segue una caratterizzazione dei principali costituenti alla base di tali miscele: fresato , polverino di gomma, cemento, filler,emulsione bituminosa. Nella fase due avviene il confezionamento dei provini mediante compattazione con pressa giratoria. Al termine della realizzazione dei campioni, vengono descritte e analizzate le proprietà volumetriche del materiale quali il grado di addensamento, la densità, la lavorabilità. Nelle fasi tre, quattro e cinque, vengono eseguiti in successione test per la valutazione delle resistenze a trazione indiretta ITS, test per la determinazione dei moduli di rigidezza ITSM ed infine test per la valutazione delle durate dei materiali a fatica ITFT. Per ognuno dei test, sono descritte le procedure operative sulla base delle normative di riferimento vigenti. Segue l’analisi dei risultati di ciascuna prova e la valutazione dell’effetto che i singoli costituenti hanno sulle caratteristiche meccaniche della miscela.