A shuttle service will be available during the main arrival and departure times.
The departure times of the shuttle bus are as follows:
Sunday, July 3 at 13:00 sharp
Sunday, July 3 at 17:00 sharp
Sunday, July 3 at 19:30 sharp
One of the organizers will be in the airport 1 hour before the bus leaves, to receive you at the meeting point, located in the North terminal of the airport (in front of the entry to the departure gates and between a play ground for children and a coffee bar). Look for the following sign:
The information desk of the airport has been informed about Events.GTTSE 2005. In case of problems, you may ask for help there.
By taxi
The distance between the international airport of Oporto (called "Francisco Sá Carneiro") is about 40km by road. The cost of traveling from the airport to Hotel da Falperra in Braga should be around EUR 50. The traveling time should be about 45min.
Find some hints on taxi travel at (bottom of that page):
Take a train from the São Bento train station to Braga. The bus ticket should cost you about EUR 1,85. Find the schedule at: http://www.cp.pt/linhas/Braga/horarios/e_horario1.html (Last train to Braga leaves at 19:30!).
Take a taxi from the Braga train station to Hotel da Falperra. The taxi fair should be under EUR 10.
By car
For those who drive to the hotel by car, here are some driving instructions.
When reaching the city of Braga, start looking for signs saying "Bom Jesus". Bom Jesus is a landmark in the hills of Braga of which you see a picture at the top of this page. You should follow the signs to Bom Jesus, leading you up hill through some hairpins, and you will start seeing signs pointing you to "Sameiro". Follow these signs to Sameiro until a roundabout where you keep right, in the direction of "Falperra", indicated by signs. Keep following this road until the Hotel da Falperra shows up on your left side, right before a hairpin corner to the right.
If all else fails
Contact the hotel at (+351) 253 240 700, or the organizers on their mobile numbers (see email).
Local buses
Find information below (in Portuguese) on the local bus line that connects Hotel da Falperra to the city center:
Marjan Mernik, Maribor University, Maribor, Slovenia.
João Saraiva, Universidade do Minho, Braga, Portugal.
Joost Visser, Universidade do Minho, Braga, Portugal.
Scientific committee
Paulo Borba, Universidade Federal de Pernambuco, Brasil.
Mark van den Brand, CWI & Hogeschool van Amsterdam, The Netherlands.
Jim Cordy, Queen's University, Canada.
Krzysztof Czarnecki, University of Waterloo, Canada.
Andrea DeLucia, Università di Salerno, Italy.
Jean-Luc Dekeyser, Université des Sciences et Technologies de Lille, France.
José Fiadeiro, University of Leicester, UK.
Stephen Freund, Williams College, USA.
Jeff Gray, University of Alabama at Birmingham, USA.
Reiko Heckel, University of Leicester, UK.
Görel Hedin, Lund Institute of Technology, Sweden.
Pedro Rangel Henriques, Universidade do Minho, Portugal.
Y. Annie Liu, State University of New York at Stony Brook, USA.
Cristina Lopes, University of California at Irvine, USA.
Ralf Lämmel, Microsoft Corporation, USA.
Marjan Mernik, University of Maribor, Slovenia.
Pierre-Etienne Moreau, INRIA Lorraine & LORIA, France.
Peter Mosses, Univ of Wales Swansea, UK.
Oege de Moor, Oxford University, UK.
José Nuno Oliveira, Universidade do Minho, Portugal.
Jens Palsberg, UCLA, USA.
João Saraiva, Universidade do Minho, Portugal.
Andy Schürr, Technical University Darmstadt, Germany.
Anthony Sloane, Macquarie University, Australia.
Peter Thiemann, Universität Freiburg, Germany.
Simon Thompson, University of Kent, UK.
Eelco Visser, Utrecht University, The Netherlands.
Joost Visser, Universidade do Minho, Portugal.
Eric Van Wyk, University of Minnesota, USA.
About the program and organizing chairs
Ralf Lämmel is Program Manager at Microsoft Corp., Redmond
as of Feb. 2005. In the years 1999--2004, he served on the faculty of the Free University of
Amsterdam, and he was also affiliated with the Dutch Center for
Mathematics and Computer Science (CWI). His research interests include
program transformation, programming languages, generic language
technology, grammarware engineering, and automated software engineering.
As a freelancer and consultant, he has designed, implemented, and
deployed software development tools, migration tools, and application
generators for business computing. He received his PhD in computer science
from the University of Rostock, Germany. Ralf Lämmel has recently
edited an SCP special issue on program transformation, and he is also
co-organiser of the Dagstuhl seminar 05161 Transformation
techniques in software engineering.
João Saraiva is an Auxiliar Professor of Computer Science at
University of Minho. His research is focused on programming language
design and implementation, and functional programming. João finished
a Ph.D. program at Utrecht University, The Netherlands, in December
1999 where he worked on purely functional implementation of attribute
grammars. During his Ph.D. and now as part of his academic activities
(both research and teaching) his work has been concerned with the
Lrc system: a generator of purely functional and incremental
language-oriented tools. He has been involved in the organization of various
international events, including the organization of the international summer
schools on Advanced Functional Programming AFP'98
and the international summer school on Applied Semantics APPSEM'00.
Joost Visser is a post-doctoral fellow at the University of Minho, Portugal. Joost carried out his PhD research at the CWI in Amsterdam on the topic of generic traversal over typed source code representations. He is co-designer and co-developer of Haskell-based and Java-based tools for language processing and strategic programming. As former senior architect and consultant at the Software Improvement Group, The Netherlands, he has experience with applying research results in industrial settings, in particular for the tool-based analysis of large legacy software systems.
A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow-participant, ask the organizers.
The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers present at the summer school will provide the presenting participants with feedback on their research subject.
Format
Presentations in the Participants Workshop will vary in length: 5min, 10min, 15min. The time for the presentation also includes a few minutes for questions from the audience and discussion.
Before the summer school
Those participants who wish to contribute to the Participants Workshop should submit an extended abstract (1-2 pages in LNCS style) before
June 4. The summer school's organization committee will review these abstracts to select workshop presenters, and to assign time slots. The
selected short papers will appear in the informal proceedings of the summer school.
After the summer school
Based on the short papers, the presentations at the workshop, and reactions of other summer school participants and the invited speakers, the organization committee will invite the best workshop participants to work out their contribution into a full paper.
The full papers will be subjected to a reviewing procedure by the scientific committee of the summer school. The scientific committee
will then select the participants papers that will be included into the formal proceedings of the summer school. These formal proceedings will be published by Springer in the Lecture Notes of Computer Science series.
Zhenjiang Hu, Program Optimization and Transformation in Calculational Form, slides
Tom Mens, On the use of graph transformations for model refactoring, slides I and slides II
Jean-Luc Hainaut, The Transformational Approach to Database Engineering, slides
Don Batory, Feature Oriented Programming for Product-Lines, slides
TECHNOLOGY PRESENTATIONS
Frédéric Jouault, Model Transformation and Weaving Tools in the AMMA Platform, slides
Victor Winter, HATS – A System for Developing and Manipulating Software through Higher-Order Transformation, slides I and slides II
Feedback
Both speakers and organizers are anxious to get feedback from the summer school participants. In case you have not yet filled out the summer school assessment from, please do so now! Feedback on specific lectures can be sent directly to the speakers, or via the organizers. Such feedback will be very useful when preparing the contributions for the final LNCS proceedings of the summer school and when organizing follow-up events.
Toque de Caixa
After the summer school banquet on July 6 in the restaurant "Três Séculos" of the Taylor's Port wine cellars, the music group Toque de Caixa gave their performance. You can find the home page of Toque de Caixa at:
On that page, you can listen to MP3 snippets of their album, entitled "Histórias do Som". Those interested in buying the album can do so by contacting the group's leader Miguel Teixeira directly.
Abstract: Feature Oriented Programming (FOP) is a design methodology
and tools for program synthesis. The goal is to specify
a target program declaratively in terms of the features that
it offers, and to synthesize an efficient program that meets these
specifications. FOP has been used to develop product-lines in
widely varying domains, including compilers for extensible
Java dialects, fire support simulators for the U.S. Army,
network protocols, and program verification tools.
AHEAD is an algebraic model of FOP that is based on
step-wise development, a methodology for building programs
by adding one feature at a time. The incremental units of
design are program extensions that encapsulate the
implementation of an individual feature. AHEAD models
treat base programs as constants and program
extensions as functions (that add a specified feature to
an input program). Application designs are thus expressions --
compositions of functions and constants -- that are amenable
to optimization and analysis.
This tutorial reviews core results on FOP that pertain to
compositional programming and reasoning, automatic programming,
domain-specific languages, generative programming, AOP,
and software product-lines. In covering these topics, we
present models and tools for synthesizing code and non-code artifacts,
automatic algorithms for validating and optimizing feature compositions,
and multi-dimensional models of programs and tool-suites.
Bio: Don Batory holds the David Bruton Centennial Professorship
at The University of Texas at Austin. He received a B.S.
(1975) and M.Sc. (1977) degrees from Case Institute of
Technology, and a Ph.D. (1980) from the University of
Toronto. He was a faculty member at the University of
Florida in 1981 before he joined the Department of Computer
Sciences at the University of Texas in 1983. He is an
Associate Editor of Transactions on Aspect-Oriented Development (2004-),
was an Associate Editor of IEEE Transactions on Software
Engineering (1999-2002), Associate Editor of ACM
Transactions on Database Systems (1986-1992), a member
of the ACM Software Systems Award Committee (1989-1993;
Committee Chairman in 1992), Program Co-Chair for the 2002
Generative Programming and Component Engineering Conference,
the Program Chair for the 1995 International Conference on
Software Reuse and the 1999 Workshop on Software Reuse.
He has given numerous tutorials on Product-Line Architectures,
Generators, and Reuse, and is an industry-consultant on
product-line architectures.
Ira Baxter: Compiling Fast XML reader/writers from DTDs using Program Transformations
Abstract: Program transformations are natural tools to use for code generation purposes.
Building full-custom program transformation systems for single code generators
is not economical. Practical transformation tools must share vast amounts
of infrastructure for parsing, analyzing, transforming and prettyprinting,
organized so that a small amount of custom work can achieve desired code generation.
This tutorial dissects an implementation of a specific code generation task,
motivated by the need for applications to have small and fast "readers" of
application specific XML documents for Java. The implementation is based on using the
DMS Software Reengineering Toolkit, an industrial strength program transformation
system. The tutorial will cover the general capabilities of DMS, but focus
in detail on how the DMS infrastructure is parameterized by language definitions (lexing,
token conversion, parsing, and prettyprinting), how the transformations
are encoded to carry out refining the input description, how they are sequenced
to achieve the final result, and demonstrate the process of building up all the
parts of a working tool. Other issues that such tools must generally address
will be visited briefly.
The tutorial clarifies what must be given to such tools, and what working with such
tools is like. The tutorial assumes some basic background in compiler technology,
XML, and Java.
Bio: Dr. Baxter has been involved with computing since 1966, implementing a minicomputer timesharing system
in 1970. He worked for a number of years in industry where he designed compilers, time-sharing and
network operating systems. In 1990, he received a Ph.D. from the University of California at Irvine,
where he studied design reuse using transformational methods. Dr. Baxter spent several years with Schlumberger,
working on a PDE-solver generator for CM-5 supercomputers (Sinapse). He consulted for Rockwell International
on industrial automation software engineering tools for several years.
In 1995, he founded Semantic Designs, to build commercial tools for automating mass software change using
program transformation. Dr. Baxter is the principal architect of DMS,
and also the principal designer and compiler implementer of PARLANSE, the parallel programming language
underlying DMS. Dr. Baxter has been and organizer of number of software engineering related conferences, recently as program
Co-chair for the International Conference on Software Maintenance (2002). He has presented tutorials
on program transformations in general several times at ICSM, ICSE, and GCSE.
Jean Bezivin: Metamodelling and Model Driven Software Development
Abstract: OMG's MDA initiative is a particular variant of a more general trend called model
driven development (MDD). The basic ideas of MDD are germane to many other approaches such as
generative programming, domain specific languages, and software factories. MDA may be defined as
the realization of MDD principles around a set of OMG standards like MOF, XMI, OCL, UML, CWM, and SPEM.
This tutorial will compare the established principle "Everything is an object", as it has shaped
30 years of object technology, with the MDD principle "Everything is a model". In both cases, such
a unification principle is helpful in driving the technology in the direction of simplicity,
generality, implementation efficiency and power of integration. Two core relations, namely
representation and conformance, are associated to the MDD unification principle, as inheritance
and instantiation were associated to the object unification principle in the 80's.
The tutorial adopts a style that combines (i) identification of basic MDD principles;
(ii) practical characteristics of MDD (direct representation, automation and open standards);
(iii) original MDD scenarios; (iv) the discussion of suitable tools and methods. The
tutorial reviews other technical spaces, e.g., grammarware, to relate their principles to MDD,
to understand how operations like model transformation and model weaving compare to similar
operations performed elsewhere, and to indicate capacities and limits of MDD for handling
separation of concern in software development processes.
Bio: Jean Bézivin is professor of computer science at the University of Nantes, France
and a member of the ATLAS INRIA research group. He got his Master degree from
the University of Grenoble and PhD from the University of Rennes before spending
several years, as an assistant professor, at the University of Brest. He also spent a year
as a research fellow at the Queen's University of Belfast (Northern Ireland) and one year
at the Concordia University of Montreal (Canada). He has been very active in Europe
in the object-oriented community, starting the ECOOP series of conference (with P. Cointe),
the TOOLS series of conferences (with B. Meyer), and the UML/MODELS series of conferences
(with P.-A. Muller) and several workshops on related subjects.
He started in 1979 at the University of Nantes, one of the first Master programs
in Software Engineering entirely devoted to Object Technology (Data Bases, Concurrency,
Languages and Programming, Analysis and Design, etc.). His present research interests
include model-driven software engineering.
Shigeru Chiba: Program Transformation With Reflective and Aspect-Oriented Programming
Abstract: A meta-programming technique known as reflection can be regarded as a
sophisticated programming interface for program transformation. It
allows software developers to implement various useful program
transformation without serious efforts. Although the range of program
transformation enabled by reflection is quite restricted, it covers a
large number of interesting applications. In particular, several
non-functional concerns found in web-application software, such as
distribution and persistence, can be implemented with program
transformation by reflection. Furthermore, a recently emerging
technology known as aspect-oriented programming (AOP) provides better
and easier programming interface for program transformation. One of
the roots of AOP is reflection and thus this technology can be
regarded as an advanced version of reflection.
In this tutorial, we will discuss basic concepts of reflection, such as
compile-time reflection and runtime reflection, and its implementation
techniques. The tutorial will also cover connection between reflection
and aspect-oriented programming. Finally, several typical applications
of those technologies will be illustrated during the tutorial.
Bio: Shigeru Chiba is an associate professor at Tokyo Institute of
Technology, Japan. He received the PhD degree in computer science
from The University of Tokyo in 1996. His PhD research was done at
Xerox PARC in USA. Before moving Tokyo Institute of Technology, he
has been working at University of Tokyo and University of Tsukuba. He
has been also a short-term visiting professor at Ecole des Mines de
Nantes in 1999 and Paris VI in 2004. He has been developing several
software products including OpenC++, OpenJava, and Javassist, which
have been distributed as open source software and widely used in both
academia and industry.
Jean-Luc Hainaut: The Transformational Approach to Database Engineering
Abstract: In the database engineering realm, an increasing number of bodies (e.g., OMG) and of authors recognize the merits of transformational approaches, that can produce in a systematic way correct, compilable and efficient database structures from abstract models. Transformations that are proved to preserve the correctness of the source specifications have been proposed in virtually all the activities related to schema engineering: schema normalization, logical design, schema integration, views derivation, schema equivalence, data conversion, reverse engineering, schema optimization, wrapper generation and others.
The proposed tutorial addresses both basic and practical aspects of database transformation techniques. The concept of transformation is developed, together with its properties of semantics-preservation (or reversibility). Major database engineering activities are redefined in terms of transformation techniques, and the impact on CASE technology is discussed. These principles are applied to case studies in various domains, including database logical design, database reverse engineering and database to XML translation. They are illustrated by the use of DB-MAIN, a programmable CASE environment that provides a large transformational toolkit.
Bio: Jean-Luc Hainaut is a full professor in Information System and Database Engineering at the Institute of Informatics of the University of Namur, Belgium. He has
been involved in research in database engineering since 1971. He is a co-author
of the seminal paper of the Merise method, published in 1974. He is the author of several books (in French) on Database Modelling and Database Design, and of more than 50 recent journal and conference proceedings papers. He has presented tutorials on Conceptual Modelling, Transformation-based Database Engineering and Database Reverse engineering, notably in VLDB, ER and CAiSE conferences. He is heading the LIBD - Laboratory of Database Applications Engineering - the purpose of which is to develop general methodologies and CASE tools to assist practitioners in solving such engineering problems as database design, database reverse engineering, federated datatabases, database evolution, active databases, temporal
databases, XML and web engineering. Two of the major results of his research activities, namely the DB-MAIN CASE environment and a wide spectrum database reverse engineering methodology, are distributed by ReveR, a spin-off of the LIBD.
Zhenjiang Hu: Program Optimization and Transformation in Calculational Forms
Abstract: The world of program optimization and transformation takes on a new
fascination when viewed through the lens of program calculation.
Unlike the traditional fold/unfold approach to program
transformation over arbitrary programs, the calculational approach
imposes restrictions on program structures, resulting in suitable
calculational forms such as catamorphisms, anamorphisms and
hylomorphisms that enjoy a collection of generic algebraic laws for
program manipulation. In this tutorial, we will explain the basic
idea of program calculation, demonstrate that a lot of program
optimizations and transformations, including the well-known fusion and
tupling, can be concisely reformalized in calculational forms, and
show that program transformation in calculational forms is of higher
modularity and more suitable for efficient implementation. In
particular, we shall detail a concrete application in structured
parallel programming, illustrating how to apply the calculational
approach to structure parallel computations, systematically derive
efficient parallel programs, and automatically optimize parallel
programs via transformation.
Bio: Zhenjiang Hu is an associate professor of the school of information
science and technology, the University of Tokyo. He received his BS
and MS in computer science from Shanghai Jiao Tong University in 1988
and 1990 respectively, and his Ph.D in information engineering from
the University of Tokyo in 1996. His current research concerns
functional programming, program transformation (calculation), high
level parallel programming, and algorithm derivation. He is
particularly interested in the theory of program calculation based on
programming algebras, and is looking into how to apply this theory to
automatic program optimization, systematic parallelization of
sequential programs, and efficient manipulation of structured
documents.
Links: Program transformation in calculational form is supported by the program calculator Yicho, see http://www.ipl.t.u-tokyo.ac.jp/yicho/.
Erik Meijer: Object, relational, and XML mapping
Abstract: In many respects dealing with persistent data is the most interesting
aspect of programming. Data exists before the programs runs and remains
after the program has terminated. Even though there is an abundant
amount of research on data integration in programming languages, most
popular programming languages, whether they are statically typed such as
Java, C#, C(++), Haskell, SML, Python, etc. or dynamically typed such as
Perl, Python, Ruby, Groovy, ... do not deal very well with persistent
data. The state of the art is still using various string-based APIs.
In this tutorial, we will discuss various aspects of dealing with
persistent data in contemporary object-oriented languages such as Java
or C#. In particular we will discuss the challenges in dealing with the
impedance mismatch between relational data, objects, and XML.
Bio: Erik Meijer is a member of the WebData and the C# design team at
Microsoft where he currently works on language design and type-systems
for data integration in programming languages. Prior to joining
Microsoft he was an associate professor at Utrecht University and
adjunct professor at the Oregon Graduate Institute. Erik is one of the
designers of the standard functional programming language Haskell98.
Tom Mens: On the Use of Graph Transformations for Model Refactoring
Abstract: Since all software is subject to evolution, there is a clear need for
better ways to support and automate various aspects of software
evolution (e.g., software refactoring). To address this need, formal approaches can be used (e.g., graph transformation). In this tutorial, we will explain how the formalism of graph transformation can be used to formalise and reason about software refactoring. Amongst others, we will show how graph transformations can be used to formally specify refactorings, to reason about behaviour preservation properties, and to deal with structural conflicts that can occur when applying refactorings.
Existing graph transformation tools, such as Fujaba and AGG, can help us during this process.
Another important advantage of graph transformation is that it allows us to reason about refactoring in a language-independent way, enabling us to apply the mechanism at higher levels of abstraction too (e.g., UML design models).
Bio: Tom Mens received the degrees of Licentiate in mathematics in 1992, Advanced Master in computer science in 1993, and PhD in science in 1999 at the Vrije Universiteit Brussel. He has been a teaching and research assistant, a research councellor for industrial research projects, and a postdoctoral fellow of the Fund for Scientific Research ? Flanders (FWO). Since October 2003 he lectures on software engineering and programming languages at the Université de Mons-Hainaut. He has published numerous peer-reviewed articles on the topic of software evolution, and has been co-organiser, program committee member and referee of many international workshops and conferences. He is cofounder and coordinator of two international scientific research networks on software evolution, financed by the FWO and the European Science Foundation, respectively. He is a copromotor of a FWO interuniversity research project on software refactoring.
Jean Bezivin (INRIA, LINA, University of Nantes) Metamodelling and Model Driven Software Development
Zhenjiang Hu (University of Tokyo) Program Optimization and Transformation in Calculational Forms
Tom Mens (University of Mons-Hainaut) On the Use of Graph Transformations for Model Refactoring
Jean-Luc Hainaut (University of Namur) The Transformational Approach to Database Engineering
Don Batory (The University of Texas at Austin) Feature Oriented Programming
Shigeru Chiba (Tokyo Institute of Technology) Program Transformation With Reflective and Aspect-Oriented Programming
Ira Baxter (Semantic Designs Inc.) Compiling Fast XML reader/writers from DTDs using Program Transformations
Erik Meijer (Microsoft, Redmond) Object, relational, and XML mapping
For detailed information on each tutorial and speaker, see the list of tutorials.
Technology presentations
The technology presentation sessions take place right after lunch on monday, tuesday, thursday, and friday. The first session, on monday, is a plenary session where each technology presenter provides a 5 minute teaser of the technology he will present. On the remaining days, the actual technology presentations take place in parallel in the main presentation room attended by roaming participants. In four corners of the main presentation room, projectors will be available to technology presenters during 30 minute slots, scheduled as shown below. Outside these slots, technology presenters will be available for interaction with interested participants, using each technology presenter's own laptop.
Monday, July 4, 2005
14:00-15:00
Plenary Session
Tuesday, July 5, 2005
14:00-14:30
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands) Joint work with Eelco Visser (Utrecht University, The Netherlands)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
14:30-15:00
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition Presented by Dirk Heuzeroth (sd&m AG, Germany) Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France) Joint work with Jean Bézivin (Université de Nantes, France)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
Thursday, July 7, 2005
14:00-14:30
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
14:30-15:00
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands) Joint work with Eelco Visser (Utrecht University, The Netherlands)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition Presented by Dirk Heuzeroth (sd&m AG, Germany) Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Friday, July 5, 2005
14:00-14-30
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
14:30-15:00
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France) Joint work with Jean Bézivin (Université de Nantes, France)
Participants workshop
In the participants workshop, selected participants present their work in 15 minute slots (10min presentation + 5min discussion).
Wednesday, July 6, 2005
Model-driven engineering
09:00
Towards a Model-driven Development of Embedded SoC with UML and SystemC, Patrizia Scandurra
09:15
Model-driven Design of Substation Automation Systems: Proposed Approach, Drives and Impediments, Rogério Paulo
09:30
MOMENT: a formal MOdel manageMENT tool, Artur Boronat
09:45
A formal approach to Model Driven Development of Web applications, Davide Di Ruscio
10:00
Evaluating Design Properties of UML Behavioral Models, Aline Lúcia Baroni
10:15
Coffee break
Generative Programming
10:30
Domain-Aware Generation of Scripting Interfaces for Symbian OS, Tero Hasu
Early registration until April 15, 2005, registration fee EUR 450. closed
Late registration until June 1, 2005, registration fee EUR 600. closed
The registration fee includes:
accommodation in double room in the 4 star Hotel da Falperra (5 nights)
breakfasts, lunch, and coffee breaks (5 days)
dinners, reception, and banquet (5 evenings)
social programme
tutorial material
airport shuttles
Participants are expected to arrive on Sunday, July 3, and to be present during the entire summer school, which ends in the late afternoon of Friday, July 8.
Participant selection
The number of participants is limited to 100.
We want to ensure a diverse, well-matched, and well motivated set of participants. Therefor, participants will be selected on the basis of the information they supply on their registration form. In particular, we will take into consideration the relevance of the summer school topics to your area of research and to those of your group.
After receiving your registration form, you will receive notification of acceptance within two weeks, or you will be asked to provide some additional information. Together with the notification of acceptance, you will receive detailed payment instructions. When payment has been received, your registration will be confirmed.
Online registration
Please read the following instructions before completing the online registration form.
Instructions
The fields marked with '*' are required fields. Don't leave them blank.
For questions or comments (e.g. regarding diets, extra nights, etc.), use the Notes field.
You will be asked to describe your research area or title of the research project you are involved in. In case the connection of these to the summer school topics is not evident, we stronly encourage you to provide clarifying remarks in the field "Why is the summer school relevant to your research work?".
On the form you will be able to indicate whether you intend to contribute a paper presentation to the participants workshop. If so, you can provide a tentative title and tentative abstract. You will be given opportunity at a later stage to provide a final title and abstract (for details see Participants Workshop).
After submission of the registration form, an email will be sent automatically to the email address you provided in the form. This email will contain a password that you can use to modify your registration at a later moment, if needed.
This email only confirms receipt of your registration form. An email with notification of acceptance will follow within two weeks. Payment details will also be communicated at that time.
If you understood the instructions, please fill out the registration form.
If you made mistakes in your registration, or want to include additional information, your may do so via the following link. You will need to supply the password that was sent to you after initial registration.
We are working on raising financial support to be offered in the form of a limited number of summer school grants to individual participants. At this moment, no such support is available yet. We expect to offer only a very small number of grants. When such grants come available this will be announced here.
Participants that need financial support are encouraged to apply on individual basis to local or national sources of funding.
The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include:
Reference to the generative and transformational concepts behind the technology
Application of the technology to a case study of non-trivial scale
Clear statement of benefits and limitations of the technology
The participants will have ample opportunity to interact in informal manner with the technology presenters.
Format
Technology presenters will be given the opportunity to give a first 10 minute introduction of their generative and/or transformational technology in a plenary session. These sessions will be scheduled early in the week. During the remaining days, there will be parallel sessions in which summer school participants will have the opportunity to learn more about the various kinds of technology. In these parallel sessions participants and technology presenters will interact in a more informal manner.
Confirmed technology presentations
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands)
Joint work with Eelco Visser (Utrecht University, The Netherlands)
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software
Composition Presented by Dirk Heuzeroth (sd&m AG, Germany)
Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France)
Joint work with Jean Bézivin (Université de Nantes, France)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ...
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ...
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ...
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ...
Author Instructions Please read the LNCS Author Instructions, and take into account the following: Please download style files etc. from the Springer website ...
Participants A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow participant, ask the organizers ...
Technology Presentations The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge ...
Participants Workshop The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers ...
Public Relations Material Feel free to download and print some of our publicity material: To hand out: Flyer (pdf, portrait, best on A4) To stick on the ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
This is a subscription service to be automatically notified by e mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have ...
Summer School onGenerative and Transformational Techniquesin Software Engineering4 - 8 July, 2005, Braga, Portugalhttp://www.di.uminho.pt/GTTSE2005
The summer school is over. Read about it in Dr. Dobb's Journal! Or have a look at the preface of the formal proceedings, published in Springer's LNCS series as volume 4143.
A second edition of GTTSE will be organized in 2007. See GTTSE 2007.
The summer school brings together PhD students, lecturers, technology
presenters, as well as other researchers and practitioners who are
interested in the generation and the transformation of programs, data,
models, meta-models, and documentation. This concerns many areas of
software engineering: software reverse and re-engineering,
model-driven approaches, automated software engineering, generic
language technology, to name a few. These areas differ with regard to
the specific sorts of meta-models (or grammars, schemas, formats etc.)
that underlie the involved artifacts, and with regard to the specific
techniques that are employed for the generation and the transformation
of the artifacts. The tutorials are given by renowned representatives
of complementary approaches and problem domains. Each tutorial
combines foundations, methods, examples, and tool support. The program
of the summer school also features invited technology presentations,
which present setups for generative and transformational techniques.
These presentations complement each other in terms of the chosen
application domains, case studies, and the underlying concepts. Furthermore,
the program of the school also features a participants
workshop. All students of the summer school will be
invited to give a presentation about their ongoing work. They will be
asked to submit a title and an abstract beforehand. The senior
researchers present at the summer school will provide the students with
feedback on their presentations. All summer school material will be
collected in proceedings that are handed out to the participants. Formal
proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings will be published in the Lecture Notes in Computer Science series of Springer.
List of tutorials
Don Batory (The University of Texas at Austin): Feature Oriented Programming
Ira Baxter (Semantic Designs Inc.): Compiling Fast XML reader/writers from DTDs using Program Transformations
Jean Bezivin (INRIA, LINA, University of Nantes): Metamodelling and Model Driven Software Development
Shigeru Chiba (Tokyo Institute of Technology): Program Transformation With Reflective and Aspect-Oriented Programming
Jean-Luc Hainaut (University of Namur): The Transformational Approach to Database Engineering
Zhenjiang Hu (University of Tokyo): Program Optimization and Transformation in Calculational Forms
Erik Meijer (Microsoft, Redmond): Object, relational, and XML mapping
Tom Mens (University of Mons-Hainaut): On the Use of Graph Transformations for Model Refactoring
The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include:
Reference to the generative and transformational concepts behind the technology
Application of the technology to a case study of non-trivial scale
Clear statement of benefits and limitations of the technology
The participants will have ample opportunity to interact in informal manner with the technology presenters. For detailed information, see Technology Presentations.
Participants workshop
There will be a workshop for the participating students. To this end,
all students of the summer school will be
invited to give a presentation about their ongoing work. They will be
asked to submit a title and an abstract beforehand. The senior
researchers present at the summer school will provide the students with
feedback on their presentations. For more details, see Participants Workshop.
Topics
Generic language technology
Grammarware engineering
Language and document processing
Generative programming
Software development environments
Software reverse and re-engineering
Model-driven approaches
Aspect-oriented approaches
Automatic programming
Program optimization
Feature-driven development
Product lines
Domain-specific languages
Application generation
Data re- and reverse engineering
Data integration
Object-relational mappings
Middleware technology
Term rewriting
Strategic programming
Graph transformation
Venue
The summer school will be held in the northern region of Portugal, known as the Costa Verde. The region is known for its
attractiveness in terms of climate, prices, and culture. The region is served by the Oporto international airport, providing direct flights to many major European cities. The event will take place in Hotel da Falperra, situated in the hills overlooking the city of Braga. Hotel da Falperra is a four star hotel that provides splendid seminar and leisure facilities including a swimming pool. The hotel is situated in a quiet and somewhat isolated mountain area, which promotes the interaction between senior and junior researchers. The hotel has good connections to the Braga city center (approx. 10 min).
For more information about the region and the city of Braga, try the following links:
Author Instructions Please read the LNCS Author Instructions, and take into account the following: Please download style files etc. from the Springer website ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ...
Public Relations Material Feel free to download and print some of our publicity material: To hand out: Flyer (pdf, portrait, best on A4) To stick on the ...
Participants A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow participant, ask the organizers ...
Participants Workshop The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers ...
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ...
Technology Presentations The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ...
This is a subscription service to be automatically notified by e mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have ...
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Events/GTTSE.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Generative and Transformational Techniques in Software Engineering
Set SITEMAPUSETO = Generative and Transformational Techniques in Software Engineering
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Web preferences that are not allowed to be overridden by user preferences:
Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME
Notes:
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #CC6600 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Events/GTTSE web
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE
The Events/GTTSE web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Events/GTTSE
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebTopicActions
(last changed by AlcinoCunha)2007-05-18T08:04:45ZAlcinoCunhaWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:17ZguestProgram
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Program
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ... (last changed by AlcinoCunha)2007-03-05T19:33:47ZAlcinoCunhaOrganisers
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Organisers
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ... (last changed by AlcinoCunha)2007-03-05T19:07:41ZAlcinoCunhaRegistration
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Registration
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ... (last changed by JoostVisser)2007-02-15T18:47:00ZJoostVisserWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebCss
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by AlcinoCunha)2007-02-14T11:15:22ZAlcinoCunhaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebPreferences
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2007-02-14T11:01:37ZAlcinoCunhaGettingThere
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/GettingThere
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ... (last changed by AlcinoCunha)2007-02-14T00:20:12ZAlcinoCunhaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebHome
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ... (last changed by AlcinoCunha)2007-02-14T00:19:39ZAlcinoCunhaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebSideBar
Before Registration Getting There Organisers PR Material During Program Tutorials Technology Workshop Participants After ... (last changed by AlcinoCunha)2007-02-13T23:20:35ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebLeftBar
Post event info Registration Getting there Program Tutorials Technology Workshop Organisers Participants PR GTTSE 2007 (last changed by AlcinoCunha)2007-02-13T11:40:52ZAlcinoCunhaFlexibleSkinLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/FlexibleSkinLeftBar
Home Post event info Registration Getting there Program Tutorials Technology Workshop Organisers Participants PR GTTSE 2007 (last changed by JoseBacelarAlmeida)2007-02-12T19:38:16ZJoseBacelarAlmeidaPostEventInfo
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/PostEventInfo
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ... (last changed by JoseBacelarAlmeida)2007-02-12T19:37:47ZJoseBacelarAlmeidaProgramInDetail
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/ProgramInDetail
Overview of the summer school program Details Tutorials Jean Bezivin (INRIA, LINA, University of Nantes) Metamodelling and Model Driven Software ... (last changed by JoseBacelarAlmeida)2007-02-12T19:37:47ZJoseBacelarAlmeidaNews
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/News
Sep 20 The GTTSE summer school is online! (last changed by JoseBacelarAlmeida)2007-02-12T19:37:46ZJoseBacelarAlmeidaPhotosMiguelMonteiro
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/PhotosMiguelMonteiro
Pictures of GTTSE by Pessoa Monteiro (last changed by JoseBacelarAlmeida)2007-02-12T19:37:46ZJoseBacelarAlmeida
A shuttle service will be available during the main arrival and departure times.
The departure times of the shuttle bus are as follows:
Sunday, July 3 at 13:00 sharp
Sunday, July 3 at 17:00 sharp
Sunday, July 3 at 19:30 sharp
One of the organizers will be in the airport 1 hour before the bus leaves, to receive you at the meeting point, located in the North terminal of the airport (in front of the entry to the departure gates and between a play ground for children and a coffee bar). Look for the following sign:
The information desk of the airport has been informed about Events.GTTSE 2005. In case of problems, you may ask for help there.
By taxi
The distance between the international airport of Oporto (called "Francisco Sá Carneiro") is about 40km by road. The cost of traveling from the airport to Hotel da Falperra in Braga should be around EUR 50. The traveling time should be about 45min.
Find some hints on taxi travel at (bottom of that page):
Take a train from the São Bento train station to Braga. The bus ticket should cost you about EUR 1,85. Find the schedule at: http://www.cp.pt/linhas/Braga/horarios/e_horario1.html (Last train to Braga leaves at 19:30!).
Take a taxi from the Braga train station to Hotel da Falperra. The taxi fair should be under EUR 10.
By car
For those who drive to the hotel by car, here are some driving instructions.
When reaching the city of Braga, start looking for signs saying "Bom Jesus". Bom Jesus is a landmark in the hills of Braga of which you see a picture at the top of this page. You should follow the signs to Bom Jesus, leading you up hill through some hairpins, and you will start seeing signs pointing you to "Sameiro". Follow these signs to Sameiro until a roundabout where you keep right, in the direction of "Falperra", indicated by signs. Keep following this road until the Hotel da Falperra shows up on your left side, right before a hairpin corner to the right.
If all else fails
Contact the hotel at (+351) 253 240 700, or the organizers on their mobile numbers (see email).
Local buses
Find information below (in Portuguese) on the local bus line that connects Hotel da Falperra to the city center:
Marjan Mernik, Maribor University, Maribor, Slovenia.
João Saraiva, Universidade do Minho, Braga, Portugal.
Joost Visser, Universidade do Minho, Braga, Portugal.
Scientific committee
Paulo Borba, Universidade Federal de Pernambuco, Brasil.
Mark van den Brand, CWI & Hogeschool van Amsterdam, The Netherlands.
Jim Cordy, Queen's University, Canada.
Krzysztof Czarnecki, University of Waterloo, Canada.
Andrea DeLucia, Università di Salerno, Italy.
Jean-Luc Dekeyser, Université des Sciences et Technologies de Lille, France.
José Fiadeiro, University of Leicester, UK.
Stephen Freund, Williams College, USA.
Jeff Gray, University of Alabama at Birmingham, USA.
Reiko Heckel, University of Leicester, UK.
Görel Hedin, Lund Institute of Technology, Sweden.
Pedro Rangel Henriques, Universidade do Minho, Portugal.
Y. Annie Liu, State University of New York at Stony Brook, USA.
Cristina Lopes, University of California at Irvine, USA.
Ralf Lämmel, Microsoft Corporation, USA.
Marjan Mernik, University of Maribor, Slovenia.
Pierre-Etienne Moreau, INRIA Lorraine & LORIA, France.
Peter Mosses, Univ of Wales Swansea, UK.
Oege de Moor, Oxford University, UK.
José Nuno Oliveira, Universidade do Minho, Portugal.
Jens Palsberg, UCLA, USA.
João Saraiva, Universidade do Minho, Portugal.
Andy Schürr, Technical University Darmstadt, Germany.
Anthony Sloane, Macquarie University, Australia.
Peter Thiemann, Universität Freiburg, Germany.
Simon Thompson, University of Kent, UK.
Eelco Visser, Utrecht University, The Netherlands.
Joost Visser, Universidade do Minho, Portugal.
Eric Van Wyk, University of Minnesota, USA.
About the program and organizing chairs
Ralf Lämmel is Program Manager at Microsoft Corp., Redmond
as of Feb. 2005. In the years 1999--2004, he served on the faculty of the Free University of
Amsterdam, and he was also affiliated with the Dutch Center for
Mathematics and Computer Science (CWI). His research interests include
program transformation, programming languages, generic language
technology, grammarware engineering, and automated software engineering.
As a freelancer and consultant, he has designed, implemented, and
deployed software development tools, migration tools, and application
generators for business computing. He received his PhD in computer science
from the University of Rostock, Germany. Ralf Lämmel has recently
edited an SCP special issue on program transformation, and he is also
co-organiser of the Dagstuhl seminar 05161 Transformation
techniques in software engineering.
João Saraiva is an Auxiliar Professor of Computer Science at
University of Minho. His research is focused on programming language
design and implementation, and functional programming. João finished
a Ph.D. program at Utrecht University, The Netherlands, in December
1999 where he worked on purely functional implementation of attribute
grammars. During his Ph.D. and now as part of his academic activities
(both research and teaching) his work has been concerned with the
Lrc system: a generator of purely functional and incremental
language-oriented tools. He has been involved in the organization of various
international events, including the organization of the international summer
schools on Advanced Functional Programming AFP'98
and the international summer school on Applied Semantics APPSEM'00.
Joost Visser is a post-doctoral fellow at the University of Minho, Portugal. Joost carried out his PhD research at the CWI in Amsterdam on the topic of generic traversal over typed source code representations. He is co-designer and co-developer of Haskell-based and Java-based tools for language processing and strategic programming. As former senior architect and consultant at the Software Improvement Group, The Netherlands, he has experience with applying research results in industrial settings, in particular for the tool-based analysis of large legacy software systems.
A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow-participant, ask the organizers.
The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers present at the summer school will provide the presenting participants with feedback on their research subject.
Format
Presentations in the Participants Workshop will vary in length: 5min, 10min, 15min. The time for the presentation also includes a few minutes for questions from the audience and discussion.
Before the summer school
Those participants who wish to contribute to the Participants Workshop should submit an extended abstract (1-2 pages in LNCS style) before
June 4. The summer school's organization committee will review these abstracts to select workshop presenters, and to assign time slots. The
selected short papers will appear in the informal proceedings of the summer school.
After the summer school
Based on the short papers, the presentations at the workshop, and reactions of other summer school participants and the invited speakers, the organization committee will invite the best workshop participants to work out their contribution into a full paper.
The full papers will be subjected to a reviewing procedure by the scientific committee of the summer school. The scientific committee
will then select the participants papers that will be included into the formal proceedings of the summer school. These formal proceedings will be published by Springer in the Lecture Notes of Computer Science series.
Zhenjiang Hu, Program Optimization and Transformation in Calculational Form, slides
Tom Mens, On the use of graph transformations for model refactoring, slides I and slides II
Jean-Luc Hainaut, The Transformational Approach to Database Engineering, slides
Don Batory, Feature Oriented Programming for Product-Lines, slides
TECHNOLOGY PRESENTATIONS
Frédéric Jouault, Model Transformation and Weaving Tools in the AMMA Platform, slides
Victor Winter, HATS – A System for Developing and Manipulating Software through Higher-Order Transformation, slides I and slides II
Feedback
Both speakers and organizers are anxious to get feedback from the summer school participants. In case you have not yet filled out the summer school assessment from, please do so now! Feedback on specific lectures can be sent directly to the speakers, or via the organizers. Such feedback will be very useful when preparing the contributions for the final LNCS proceedings of the summer school and when organizing follow-up events.
Toque de Caixa
After the summer school banquet on July 6 in the restaurant "Três Séculos" of the Taylor's Port wine cellars, the music group Toque de Caixa gave their performance. You can find the home page of Toque de Caixa at:
On that page, you can listen to MP3 snippets of their album, entitled "Histórias do Som". Those interested in buying the album can do so by contacting the group's leader Miguel Teixeira directly.
Abstract: Feature Oriented Programming (FOP) is a design methodology
and tools for program synthesis. The goal is to specify
a target program declaratively in terms of the features that
it offers, and to synthesize an efficient program that meets these
specifications. FOP has been used to develop product-lines in
widely varying domains, including compilers for extensible
Java dialects, fire support simulators for the U.S. Army,
network protocols, and program verification tools.
AHEAD is an algebraic model of FOP that is based on
step-wise development, a methodology for building programs
by adding one feature at a time. The incremental units of
design are program extensions that encapsulate the
implementation of an individual feature. AHEAD models
treat base programs as constants and program
extensions as functions (that add a specified feature to
an input program). Application designs are thus expressions --
compositions of functions and constants -- that are amenable
to optimization and analysis.
This tutorial reviews core results on FOP that pertain to
compositional programming and reasoning, automatic programming,
domain-specific languages, generative programming, AOP,
and software product-lines. In covering these topics, we
present models and tools for synthesizing code and non-code artifacts,
automatic algorithms for validating and optimizing feature compositions,
and multi-dimensional models of programs and tool-suites.
Bio: Don Batory holds the David Bruton Centennial Professorship
at The University of Texas at Austin. He received a B.S.
(1975) and M.Sc. (1977) degrees from Case Institute of
Technology, and a Ph.D. (1980) from the University of
Toronto. He was a faculty member at the University of
Florida in 1981 before he joined the Department of Computer
Sciences at the University of Texas in 1983. He is an
Associate Editor of Transactions on Aspect-Oriented Development (2004-),
was an Associate Editor of IEEE Transactions on Software
Engineering (1999-2002), Associate Editor of ACM
Transactions on Database Systems (1986-1992), a member
of the ACM Software Systems Award Committee (1989-1993;
Committee Chairman in 1992), Program Co-Chair for the 2002
Generative Programming and Component Engineering Conference,
the Program Chair for the 1995 International Conference on
Software Reuse and the 1999 Workshop on Software Reuse.
He has given numerous tutorials on Product-Line Architectures,
Generators, and Reuse, and is an industry-consultant on
product-line architectures.
Ira Baxter: Compiling Fast XML reader/writers from DTDs using Program Transformations
Abstract: Program transformations are natural tools to use for code generation purposes.
Building full-custom program transformation systems for single code generators
is not economical. Practical transformation tools must share vast amounts
of infrastructure for parsing, analyzing, transforming and prettyprinting,
organized so that a small amount of custom work can achieve desired code generation.
This tutorial dissects an implementation of a specific code generation task,
motivated by the need for applications to have small and fast "readers" of
application specific XML documents for Java. The implementation is based on using the
DMS Software Reengineering Toolkit, an industrial strength program transformation
system. The tutorial will cover the general capabilities of DMS, but focus
in detail on how the DMS infrastructure is parameterized by language definitions (lexing,
token conversion, parsing, and prettyprinting), how the transformations
are encoded to carry out refining the input description, how they are sequenced
to achieve the final result, and demonstrate the process of building up all the
parts of a working tool. Other issues that such tools must generally address
will be visited briefly.
The tutorial clarifies what must be given to such tools, and what working with such
tools is like. The tutorial assumes some basic background in compiler technology,
XML, and Java.
Bio: Dr. Baxter has been involved with computing since 1966, implementing a minicomputer timesharing system
in 1970. He worked for a number of years in industry where he designed compilers, time-sharing and
network operating systems. In 1990, he received a Ph.D. from the University of California at Irvine,
where he studied design reuse using transformational methods. Dr. Baxter spent several years with Schlumberger,
working on a PDE-solver generator for CM-5 supercomputers (Sinapse). He consulted for Rockwell International
on industrial automation software engineering tools for several years.
In 1995, he founded Semantic Designs, to build commercial tools for automating mass software change using
program transformation. Dr. Baxter is the principal architect of DMS,
and also the principal designer and compiler implementer of PARLANSE, the parallel programming language
underlying DMS. Dr. Baxter has been and organizer of number of software engineering related conferences, recently as program
Co-chair for the International Conference on Software Maintenance (2002). He has presented tutorials
on program transformations in general several times at ICSM, ICSE, and GCSE.
Jean Bezivin: Metamodelling and Model Driven Software Development
Abstract: OMG's MDA initiative is a particular variant of a more general trend called model
driven development (MDD). The basic ideas of MDD are germane to many other approaches such as
generative programming, domain specific languages, and software factories. MDA may be defined as
the realization of MDD principles around a set of OMG standards like MOF, XMI, OCL, UML, CWM, and SPEM.
This tutorial will compare the established principle "Everything is an object", as it has shaped
30 years of object technology, with the MDD principle "Everything is a model". In both cases, such
a unification principle is helpful in driving the technology in the direction of simplicity,
generality, implementation efficiency and power of integration. Two core relations, namely
representation and conformance, are associated to the MDD unification principle, as inheritance
and instantiation were associated to the object unification principle in the 80's.
The tutorial adopts a style that combines (i) identification of basic MDD principles;
(ii) practical characteristics of MDD (direct representation, automation and open standards);
(iii) original MDD scenarios; (iv) the discussion of suitable tools and methods. The
tutorial reviews other technical spaces, e.g., grammarware, to relate their principles to MDD,
to understand how operations like model transformation and model weaving compare to similar
operations performed elsewhere, and to indicate capacities and limits of MDD for handling
separation of concern in software development processes.
Bio: Jean Bézivin is professor of computer science at the University of Nantes, France
and a member of the ATLAS INRIA research group. He got his Master degree from
the University of Grenoble and PhD from the University of Rennes before spending
several years, as an assistant professor, at the University of Brest. He also spent a year
as a research fellow at the Queen's University of Belfast (Northern Ireland) and one year
at the Concordia University of Montreal (Canada). He has been very active in Europe
in the object-oriented community, starting the ECOOP series of conference (with P. Cointe),
the TOOLS series of conferences (with B. Meyer), and the UML/MODELS series of conferences
(with P.-A. Muller) and several workshops on related subjects.
He started in 1979 at the University of Nantes, one of the first Master programs
in Software Engineering entirely devoted to Object Technology (Data Bases, Concurrency,
Languages and Programming, Analysis and Design, etc.). His present research interests
include model-driven software engineering.
Shigeru Chiba: Program Transformation With Reflective and Aspect-Oriented Programming
Abstract: A meta-programming technique known as reflection can be regarded as a
sophisticated programming interface for program transformation. It
allows software developers to implement various useful program
transformation without serious efforts. Although the range of program
transformation enabled by reflection is quite restricted, it covers a
large number of interesting applications. In particular, several
non-functional concerns found in web-application software, such as
distribution and persistence, can be implemented with program
transformation by reflection. Furthermore, a recently emerging
technology known as aspect-oriented programming (AOP) provides better
and easier programming interface for program transformation. One of
the roots of AOP is reflection and thus this technology can be
regarded as an advanced version of reflection.
In this tutorial, we will discuss basic concepts of reflection, such as
compile-time reflection and runtime reflection, and its implementation
techniques. The tutorial will also cover connection between reflection
and aspect-oriented programming. Finally, several typical applications
of those technologies will be illustrated during the tutorial.
Bio: Shigeru Chiba is an associate professor at Tokyo Institute of
Technology, Japan. He received the PhD degree in computer science
from The University of Tokyo in 1996. His PhD research was done at
Xerox PARC in USA. Before moving Tokyo Institute of Technology, he
has been working at University of Tokyo and University of Tsukuba. He
has been also a short-term visiting professor at Ecole des Mines de
Nantes in 1999 and Paris VI in 2004. He has been developing several
software products including OpenC++, OpenJava, and Javassist, which
have been distributed as open source software and widely used in both
academia and industry.
Jean-Luc Hainaut: The Transformational Approach to Database Engineering
Abstract: In the database engineering realm, an increasing number of bodies (e.g., OMG) and of authors recognize the merits of transformational approaches, that can produce in a systematic way correct, compilable and efficient database structures from abstract models. Transformations that are proved to preserve the correctness of the source specifications have been proposed in virtually all the activities related to schema engineering: schema normalization, logical design, schema integration, views derivation, schema equivalence, data conversion, reverse engineering, schema optimization, wrapper generation and others.
The proposed tutorial addresses both basic and practical aspects of database transformation techniques. The concept of transformation is developed, together with its properties of semantics-preservation (or reversibility). Major database engineering activities are redefined in terms of transformation techniques, and the impact on CASE technology is discussed. These principles are applied to case studies in various domains, including database logical design, database reverse engineering and database to XML translation. They are illustrated by the use of DB-MAIN, a programmable CASE environment that provides a large transformational toolkit.
Bio: Jean-Luc Hainaut is a full professor in Information System and Database Engineering at the Institute of Informatics of the University of Namur, Belgium. He has
been involved in research in database engineering since 1971. He is a co-author
of the seminal paper of the Merise method, published in 1974. He is the author of several books (in French) on Database Modelling and Database Design, and of more than 50 recent journal and conference proceedings papers. He has presented tutorials on Conceptual Modelling, Transformation-based Database Engineering and Database Reverse engineering, notably in VLDB, ER and CAiSE conferences. He is heading the LIBD - Laboratory of Database Applications Engineering - the purpose of which is to develop general methodologies and CASE tools to assist practitioners in solving such engineering problems as database design, database reverse engineering, federated datatabases, database evolution, active databases, temporal
databases, XML and web engineering. Two of the major results of his research activities, namely the DB-MAIN CASE environment and a wide spectrum database reverse engineering methodology, are distributed by ReveR, a spin-off of the LIBD.
Zhenjiang Hu: Program Optimization and Transformation in Calculational Forms
Abstract: The world of program optimization and transformation takes on a new
fascination when viewed through the lens of program calculation.
Unlike the traditional fold/unfold approach to program
transformation over arbitrary programs, the calculational approach
imposes restrictions on program structures, resulting in suitable
calculational forms such as catamorphisms, anamorphisms and
hylomorphisms that enjoy a collection of generic algebraic laws for
program manipulation. In this tutorial, we will explain the basic
idea of program calculation, demonstrate that a lot of program
optimizations and transformations, including the well-known fusion and
tupling, can be concisely reformalized in calculational forms, and
show that program transformation in calculational forms is of higher
modularity and more suitable for efficient implementation. In
particular, we shall detail a concrete application in structured
parallel programming, illustrating how to apply the calculational
approach to structure parallel computations, systematically derive
efficient parallel programs, and automatically optimize parallel
programs via transformation.
Bio: Zhenjiang Hu is an associate professor of the school of information
science and technology, the University of Tokyo. He received his BS
and MS in computer science from Shanghai Jiao Tong University in 1988
and 1990 respectively, and his Ph.D in information engineering from
the University of Tokyo in 1996. His current research concerns
functional programming, program transformation (calculation), high
level parallel programming, and algorithm derivation. He is
particularly interested in the theory of program calculation based on
programming algebras, and is looking into how to apply this theory to
automatic program optimization, systematic parallelization of
sequential programs, and efficient manipulation of structured
documents.
Links: Program transformation in calculational form is supported by the program calculator Yicho, see http://www.ipl.t.u-tokyo.ac.jp/yicho/.
Erik Meijer: Object, relational, and XML mapping
Abstract: In many respects dealing with persistent data is the most interesting
aspect of programming. Data exists before the programs runs and remains
after the program has terminated. Even though there is an abundant
amount of research on data integration in programming languages, most
popular programming languages, whether they are statically typed such as
Java, C#, C(++), Haskell, SML, Python, etc. or dynamically typed such as
Perl, Python, Ruby, Groovy, ... do not deal very well with persistent
data. The state of the art is still using various string-based APIs.
In this tutorial, we will discuss various aspects of dealing with
persistent data in contemporary object-oriented languages such as Java
or C#. In particular we will discuss the challenges in dealing with the
impedance mismatch between relational data, objects, and XML.
Bio: Erik Meijer is a member of the WebData and the C# design team at
Microsoft where he currently works on language design and type-systems
for data integration in programming languages. Prior to joining
Microsoft he was an associate professor at Utrecht University and
adjunct professor at the Oregon Graduate Institute. Erik is one of the
designers of the standard functional programming language Haskell98.
Tom Mens: On the Use of Graph Transformations for Model Refactoring
Abstract: Since all software is subject to evolution, there is a clear need for
better ways to support and automate various aspects of software
evolution (e.g., software refactoring). To address this need, formal approaches can be used (e.g., graph transformation). In this tutorial, we will explain how the formalism of graph transformation can be used to formalise and reason about software refactoring. Amongst others, we will show how graph transformations can be used to formally specify refactorings, to reason about behaviour preservation properties, and to deal with structural conflicts that can occur when applying refactorings.
Existing graph transformation tools, such as Fujaba and AGG, can help us during this process.
Another important advantage of graph transformation is that it allows us to reason about refactoring in a language-independent way, enabling us to apply the mechanism at higher levels of abstraction too (e.g., UML design models).
Bio: Tom Mens received the degrees of Licentiate in mathematics in 1992, Advanced Master in computer science in 1993, and PhD in science in 1999 at the Vrije Universiteit Brussel. He has been a teaching and research assistant, a research councellor for industrial research projects, and a postdoctoral fellow of the Fund for Scientific Research ? Flanders (FWO). Since October 2003 he lectures on software engineering and programming languages at the Université de Mons-Hainaut. He has published numerous peer-reviewed articles on the topic of software evolution, and has been co-organiser, program committee member and referee of many international workshops and conferences. He is cofounder and coordinator of two international scientific research networks on software evolution, financed by the FWO and the European Science Foundation, respectively. He is a copromotor of a FWO interuniversity research project on software refactoring.
Jean Bezivin (INRIA, LINA, University of Nantes) Metamodelling and Model Driven Software Development
Zhenjiang Hu (University of Tokyo) Program Optimization and Transformation in Calculational Forms
Tom Mens (University of Mons-Hainaut) On the Use of Graph Transformations for Model Refactoring
Jean-Luc Hainaut (University of Namur) The Transformational Approach to Database Engineering
Don Batory (The University of Texas at Austin) Feature Oriented Programming
Shigeru Chiba (Tokyo Institute of Technology) Program Transformation With Reflective and Aspect-Oriented Programming
Ira Baxter (Semantic Designs Inc.) Compiling Fast XML reader/writers from DTDs using Program Transformations
Erik Meijer (Microsoft, Redmond) Object, relational, and XML mapping
For detailed information on each tutorial and speaker, see the list of tutorials.
Technology presentations
The technology presentation sessions take place right after lunch on monday, tuesday, thursday, and friday. The first session, on monday, is a plenary session where each technology presenter provides a 5 minute teaser of the technology he will present. On the remaining days, the actual technology presentations take place in parallel in the main presentation room attended by roaming participants. In four corners of the main presentation room, projectors will be available to technology presenters during 30 minute slots, scheduled as shown below. Outside these slots, technology presenters will be available for interaction with interested participants, using each technology presenter's own laptop.
Monday, July 4, 2005
14:00-15:00
Plenary Session
Tuesday, July 5, 2005
14:00-14:30
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands) Joint work with Eelco Visser (Utrecht University, The Netherlands)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
14:30-15:00
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition Presented by Dirk Heuzeroth (sd&m AG, Germany) Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France) Joint work with Jean Bézivin (Université de Nantes, France)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
Thursday, July 7, 2005
14:00-14:30
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
14:30-15:00
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands) Joint work with Eelco Visser (Utrecht University, The Netherlands)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition Presented by Dirk Heuzeroth (sd&m AG, Germany) Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Friday, July 5, 2005
14:00-14-30
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
14:30-15:00
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France) Joint work with Jean Bézivin (Université de Nantes, France)
Participants workshop
In the participants workshop, selected participants present their work in 15 minute slots (10min presentation + 5min discussion).
Wednesday, July 6, 2005
Model-driven engineering
09:00
Towards a Model-driven Development of Embedded SoC with UML and SystemC, Patrizia Scandurra
09:15
Model-driven Design of Substation Automation Systems: Proposed Approach, Drives and Impediments, Rogério Paulo
09:30
MOMENT: a formal MOdel manageMENT tool, Artur Boronat
09:45
A formal approach to Model Driven Development of Web applications, Davide Di Ruscio
10:00
Evaluating Design Properties of UML Behavioral Models, Aline Lúcia Baroni
10:15
Coffee break
Generative Programming
10:30
Domain-Aware Generation of Scripting Interfaces for Symbian OS, Tero Hasu
Early registration until April 15, 2005, registration fee EUR 450. closed
Late registration until June 1, 2005, registration fee EUR 600. closed
The registration fee includes:
accommodation in double room in the 4 star Hotel da Falperra (5 nights)
breakfasts, lunch, and coffee breaks (5 days)
dinners, reception, and banquet (5 evenings)
social programme
tutorial material
airport shuttles
Participants are expected to arrive on Sunday, July 3, and to be present during the entire summer school, which ends in the late afternoon of Friday, July 8.
Participant selection
The number of participants is limited to 100.
We want to ensure a diverse, well-matched, and well motivated set of participants. Therefor, participants will be selected on the basis of the information they supply on their registration form. In particular, we will take into consideration the relevance of the summer school topics to your area of research and to those of your group.
After receiving your registration form, you will receive notification of acceptance within two weeks, or you will be asked to provide some additional information. Together with the notification of acceptance, you will receive detailed payment instructions. When payment has been received, your registration will be confirmed.
Online registration
Please read the following instructions before completing the online registration form.
Instructions
The fields marked with '*' are required fields. Don't leave them blank.
For questions or comments (e.g. regarding diets, extra nights, etc.), use the Notes field.
You will be asked to describe your research area or title of the research project you are involved in. In case the connection of these to the summer school topics is not evident, we stronly encourage you to provide clarifying remarks in the field "Why is the summer school relevant to your research work?".
On the form you will be able to indicate whether you intend to contribute a paper presentation to the participants workshop. If so, you can provide a tentative title and tentative abstract. You will be given opportunity at a later stage to provide a final title and abstract (for details see Participants Workshop).
After submission of the registration form, an email will be sent automatically to the email address you provided in the form. This email will contain a password that you can use to modify your registration at a later moment, if needed.
This email only confirms receipt of your registration form. An email with notification of acceptance will follow within two weeks. Payment details will also be communicated at that time.
If you understood the instructions, please fill out the registration form.
If you made mistakes in your registration, or want to include additional information, your may do so via the following link. You will need to supply the password that was sent to you after initial registration.
We are working on raising financial support to be offered in the form of a limited number of summer school grants to individual participants. At this moment, no such support is available yet. We expect to offer only a very small number of grants. When such grants come available this will be announced here.
Participants that need financial support are encouraged to apply on individual basis to local or national sources of funding.
The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include:
Reference to the generative and transformational concepts behind the technology
Application of the technology to a case study of non-trivial scale
Clear statement of benefits and limitations of the technology
The participants will have ample opportunity to interact in informal manner with the technology presenters.
Format
Technology presenters will be given the opportunity to give a first 10 minute introduction of their generative and/or transformational technology in a plenary session. These sessions will be scheduled early in the week. During the remaining days, there will be parallel sessions in which summer school participants will have the opportunity to learn more about the various kinds of technology. In these parallel sessions participants and technology presenters will interact in a more informal manner.
Confirmed technology presentations
Applications of the ASF+SDF Meta-Environment Presented by Mark van den Brand (CWI & HvA, The Netherlands)
Domain-specific Language Embedding using Stratego/XT and MetaBorg Presented by Martin Bravenboer (Utrecht University, The Netherlands)
Joint work with Eelco Visser (Utrecht University, The Netherlands)
Applications of Agile Parsing To Web Services Presented by Thomas R. Dean (Queen's University, Canada)
Data cleaning and transformation using te AJAX framework Presented by Helena Galhardas (IST Tagus Park, Portugal)
The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software
Composition Presented by Dirk Heuzeroth (sd&m AG, Germany)
Joint work with Uwe Aßmann (TU Dresden, Germany), Holger Bär (FZI, Karlsruhe, Germany)
Model Transformation and Weaving Tools in the AMMA Platform Presented by Frederic Jouault (Université de Nantes, France)
Joint work with Jean Bézivin (Université de Nantes, France)
ConTraCT - A Refactoring Editor based on Composable Conditional Program Transformations Presented by Günter Kniesel (University of Bonn)
HATS – A System for Developing and Manipulating Software through Higher-Order Transformation Presented by Victor Winter (University of Nebraska at Omaha, USA)
Model Driven Software Development with Fujaba Presented by Albert Zündorf (University of Kassel, Germany)
Forms2.NET - Migrating Oracle Forms to Microsoft .NET Presented by Mohammad El-Ramly (University of Leicester, UK)
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ...
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ...
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ...
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ...
Author Instructions Please read the LNCS Author Instructions, and take into account the following: Please download style files etc. from the Springer website ...
Participants A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow participant, ask the organizers ...
Technology Presentations The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge ...
Participants Workshop The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers ...
Public Relations Material Feel free to download and print some of our publicity material: To hand out: Flyer (pdf, portrait, best on A4) To stick on the ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
This is a subscription service to be automatically notified by e mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have ...
Summer School onGenerative and Transformational Techniquesin Software Engineering4 - 8 July, 2005, Braga, Portugalhttp://www.di.uminho.pt/GTTSE2005
The summer school is over. Read about it in Dr. Dobb's Journal! Or have a look at the preface of the formal proceedings, published in Springer's LNCS series as volume 4143.
A second edition of GTTSE will be organized in 2007. See GTTSE 2007.
The summer school brings together PhD students, lecturers, technology
presenters, as well as other researchers and practitioners who are
interested in the generation and the transformation of programs, data,
models, meta-models, and documentation. This concerns many areas of
software engineering: software reverse and re-engineering,
model-driven approaches, automated software engineering, generic
language technology, to name a few. These areas differ with regard to
the specific sorts of meta-models (or grammars, schemas, formats etc.)
that underlie the involved artifacts, and with regard to the specific
techniques that are employed for the generation and the transformation
of the artifacts. The tutorials are given by renowned representatives
of complementary approaches and problem domains. Each tutorial
combines foundations, methods, examples, and tool support. The program
of the summer school also features invited technology presentations,
which present setups for generative and transformational techniques.
These presentations complement each other in terms of the chosen
application domains, case studies, and the underlying concepts. Furthermore,
the program of the school also features a participants
workshop. All students of the summer school will be
invited to give a presentation about their ongoing work. They will be
asked to submit a title and an abstract beforehand. The senior
researchers present at the summer school will provide the students with
feedback on their presentations. All summer school material will be
collected in proceedings that are handed out to the participants. Formal
proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings will be published in the Lecture Notes in Computer Science series of Springer.
List of tutorials
Don Batory (The University of Texas at Austin): Feature Oriented Programming
Ira Baxter (Semantic Designs Inc.): Compiling Fast XML reader/writers from DTDs using Program Transformations
Jean Bezivin (INRIA, LINA, University of Nantes): Metamodelling and Model Driven Software Development
Shigeru Chiba (Tokyo Institute of Technology): Program Transformation With Reflective and Aspect-Oriented Programming
Jean-Luc Hainaut (University of Namur): The Transformational Approach to Database Engineering
Zhenjiang Hu (University of Tokyo): Program Optimization and Transformation in Calculational Forms
Erik Meijer (Microsoft, Redmond): Object, relational, and XML mapping
Tom Mens (University of Mons-Hainaut): On the Use of Graph Transformations for Model Refactoring
The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include:
Reference to the generative and transformational concepts behind the technology
Application of the technology to a case study of non-trivial scale
Clear statement of benefits and limitations of the technology
The participants will have ample opportunity to interact in informal manner with the technology presenters. For detailed information, see Technology Presentations.
Participants workshop
There will be a workshop for the participating students. To this end,
all students of the summer school will be
invited to give a presentation about their ongoing work. They will be
asked to submit a title and an abstract beforehand. The senior
researchers present at the summer school will provide the students with
feedback on their presentations. For more details, see Participants Workshop.
Topics
Generic language technology
Grammarware engineering
Language and document processing
Generative programming
Software development environments
Software reverse and re-engineering
Model-driven approaches
Aspect-oriented approaches
Automatic programming
Program optimization
Feature-driven development
Product lines
Domain-specific languages
Application generation
Data re- and reverse engineering
Data integration
Object-relational mappings
Middleware technology
Term rewriting
Strategic programming
Graph transformation
Venue
The summer school will be held in the northern region of Portugal, known as the Costa Verde. The region is known for its
attractiveness in terms of climate, prices, and culture. The region is served by the Oporto international airport, providing direct flights to many major European cities. The event will take place in Hotel da Falperra, situated in the hills overlooking the city of Braga. Hotel da Falperra is a four star hotel that provides splendid seminar and leisure facilities including a swimming pool. The hotel is situated in a quiet and somewhat isolated mountain area, which promotes the interaction between senior and junior researchers. The hotel has good connections to the Braga city center (approx. 10 min).
For more information about the region and the city of Braga, try the following links:
Author Instructions Please read the LNCS Author Instructions, and take into account the following: Please download style files etc. from the Springer website ...
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ...
Public Relations Material Feel free to download and print some of our publicity material: To hand out: Flyer (pdf, portrait, best on A4) To stick on the ...
Participants A list of participants has been distributed on the last day of the summer school. If you have trouble contacting a fellow participant, ask the organizers ...
Participants Workshop The summer school program includes a Participants Workshop, where participants are given the opportunity to present their work. The senior researchers ...
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ...
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ...
Technology Presentations The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge ...
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ...
This is a subscription service to be automatically notified by e mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have ...
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Events/GTTSE web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Format: <space><space><space>, followed by: * Main.yourWikiName (if you want that the e-mail address in your home page is used) * Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address) * Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)
Related topics:TWikiUsers, TWikiRegistration
The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)
Preferences:
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Events/GTTSE.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Generative and Transformational Techniques in Software Engineering
Set SITEMAPUSETO = Generative and Transformational Techniques in Software Engineering
Exclude web from a web="all" search: (Set to on for hidden webs)
Set NOSEARCHALL =
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Web preferences that are not allowed to be overridden by user preferences:
Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME
Notes:
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #CC6600 .
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki's Events/GTTSE web
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE
The Events/GTTSE web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Events/GTTSE
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebTopicActions
(last changed by AlcinoCunha)2007-05-18T08:04:45ZAlcinoCunhaWebSearchAdvanced
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebSearchAdvanced
(last changed by TWikiGuest)2007-05-17T14:51:17ZguestProgram
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Program
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ... (last changed by AlcinoCunha)2007-03-05T19:33:47ZAlcinoCunhaOrganisers
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Organisers
Summer school chairs Ralf L mmel (Program Chair), Microsoft Corporation, USA. Jo o Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. ... (last changed by AlcinoCunha)2007-03-05T19:07:41ZAlcinoCunhaRegistration
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/Registration
Registration Deadlines and fees Early registration until April 15, 2005, registration fee EUR 450. closed Late registration until June 1, 2005, registration ... (last changed by JoostVisser)2007-02-15T18:47:00ZJoostVisserWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebCss
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by AlcinoCunha)2007-02-14T11:15:22ZAlcinoCunhaWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebPreferences
TWiki.Events/GTTSE Web Preferences The following settings are web preferences of the TWiki.Events/GTTSE web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2007-02-14T11:01:37ZAlcinoCunhaGettingThere
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/GettingThere
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 ... (last changed by AlcinoCunha)2007-02-14T00:20:12ZAlcinoCunhaWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebHome
Summer School on Generative and Transformational Techniques in Software Engineering 4 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 The ... (last changed by AlcinoCunha)2007-02-14T00:19:39ZAlcinoCunhaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebSideBar
Before Registration Getting There Organisers PR Material During Program Tutorials Technology Workshop Participants After ... (last changed by AlcinoCunha)2007-02-13T23:20:35ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/WebLeftBar
Post event info Registration Getting there Program Tutorials Technology Workshop Organisers Participants PR GTTSE 2007 (last changed by AlcinoCunha)2007-02-13T11:40:52ZAlcinoCunhaFlexibleSkinLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/FlexibleSkinLeftBar
Home Post event info Registration Getting there Program Tutorials Technology Workshop Organisers Participants PR GTTSE 2007 (last changed by JoseBacelarAlmeida)2007-02-12T19:38:16ZJoseBacelarAlmeidaPostEventInfo
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/PostEventInfo
Post event information On this page you find some information assembled after the summer school. Formal proceedings The formal proceedings of the summer school will ... (last changed by JoseBacelarAlmeida)2007-02-12T19:37:47ZJoseBacelarAlmeidaProgramInDetail
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/ProgramInDetail
Overview of the summer school program Details Tutorials Jean Bezivin (INRIA, LINA, University of Nantes) Metamodelling and Model Driven Software ... (last changed by JoseBacelarAlmeida)2007-02-12T19:37:47ZJoseBacelarAlmeidaNews
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/News
Sep 20 The GTTSE summer school is online! (last changed by JoseBacelarAlmeida)2007-02-12T19:37:46ZJoseBacelarAlmeidaPhotosMiguelMonteiro
http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/PhotosMiguelMonteiro
Pictures of GTTSE by Pessoa Monteiro (last changed by JoseBacelarAlmeida)2007-02-12T19:37:46ZJoseBacelarAlmeida
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.