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.

Characterization of the chestnut germoplasm of Emilia-Romagna region and ancient fruit tree varieties valorization

Molecular characterization represents a valid support for the recovery of germoplasm, also motivated by the interest for the valorization of local productions in order to make their traceability possible. Molecular characterization is also fundamental for the individuation of misnomers in collection fields in which the different varieties are preserved. In particular, microsatellites have been used in this research to investigate the genetic diversity, inside a population and at an individual level, and the correct varietal correspondence. The research is mainly based on the study of European chestnut (Castanea sativa Mill.) cultivars to evaluate the genetic diversity and relationships in Emilia-Romagna region (Italy). A STRUCTURE analysis was carried out at European level with the allelic frequencies of the samples collected in Emilia-Romagna. Variation found at group and subgroup level may reflect a combination of historical migration/selection processes and adaptive factors to different environments between Italian and Spanish regions. In addition, a case study for the valorization of an old local variety and its re-introduction in the cultivation areas was proposed. This research was carried out by a morphological and molecular characterization of the local apple variety 'Rosa Romana'. The conservation of this variety entails the discrimination of different accessions with very similar phenotype that are present in the original cultivation area. The identification of historical trees and most adequate reference plants are fundamental steps for the correct propagation of this old variety and for the development of nursery activities. This will also promote and re-evaluate the exploitation and protection of such ancient Italian apple cultivars. This model could be in future also carried out for chestnut varieties. In conclusion, analysis with molecular markers is of fundamental importance for the protection and the maintenance of local and ancient varieties which allow to increase the allelic variability available for breeding programs.