University of Leicester


SeTra 2006

3rd Workshop on Software Evolution through Transformations: Embracing the Change

Sattellite Event of the 3rd International Conference on Graph Transformation (ICGT 2006)
Natal, Rio Grande do Norte, Brazil; Sunday 17 - Friday 22 September 2006


The workshop will be held on the 22nd of September, 10.30 - 19.30. Talks will be 25 minutes plus 5 minutes for questions. An electronic version of the proceedings is available here (3.2 MB).

10.30 - 11.30: Keynote

  • Refactoring Information Systems,
    Michael Löwe, Harald König, Michael Peters, and Christoph Schulz

11.30 - 12.30: Model-driven Development

  • Generating Requirements Views: A Transformation-Driven Approach,
    Lyrene Fernandes da Silva and Julio Cesar Sampaio do Prado Leite
  • A MDE-Based Approach for Developing Multi-Agent Systems,
    Viviane Silva, Beatriz de Maria, and Carlos Lucena

12.30 - 14.00: Lunch

14.00 - 15.30: Program Transformation

  • Optimizing Pattern Matching Compilation By Program Transformation,
    Emilie Balland and Pierre-Etienne Moreau
  • An Algorithm for Detecting and Removing Clones in Java Code,
    Nicolas Juillerat and Beat Hirsbrunner
  • From C++ Refactorings to Graph Transformations,
    Laszlo Vidacs, Martin Gogolla, and Rudolf Ferenc

14.30 - 16.00: Break

16.00 - 17.30: Model Transformation Technology

  • EMF Model Refactoring based on Graph Transformation Concepts,
    Enrico Biermann, Karsten Ehrig, Christian Köhler, Gunter Kuhns, Gabriele Taentzer, and Eduard Weiss
  • Exogenous Model Merging by means of Model Management Operators,
    Artur Boronat, Jose A. Carsi, and Isidro Ramo
  • Discussion: Transformation Technology

17.30 - 18.00: Coffee

18.00 - 19.30: Transformation and Semantics

  • An Approach to Invariant-based Program Refactoring,
    Tiago Massoni, Rohit Gheyi, and Paulo Borba
  • Towards Distributed BPEL Orchestrations,
    Luciano Baresi, Andrea Maurino, and Stefano Modafferi
  • Discussion: Transformation and Semantics


Transformation-based techniques such as refactoring, model transformation, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop provides a forum for discussing these techniques, their formal foundations and applications.


Jean-Marie Favre', Institut d'Informatique et Mathématiques Appliquées, Universite Grenoble 1, France

Reiko Heckel, Dept. of Comp. Sci., University Leicester, UK

Tom Mens, Software Engineering Lab, Université de Mons-Hainaut, Belgium

The workshop is supported by the European Research Training Network SegraVis, the ERCIM Working Group on Software Evolution, and the French Working Group on Reverse Engineering, Maintenance and Software Evolution RIMEL.

Aims and Topics

Since its birth as a discipline in the late 60ies Software Engineering had to cope with the breakdown of many of its orginal assumptions.

Today we know that

  • it is impossible to fix requirements up front;
  • the design of the system is changing while it is being developed;
  • the distinction between design time and run-time is increasingly blurred;
  • a system's architecture will change or degrade while it is in use;
  • technology will change more rapidly than it is possible to re-implement critical applications;

This recognition of lack of stability in software means that we have to cope with change, rather than defending against it. Processes, methods, languages, and tools have to be geared towards making change possible and cheap.

Transformations of development artifacts like specifications, designs, code, or run-time architectures are at the heart of many software engineering activities. Their systematic specification and implementation are the basis for a wide range of tools, from compilers and refactoring tools to model-driven CASE tools and formal verification environments. The workshop provides a forum for the discussion transformation-based techniques in software evolution.

Topics of interest include transformation formalisms and languages like

  • program transformation
  • model transformation
  • graph transformation
  • term rewriting

and their application to software evolution activities

  • model-driven develpoment
  • model and code refactoring, redesign and code optimisation
  • reverse engineering, pattern detection, architecture recovery
  • architectural reconfiguration, self-organising or self-healing systems, service-oriented architectures
  • consistency management, co-evolution of models and code

Programme Committee

  • Luciano Baresi, Politecnico di Milano, Italy
  • Thaís Batista, Federal University of Rio Grande do Norte, Brazil
  • Paulo Borba, Universidade Federal de Pernambuco, Recife, Brazil
  • Artur Boronat, Universidad Politécnica de Valencia, Spain
  • Christiano de Oliveira Braga, Universidad Complutense de Madrid, Spain
  • Andrea Corradini, Universita di Pisa, Italy
  • Mohammad El-Ramly, University of Leicester, UK
  • Jean-Marie Favre, Universite Grenoble 1, France
  • Reiko Heckel, University of Leicester, UK
  • Dirk Janssens, University of Antwerp, Belgium
  • Tom Mens, Université de Mons-Hainaut, Belgium
  • Anamaria Martins Moreira, Universidade Federal do Rio Grande do Norte, Natal, Brazil
  • Leila Silva, Universidade Federal de Segipe, Brazil
  • German Vega, Universite Grenoble 1, France

Important Dates

  • Submission of abstracts: 25 June 2006
  • Submission of papers: 1 July 2006
  • Notification: 24 July 2006
  • Revised Version: 15 August 2006
  • Workshop: 21 (afternoon) and 22 September 2006


We solicit submissions of papers in two categories:

  • Position papers of up to 5 pages are expected to make a clear problem statement and to discuss original methodology and experience, as well as open issues of the proposed research.
  • Technical papers may have up to 12 pages and are judged, in addition, w.r.t. their technical contribution.
Accepted contributions will appear in the Electronic Communications of EASST, the European Association of Software Science and Technology. Please use the appriate styles style for authors.

A preliminary version of the issue will be available at the workshop. Depending on the overall quality, the most promising papers may be invited to contribute to a special issue of a journal.

Submission should be in PDF format. Due to technical problems with the online system, submission is by email in two stages.

For technical support : please contact Thu-Minh Nguyen, One Tree Technology - University of Grenoble.

Author: Reiko Heckel (
© University of Leicester. Last modified: 11th September 2006, 22:44:14.
Informatics Web Maintainer. This document has been approved by the Head of Department.