Home | Search | Help  
Home PageUniversit�di Genova

Phd Activity of Sonia PINI

Last updated 03 October 2005 by Sonia Pini.

Leave of Absence

PhD Courses and Credits

  1. 03-06/2004. Immagini Biomediche
    Corso di Laurea in Informatica Univ. di Genova
    responsabile: Patrizia Boccacci.
    Sostenuto: 20/20.

  2. 03-06/2004. Visione Computazionale
    Corso di Laurea in Informatica Univ. di Genova
    responsabile: Alessandro Verri.
    Sostenuto: 20/20.

  3. 05/2004. Reflection: Stato dell'Arte e Sviluppi Futuri
    Dottorato in Informatica, Univ. di Milano
    responsabile: Walter Cazzola .
    Sostenuto: 20/20.

  4. 04-08/07/2005. Summer School on Generative and Transformational Techniques in Software Engineering.
    • Program Trasformation With Reflective and Aspect-Oriented Programming.
      Lecturer: Prof. Shigeru Chiba (Tokyo Institute of technology).
      Sostenuto: -.
    • On the Use of Graph Transformations for Model Refactoring
      Lecturer: Prof. Tom Mens (University of Mons-Hainaut).
    • Feature Oriented Programming
      Lecturer: Prof. Don Baratory (The University of Texas at Austin).
    • Compiling Fast XML reader/writers form DTDs using Program Transformations
      Lecturer: Prof. Ira Baxter (Semantic Designs Inc.).
    • Metamodeling and Model Driven Software Development
      Lecturer: Prof. Jean Bezivin (INRIA, LINA, University of Nantes).
    • The Transformational Approach to Database Engineering
      Lecturer: Prof. Jean-Luc Hainaut (University of Namur).
    • Program Optimization and Transformation in Calculational Forms
      Lecturer: Prof. Zhenjiang Hu (University of Tokyo).
    • Object, relational, and XML mapping
      Lecturer: Prof. Erik Meijer (Microsoft, Redmond).

  5. 10/2005. From Reflection to AOP: Advanced Techniques for Software Development
    Corso di dottorato Università degli Studi di Milano
    responsabile: Walter Cazzola.
    Sostenuto: 20/20.

  6. 06/2006.Separation of Concerns and Empirical Studies
    Corso di dottorato Università degli Studi di Milano
    responsabile: Alessandro F. Garcia.
    Sostenuto: yes.

Teaching Assistant Activity

  • aa 2003/2004:
    Assistenza al Laboratorio di Informatica Generale per il Corso di Laurea in Comunicazione Digitale dell'Università di Milano.
    Docente di riferimento Dott. Walter Cazzola.

  • aa 2003/2004:
    Assistenza al Laboratorio di Informatica per il Corso di Laurea Interfacoltà in Biotecnologia dell'Università di Milano. Docente di riferimento Dott. Walter Cazzola.

  • aa 2004/2005:
    Assistenza al Laboratorio di Informatica Generale per il Corso di Laurea in Comunicazione Digitale dell'Università di Milano.
    Docente di riferimento Dott. Walter Cazzola.

  • aa 2004/2005:
    Assistenza al Progetto del corso di Ingegneria del Software dell'Università degli studi di Genova.
    Docente di riferimento Prof.sa Gianna Reggio.

  • aa 2005/2006:
    Assistenza al Corso di Implementazione di Linguaggi 1 dell'Università degli studi di Genova.
    Docente di riferimento Prof.Massimo Ancona.

  • aa 2006/2007:
    Assistenza al Progetto del corso di Sistemi Distribuiti dell'Università degli studi di Genova.
    Docenti di riferimento Prof. Massimo Ancona e Dott. Walter Cazzola.

Research Activity

Pubblications

Conferences, Seminars, Short Visits

  • 14-18 June 2004. ECOOP - European Conference on Object Oriented Programming, Oslo, Norway.
  • 18-21 November 2004. V Congresso - Associazione Italiana di Telemedicina a Informatica Medica . Genoa Italy.
  • 04-08 July 2005. Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal.
  • 25-29 July 2005. ECOOP - European Conference on Object Oriented Programming, Glasgow, UK.
  • 16 June 2006. Aspectizing Design Patterns and Exception Handling: The Devil is in the Details. Alessandro Garcia, Milano, Italy.
  • 3-7 July 2006. ECOOP - European Conference on Object Oriented Programming, Nantes, France.
  • October 2007. MoDELS - 9th International Conference on Model Driven Engineering Languages and Systems (ACM/IEEE), Genoa, Italy.
  • October 2007. ITAB - 5th International Conference on Information Technology in Biomedicine, Ioannina, Epirus, Greece.

Annual Reports

  • 2004
    Thesis Proposal
    In the last months, we have explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality and the limits of the aspect-oriented development for software evolution. From our analysis follows that in general (and in particular for AspectJ) the approach to join points, pointcuts and advices definition are not enough intuitive, abstract and expressive to support all the requirements for carrying out the software evolution. We have also examined how a mechanism for specifying pointcuts and advices based on design information, in particular on the use of UML diagrams, can better support the software evolution through aspect oriented programming. Our analysis and proposal are presented through an example. In particular we have analized the evolution of nonstopping applications, these applications must to be able to dynamically adapt themselves to sudden and unexpected changes to their environment. In general an approach to the run-time software evolution requires a mechanism that permits of concreting the evolution on the running system. In particular this mechanism should be able to:
    1. picking the code interested by the evolution out of the whole system code,
    2. carrying out the patches required by the planned evolution on the located code.
    Both these steps must occur without stopping the system.
  • 2005
    Progress Report
    During the second year of my PhD I have analyzed and highlighted the role of the design information in software evolution, and I have faced two of the three elements that compose the Join Point Model, i.e. join points and the pointcut mechanism.
    To overcame the problem of the fragile pointcuts it is necessary to extend the pointcut definition language to support join points selection on the basis of a (kind of) semantic query, i.e., pointcuts that does not only take into consideration the structure of the program but also its semanthic. Providing a more expressive and semantic-oriented selection mechanism means to use a query language based on a well-defined program representation that captures its behavior/properties abstracting from the syntactic details. I think design information, offers the most suitable representation of a program. Given a mapping between the code and its specification it could be automatically embedded by decorating/ annotating the code (or better the bytecode) with the mapping. Then a pointcut will be evaluated on the decorations and not directly on the code. To realize a semantic mechanism we base the pointcut language on design models . Then, in our proposal, pointcuts are UML diagrams, and consequently join points are points in these diagrams, and the aspects weaving fall into the weaving of models.



Back to my homepage


Please send suggestions and comments to:
Sonia Pini pini@disi.unige.it


  The Department | Research | Education | People | Contacts