Tentative Workshop Schedule

MORNING

9:40 Long presentations

• Wolfram Kahl. Software Evolution via Hierarchical Hypergraphs with Flexible Coverage
• Lina García-Cabrera, M.José Rodríguez-Fórtiz, José Parets-Llorca. Formal Foundations for the Evolution of Hypermedia Systems

Discussion on the use of one single formalism versus multiple formalisms.

11:00 Coffee Break

11:30 Long presentation

• Meir M. Lehman, Juan F. Ramil, Goel Kahen. Thoughts on the Role of Formalisms in Studying Evolution Process Behaviour

Discussion on the how versus what and why of software evolution. Process issues versus technical issues.

AFTERNOON

• Timo Aaltonen, Tommi Mikkonen. Software Evolution Based on Formalized Abstraction Hierarchy
• L. Andrade, J. Gouveia, G. Koutsoukos, José Luiz Fiadeiro. Coordination Contracts, Evolution and Tools

Discussion on when evolution tool support is necessary: before, during, after.

15:00 Short presentations

• Reiko Heckel, Gregor Engels. Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution
• Jianjun Zhao. Change Impact Analysis for Architectural Evolution

Discussion on level of changes (architectural, design, implementation) and time of change (design, execution).

15:30 Short presentations

• Michele Lanza, Stéphane Ducasse, Lukas Steiger. Understanding Software Evolution Using a Flexible Query Engine
• Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro. A Graph Transformation Approach to Architectural Run-Time Reconfiguration

Discussion on logic versus algebraic approaches.

16:00 Coffee Break

16:30 Short presentations

• Tom Mens. Transformational Software Evolution by Assertions
• Jamal Said, Eric Steegmans. Transformation of Binary relations into Associations and Nested Classes

Discussion on scalability, efficiency, automation and usability of tools.

WRAP UP

• Quantitative versus qualitative approaches
• Transformational (operational) versus declarative approaches
• Can we use the same tools for reverse-engineering, re-engineering and forward engineering?
• Which artifacts can change (code, hardware, documentation, ...)

17:30 Conclusion and final remarks