Project-Team-Triskell:International working groups

Project-Team : triskell

Section: Other Grants and Activities

International working groups

ERCIM Working Group on Software Evolution

Numerous scientific studies of large-scale software systems have shown that the bulk of the total software-development cost is devoted to software maintenance. This is mainly due to the fact that software systems need to evolve continually to cope with ever-changing software requirements. Today, this is more than ever the case. Nevertheless, existing tools that try to provide support for evolution have many limitations. They are (programming) language dependent, not scalable, difficult to integrate with other tools, and they lack formal foundations.

The main goal of the proposed WG (http://w3.umh.ac.be/evol/) is to identify a set of formally-founded techniques and associated tools to support software developers with the common problems they encounter when evolving large and complex software systems. With this initiative, we plan to become a Virtual European Research and Training Centre on Software Evolution.

Triskell contributes to this working group on the following points:

re-engineering and reverse engineering
model-driven software engineering and model transformation
impact analysis, effort estimation, cost prediction, evolution metrics
traceability analysis and change propagation
family and product-line engineering

Standardization at OMG

Triskell project participates to normalization action at omg (http://www.omg.org/):

Triskell project participates to the RFP MOF2.0 QVT Query/view/Transformation. This RFP standardizes a model transformation language which is a key point in efficiently applying MDA.
Triskell project participates to the new Executable UML foundation RFP. This RFP will standardize a subset of UML2.0 with a more precise execution semantic.
Triskell project is also involved in other OMG groups which are related to the team interests. For example, it participates to the ORMSC group which formalizes the MDA approach, to the MDA user SIG which represents the end user point of view for MDA. It is also invloved in the more general Analysis and Design group which promotes standard modelling techniques including UML and MOF.
Triskell initiated a wiki dedicated to share information about the omg within the INRIA (http://omg.wiki.irisa.fr/).

Collaboration with foreign research groups:

University of Oslo, Norway. Collaboration on the SWAT project (Semantics-preserving Weaving - Advancing the Technology) with Øystein Haugen and Birger Møller-Pedersen. The goal of this formal collaboration is to identify basic mechanisms behind the mechanisms we find in generics, aspect orientation, family modeling and generative programming, in general what mechanisms we should have in order to produce models/programs from generic models/programs or from fragments of models/programs.

Colorado State University (CSU), USA. Collaboration on several issues related to model-driven development with Robert France and Sudipto Ghosh. More precisely we have collaborated on model composition for aspect-oriented modelling, model transformation and model validation with testing. Franck Fleurey and Benoit Baudry visited CSU in summer 2005, this visit was funded by INRIA as part of the ``mini prjet INRIA'' program. Robert France visited Triskell in 2003, will come back in June 2006 and should spend 6 months in sabbatical in 2006-07. To institutionalize our collaboration, we have set up a ``Equipe associée'' (associated team) called MATT between CSU and Triskell on Model-driven engineering: Aspects, Transformations and Test (see http://www.irisa.fr/triskell/matt for details).

Centre for Distributed Systems and Software Engineering, Monash University, Melbourne, Australia. Collaboration on Trusted Components and Contracts. Professor Heinz Schimdt has been invited in the Triskell team during 3 months in 2002. Christine Mingins has co-authored a book with J.-M. Jézéquel [49].

Software engineering group, University of Montréal, Canada, on meta-modeling (H. Sahraoui).

Carleton University, Ottawa, Canada: Triskell has developed a collaboration on test and objects with Lionel Briand's team at Carleton University.

Technical University of Munich, Germany on meta-modeling and agile methodologies. B. Rumpe, Editor in Chief of the SoSyM journal, was an invited professor with Triskell for 3 months in 2003, and visited us again in november 2004.

ETH Zurich (Pr.B. Meyer's team), Switzerland on Trusted Components. B. Meyer came to Rennes several times in the past few years.

Distributed Systems Technology Centre, Brisbane, Australia. Triskell has collaborated and published with the Pegamento team on rule-based approaches to model transformation.