Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Comparazione di metodi per l'elaborazione di mappe di vulnerabilità degli acquiferi

Lo scopo di questa tesi di dottorato è la comparazione di metodi per redarre mappe della vulnerabilità degli acquiferi all’inquinamento. Sono state redatte le mappe di vulnerabilità dell’acquifero della conoide del Reno utilizzando i metodi parametrici SINTACS (Civita e De Maio, 1997) e DRASTIC (Aller et al., 1987). E' stato elaborato un modello tridimensionale del flusso tramite l'utilizzo del software di modellistica numerica FEFLOW. I risultati ottenuti sono stati confrontati con le mappe derivanti dall'appllicazione dei PCSM. E’ stato, inoltre, approfondito lo sviluppo di un modello inverso, che, partendo dalla distruzione del carico piezometrico, fornisce la distribuzione della conducibilità idraulica dell’acquifero.La conoscenza di questo parametro è, infatti, il punto di partenza per lo sviluppo di un nuovo metodo per la definizione della vulnerabilità basato sulla caratterizzazione dell'area di acquifero potenzialmente inquinabile rispetto ad uno sversamento in superficie di un inquinante.L’indice di vulnerabilità viene definito sulla lunghezza del cammino che un inquinante percorrere nell’arco di un anno.

L'attività pionieristica della Scuola bolognese nello studio e nell'utilizzo del cemento armato: 1875 - 1924. Tecniche costruttive e tipologie architettoniche

La ricerca mira ad indagare l’origine della Scuola ingegneristica bolognese ed il ruolo che essa ha avuto durante i suoi primi 50 anni di attività nella diffusione del calcestruzzo armato in Italia, ed in particolare nella città di Bologna, sia dal punto di vista teorico che architettonico. Il processo di sviluppo del cemento armato è stato indagato secondo i percorsi tipici della scienza e della tecnica: teoria e pratica appaiono nel periodo di sperimentazione del materiale assai lontane; soltanto grazie alla comprensione delle sue potenzialità costruttive e del modo di sfruttarle al meglio, esse iniziano a convergere. L’interesse specifico per la Scuola bolognese va quindi a collocarsi all’interno di un panorama assai più ampio, con l’obiettivo di comprendere se, e fino a quando, le due discipline proseguono lungo strade parallele o se, al contrario, esse godono di reciproche influenze.

Il Montalbano nel Medioevo: Strumenti informatici per l’analisi archeologica del territorio e delle strutture architettoniche

La ricerca ha preso in esame l’analisi archeologica di un territorio medievale e la sperimentazione di strumenti informatici per la gestione e l’analisi dei dati prodotti dalla ricerca stessa. Il Montalbano, oggetto della ricerca, è una microregione caratterizzata da elementi che la rendono molto interessante. Si tratta di una catena submontana che divide la piana di Firenze-Prato-Pistoia dal Valdarno inferiore. Questa posizione di frontiera ne ha fatto l’oggetto di mire espansionistiche da parte delle principali famiglie signorili prima, dei comuni poi. In una prima fase sono stati censiti i siti attestati dalle fonti documentarie e materiali per capire le dinamiche insediative del popolamento medievale e le strategie di controllo di un territorio caratterizzato dall’assenza di un’egemonia da parte di un solo potere (almeno fino a metà ‘300). L’analisi stratigrafica si è poi concentrata sulle strutture architettoniche religiose, in quanto offrono la maggior quantità di dati dal punto di vista documentario e archeologico. È stato così possibile ottenere un quadro delle tecniche costruttive medievali e delle influenze culturali che lo hanno prodotto. I dati archeologici sono stati gestiti attraverso una piattaforma gis sviluppata all’interno del Laboratorio di Archeologia Medievale dell’Università di Firenze in collaborazione con il laboratorio LSIS del CNRS di Marsiglia. Questa è stata appositamente strutturata secondo le procedure di raccolta e organizzazione dati utilizzate durante l’analisi archeologica. Le singole strutture indagate sono inoltre state oggetto di un rilievo 3d fotogrammetrico che in alcuni casi studio è stato anche utilizzato come base di accesso ai dati derivanti dall’analisi stratigrafica, all’interno di un’applicazione gis 3d (Arpenteur). Questo ha permesso di connettere all’interno di un’unica piattaforma i dati geometrici ed archeometrici con quelli archeologici, utilizzando i primi come interfaccia di accesso ai secondi.