Modello B - Università degli Studi di Genova

Ministero dell'Istruzione dell'Università e della Ricerca
SottoTask 1.3 Evoluzione e refactoring.
Il lavoro dell'unità in questo sottotask si focalizza principalmente sul supporto dell'evoluzione e del refactoring sia a livello linguistico sia metodologico. I risultati
attesi sono: i) l'implementazione di un linguaggio grafico per la programmazione ad aspetti (Blueprint [CP07b]) che dovrebbe risolvere il problema della fragilità
dei pointcut a fronte dell'evoluzione del software; ii) definizione ed implementazione di un'estensione di AspectJ (@AspectJ) che sfrutta un più fine modello di
meta-dati per disaccoppiare la definizione dei pointcut dall'implementazione dell'applicazione per aumentare la robustezza dei pointcut in caso di evoluzione; iii)
sviluppo di un framework per supportare l'evoluzione dinamica e cambi allo schema di una classe durante l'esecuzione dell'applicazione senza modificare la Java
virtual machine e iv) sviluppo di un approccio semi-automatico all'aggiornamento della documentazione nel caso l'applicazione debba evolvere.
SottoTask 1.4 Sviluppo composizionale di linguaggi.
Il lavoro dell'unità in questo sottotask si focalizza principalmente sullo sviluppo di una metodologia per definire un linguaggio di programmazione come la
composizione dei suoi componenti base; componenti che possono essere riusati dalla definizione di altri linguaggi. La metodologia che si intende investigare segue le
idee date in [CS09]. Ogni costrutto sarà incapsulato in uno slice assieme ai dettagli necessari per realizzarne l'implementazione/valutazione. I risultati attesi sono: i)
la definizione di un meccanismo per definire le componenti base del linguaggio che potranno essere selettivamente composte a formare un nuovo linguaggio; ii) lo
sviluppo di un framework per generare compilatore ed interprete per i programmi scritti nel linguaggio risultato della composizione; e infine iii) l'applicazione del
framework alla ridefinizione/implementazione di alcuni linguaggi di programmazione esistenti, come Java [GJSB05], Featherweight Java [IPW01] e Linda [CG89].
Il lavoro in questo sottotask è condotto in collaborazione con l'unità di Torino.
SottoTask 2.4 Mobilità ed evoluzione dinamica
Il lavoro svolto dall'unità in questo sottotask si focalizza principalmente sulle reti di Petri riflessive [CC06, CC07b], che l'unità ha sviluppato, e nella loro
applicazione alla modellazione dell'evoluzione del struttura di una rete mobile. I risultati attesi sono: i) la definizione e lo sviluppo di un apposito calcolo per l'analisi
strutturale e dello spazio degli stati delle reti di Petri riflessive; ii) l'implementazione di un simulatore per le reti di Petri riflessive derivata da strumenti esistenti; ed
infine iii) l'uso delle reti di Petri riflessive e delle pianificate estensioni per modellare l'evoluzione reti mobili altamente mutevoli come le reti di sensori, allo scopo di
eseguire analisi di qualità e performance per algoritmi appropriate come quelli di gossiping [GPR08].
Testo inglese
Most of the efforts of the unit of Milan are about designing and developing a framework that will permit to design a programming language as the composition of
programming features coming from other programming language definitions and to generate an ad hoc compiler for the just defined programming language. This
framework will help to accomplish also the work of the other units providing a tool to easily develop and test the proposed ideas. Secondary the researchers of the
unit will be work on the evolution and distribution topic.
The participation of the unit of Milano is of basic importance in achieving project's objectives since they will contribute their plurennial experience on design and
developing object-oriented, aspect-oriented and reflective programming languages and on their applications to software evolution. Such a more pragmatic
competences are perfectly completed by the more theoretic skills from the units of Firenze, Genova and Torino to achieve the prefixed objectives with a tight
collaborations among the units. The collaboration with the units has proved successful and tuned by the collaborations in previous common projects.
The contributions of the unit is summarized below.
SubTask 1.3 Evolution and refactoring.
The work of this unit in this subtask mainly focuses on supporting evolution and refactoring at linguistic level and as a methodology. The expected results are: i) the
implementation of a graphical aspect-oriented language (named Blueprint [CP07b]) that should solve the pointcut fragility against software evolution; ii) definition
and implementation of an AspectJ extension (named @AspectJ) exploiting a finer model for meta-data used to decouple pointcut from application implementation in
order to improve pointcut robustness against software evolution; iii) development of a framework to support dynamic evolution and schema changes during
application execution in Java without changing its virtual machine and finally iv) development of a semi-automatic approach to documentation maintenance against
software evolution.
SubTask 1.4 Compositional language development.
The work of the unit in this subtask mainly focuses on developing a methodology to define a programming language as the composition of its basic components;
components that can be reused from other language definitions. The methodology we intend to investigate basically follows the ideas we have given in [CS09]. Each
programming feature will be encapsulated in a slice together with the necessary details to realize its implementation/evaluation. The expected results are: i) the
definition of a mechanism to define basic programming features that can be selectively composed to form a novel programming language; ii) the development of a
framework to generate the compiler and interpreter for programs written in the programming language resulting from the composition; and finally iii) the application
of the novel framework to the redefinition/implementation of some well-known programming languages, such as Java [GJSB05], Featherweight Java [IPW01] and
Linda [CG89].
The work in this subtask is carried out in collaboration with the unit of Torino.
Task 2.4 Mobility and dynamic evolution
The work of the unit in this subtask mainly focus on the reflective Petri net formalism [CC06,CC07b] we developed and in its application to model the evolution of the
layout of a mobile network. The expected results are: i) the definition and development of an appropriate structural analysis and state space calculi for the reflective
Petri nets formalism; ii) the implementation of a simulation engine for reflective Petri nets derived by existing tools; and finally iii) the use of the reflective Petri net
formalism and of the planned extensions to model the evolution of highly mutable mobile networks, such as sensor networks, in order to carry out performance and
quality analysis on appropriate algorithms, such as gossiping [GPR08].
9 - Settori di ricerca ERC (European Research Council)
PE Mathematics, physical sciences, information and communication, engineering, universe and earth sciences
PE5 Information and communication: informatics and information systems,computer science, scientific computing, communication technology, intelligent
systems
PE5_16 Systems and software
PE5_6 Informatics and information systems
MIUR - BANDO 2008 - MODELLO B - 4 -