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.

La rue Mallet-Stevens forma e linguaggi nell'architettura di Mallet-Stevens

La ricerca ha avuto come obiettivo l’analisi delle residenze lungo la rue Mallet-Stevens, a Parigi, realizzate da Robert Mallet-Stevens negli anni 1925-1930. Si tratta di un intervento pensato unitariamente, i cui dispositivi spaziali sono rivelatori tanto del concetto spazio-forma, quanto del processo d’ideazione dello stesso nell’ambito dei paradigmi gestaltici e compositivi della modernità. All’epoca la necessità di espressione e affermazione di un simile concetto si tradusse nell’interpretazione spaziale dalla scala dell’abitazione alla scala della città. Le residenze, realizzate nella zona di Auteuil (16 arrondissement), occupano l’area di una nuova lottizzazione, da cui il successivo nome dell’intervento: case su rue Mallet-Stevens. Il programma comprendeva cinque abitazioni, commissionate da artisti e ricchi borghesi, una piccola maison per il guardiano del confinante parco, e un progetto, mai realizzato che nella prima versione comprendeva due interventi: un hôtel particulier e un edificio per appartamenti. La rue Mallet-Stevens si costituì come frammento di città possibile, ove si manifestava un’idea di urbanità chiaramente ispirata al modello della città giardino e ai valori del vivere moderno. I volumi “stereometrici” sono la cifra dell’idea di spazio che, a quel punto della sua attività, Mallet-Stevens aveva maturato sia come architetto, sia come scenografo. La metodologia di analisi critica dell’oggetto architettonico adottata in questa ricerca, si è servita di una lettura incrociata del testo (l’oggetto architettonico), del paratesto (ciò che l’autore ha scritto di sé e della propria opera) e dell’intertesto, in altre parole l’insieme di quelle relazioni che possono ricondurre sia ad altre opere dello stesso autore, sia ai modelli cui l’architetto ha fatto riferimento. Il ridisegno bidimensionale e tridimensionale degli edifici della rue Mallet-Stevens ha costituito lo strumento fondamentale di analisi per la comprensione dei temi architettonici. Le conclusioni cui la ricerca è giunta mostrano come la posizione culturale di Mallet-Stevens si è arricchita di molteplici influenze creative, sulla scia di una consapevole e costante strategia di contaminazione. Mallet-Stevens, osservando i linguaggi a lui contemporanei, si appropriò della componente morfologica del progetto, privilegiandola rispetto a quella sintattica, per poi giungere ad una personalissima sintesi delle stesse.

Architectural development and dry matter production in a multisite trial on single and multiaxis apple trees (Malus domestica Borkh) grafted on different rootstocks

In two Italian sites, multiaxis trees slightly reduced primary axis length and secondary axis length of newly grafted trees, and increased the number of secondary shoots. The total length, node production, and total dry matter gain were proportional to the number of axis. Growth of both primary and secondary shoots, and dry matter accumulation, have been found to be also well related to rootstock vigour. A great variability in axillary shoot production was recorded among different environments. Grafted trees had higher primary growth, secondary axis growth, and dry matter gain than chip budded trees. Stem water potential measured in the second year after grafting was not affected by rootstocks or number of leaders. Measurements performed in New Zealand (Hawke’s Bay) during the second year after grafting revealed that both final length and growth rate of primary and secondary axis were related to the rootstock rather than to the training system. Dwarfing rootstocks reduced the number of long vegetative shoots and increased the proportion of less vigorous shoots.

A Semantic-based Framework for Digital Survey of Architectural Heritage

The research aims at developing a framework for semantic-based digital survey of architectural heritage. Rooted in knowledge-based modeling which extracts mathematical constraints of geometry from architectural treatises, as-built information of architecture obtained from image-based modeling is integrated with the ideal model in BIM platform. The knowledge-based modeling transforms the geometry and parametric relation of architectural components from 2D printings to 3D digital models, and create large amount variations based on shape grammar in real time thanks to parametric modeling. It also provides prior knowledge for semantically segmenting unorganized survey data. The emergence of SfM (Structure from Motion) provides access to reconstruct large complex architectural scenes with high flexibility, low cost and full automation, but low reliability of metric accuracy. We solve this problem by combing photogrammetric approaches which consists of camera configuration, image enhancement, and bundle adjustment, etc. Experiments show the accuracy of image-based modeling following our workflow is comparable to that from range-based modeling. We also demonstrate positive results of our optimized approach in digital reconstruction of portico where low-texture-vault and dramatical transition of illumination bring huge difficulties in the workflow without optimization. Once the as-built model is obtained, it is integrated with the ideal model in BIM platform which allows multiple data enrichment. In spite of its promising prospect in AEC industry, BIM is developed with limited consideration of reverse-engineering from survey data. Besides representing the architectural heritage in parallel ways (ideal model and as-built model) and comparing their difference, we concern how to create as-built model in BIM software which is still an open area to be addressed. The research is supposed to be fundamental for research of architectural history, documentation and conservation of architectural heritage, and renovation of existing buildings.