Section: Other Grants and Activities

European Initiatives

Participants : Stéphane Ducasse [ correspondant ] , Veronica Uquillaz-Gomez, Marcus Denker.

IAP MoVES

Participant : Stéphane Ducasse [ correspondant ] .

The Belgium IAP (Interuniversity Attraction Poles) MoVES (Fundamental Issues in Software Engineering: Modeling, Verification and Evolution of Software) is a project whose partners are the Belgium universities (VUB, KUL, UA, UCB, ULB, FUNDP, ULg, UMH) and three European institutes (INRIA, IC and TUD) respectively from France, Great Britain and Netherlands. This consortium combines the leading Belgian research teams and their neighbors in software engineering, with recognized scientific excellence in MDE, software evolution, formal modeling and verification, and AOSD. The project focusses on the development, integration and extension of state-of-the-art languages, formalisms and techniques for modeling and verifying dependable software systems and supporting the evolution of Software-intensive systems. The project has started in January 2007 and is scheduled for a 60-months period. Read more at http://moves.vub.ac.be .

Réseau ERCIM Software Evolution

We are involved in the ERCIM Software Evolution working group since its inception. We participated at his creation when we were at the University of Bern.

Associated Team with University of Bern and Montréal (REMOOSE)

REMOOSE is a collaboration between INRIA Lille, SCG University of Bern/Switzerland and Université de Montréal, Canada. The theme of the collaboration is remodularisation of object oriented systems. The collaboration started in 2008 and is now in its second year.

Results.

• Stabilisation of a new version of the FAMIX source code metamodel. FAMIX3.0 has been designed and specified in the FAME meta-metamodel and implemented in the Pharo environment.

• We released an first official version of Moose based on FAMIX30 and reimplemented on top of Pharo during the holiday 2009. The University of Bern and the RMoD research groups are still actively working on this port.

• We evaluated explanation-based algorithms to see how we could express package structures. However contrary to what we expected we gave up this approach because the first results were clearly not encouraging. Instead we conducted a number of experiments on Dependency Structure Matrix. We developed on Moose a new DSM and enhanced the traditional DSM to offer a wider range of information. We got one paper at WCRE 2009, an international conference on reverse engineering. We basically enhanced this well known technique with local and qualitative information to help remodularizing a system.

Workshops and Seminars. In the context of REMOOSE, we organized one international workshop and two seminars:

• International workshop: FAMOOSr. We organized International 3rd Workshop on FAMIX and Moose in Reengineering held in conjunction with the International Working Conference on Reverse Engineering (WCRE 2009). The official website for this event is http://moose.unibe.ch/events/famoosr2009 (14 October 2009, Lille).

• International seminars: SATTOSE and PHARO. SATTOSE was seminar organized at Cap-Hornu from the 11 to 15 of May 2009. 9 researchers attended the seminar. With the support of INRIA Lille–Nord Europe and the associated team, we conducted a coding seminar around the pharo environment. This event took place at the University of Lille from Saturday 17 to Tuesday 20 October 2009. It is worth mentioning that this event attracted people that are not part of an institution partner. This demonstrates the relevance of the effort for companies.

Publication production. This year saw the public release of two books by authors of the REMOOSE associated team.

• Seaside Book [39] . Dynamic Web Development with Seaside . It is a free open-source book and will be later proposed as a physical book with a on-demand mechanism.

• Pharo Book [38] . Pharo by Example . It is the Pharo version of the Squeak by example book that was released as a free online book, and a paperback version last year. Squeak by Example is available at Squeak by Example and was downloaded around 90000 times for the english and french versions. Several translations of Pharo by example in spanish and french are under way.

In addition we collaborated on several joint publications. Here is the list of joint papers so far:

• David Röthlisberger and Oscar Nierstrasz and Stephane Ducasse and Damien Pollet and Romain Robbes, Supporting Task-oriented Navigation in IDEs with Configurable HeatMaps, Proceedings of the 17th International Conference on Program Comprehension (ICPC 2009), IEEE Computer Society, Los Alamitos, CA, USA, 253-257, 2009.

• David Röthlisberger and Oscar Nierstrasz and Stephane Ducasse and Alexandre Bergel, Tackling Software Navigation Issues of the Smalltalk IDE, Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), ACM Digital Library, 2009, to appear.

• Stephane Ducasse and Tudor Girba and Adrian Kuhn and Lukas Renggli, Meta-Environment and Executable Meta-Language using Smalltalk: an Experience Report, Journal of Software and Systems Modeling (SOSYM), Springer Verlag, 2009.

• Stephane Ducasse, Marcus Denker and Adrian Lienhard, Evolving a Reflective Language: Lessons Learned from Implementing Traits, Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), ACM Digital Library, 2009, to appear.

• Gwenael Casaccio, Damien Pollet, Marcus Denker and Stephane Ducasse, Object Spaces for Safe Image Surgery, Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), ACM Digital Library, 2009, to appear.

• Jannik Laval and Simon Denier and Stéphane Ducasse and Andy Kellens, Supporting Incremental Changes in Large Models, Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), ACM Digital Library, 2009, to appear.

• Alexandre Bergel and Stephane Ducasse and Lukas Renggli, Seaside – Advanced Composition and Control Flow for Dynamic Web Applications, ERCIM News, 72, 2008.

• S. Denier and H. Sahraoui, Understanding the Use of Inheritance with Visual Patterns, International Symposium on Empirical Software Engineering and Measurement (ESEM), 2009.

• Lukas Renggli, Marcus Denker and Oscar Nierstrasz, Language Boxes. Bending the Host Language with Modular Language Changes, the 2nd International Conference on Software Language Engineering (SLE 2009), LNCS, 2009, to appear.

• Hani Abdeen and Stephane Ducasse and Houari Sahraoui and Ilham Alloui: Automatic Package Coupling and Cycle Minimization, International Working Conference on Reverse Engineering (WCRE), IEEE Computer Society Press, 2009.