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.

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.

Oswald Mathias Ungers: Belvederestraße 60. Zu einer neuen Archtektur.

La presente Tesi di Dottorato intende affrontare una lettura critica della Casa in Belvederestraße 60, realizzata dall’architetto Oswald Mathias Ungers (Kaisersesch, 12 luglio 1926 – Köln, 30 settembre 2007), nel 1958-’59 a Köln-Müngersdorf, come studio per sé ed abitazione per la propria famiglia. Questo primo oggetto della ricerca viene considerato evidente espressione delle convinzioni formali e compositive dell’architetto, negli anni Cinquanta e Sessanta. A differenza di altri progetti residenziali coevi ed antecedenti, frutto di un’elaborazione autonoma, la prima casa che costruisce per sé riflette una maggiore libertà di pensiero, dettata dalla coincidenza delle figure di progettista e committente; a ciò si aggiunge anche una precisa volontà dichiarativa ed ideologica. Proprio quest’ultimo aspetto permette di introdurre il secondo oggetto della Tesi: il manifesto “ideologico”, Zu einer neuen Architektur, scritto dallo stesso Oswald Mathias Ungers e da Reinhard Gieselmann, alla fine del 1960; un breve testo che espone, con toni perentori ed inappellabili, il punto di vista dei due architetti nei confronti di un panorama architettonico e critico, caratterizzato da una sterilità di pensiero dilagante, a causa dell’egemonia costruttiva funzionalista. La ricerca indaga quindi le forti reciprocità delle due opere: casa e testo, viste in chiave di “manifesto scritto e manifesto costruito”. Il primo legame tra i due soggetti è senza dubbio la concomitanza temporale, (tra il 1958 ed il 1960) associata ad un rapporto causa-effetto, tale per cui il manifesto viene redatto a difesa delle aspre critiche scaturite dalla pubblicazione della casa sulla rivista Bauwelt. Il secondo nesso è la possibilità di comprendere le accezioni effettive dei termini impiegati nella redazione del testo, attraverso le forme di una delle opere maggiormente personali dell’architetto, estraendone il senso e conferendogli un’immagine architettonica. Si vuole creare così un rapporto biunivoco di traducibilità, dell’architettura nello scritto e della semantica ungersiana in azioni compositive.