1. FFSE 2001 – Workshop Schedule --- MORNING --- 9:30Opening + Welcome 9:402 long presentations (Kahl, García-Cabrera) + discussion 11:00Coffee break 11:30long presentation (Ramil) + discussion 12:30Lunch --- AFTERNOON --- 14:302 short presentations (Aaltonen, Andrade) + discussion 15:002 short presentations (Heckel, Zhao) + discussion 15:302 short presentations (Lanza, Wermelinger) + discussion 16:00Coffee break 16:302 short presentations (Mens, Said) + discussion --- WRAP UP --- 17:00Additional discussion 17:30Conclusion and final remarks

2. March 2001© Tom Mens, Programming Technology Lab 2 Some General Questions  Which aspects of sofware evolution need to be automated by tools?  Where and how can formalisms help us with this support?  How can we build formal tools that are as general and flexible as possible? language independentcustomisable by the user independent of life-cycle phasetool interoperability scalable to large-size softwarefor design-time/run-time evolution for forward/reverse/re-engineeringbefore/during/after evolution for facilitating/supporting/analysingfor what/why/how of evolution

3. FFSE 2001 – Workshop Schedule MORNING 9:30Opening + Welcome 9:40Long presentations  Kahl: Software evolution via hierarchical hypergraphs  García-Cabrera et al. Evolution of hypermedia systems  Discussion on single versus multiple formalisms 11:00Coffee break 11:30Long presentation  Lehman et al. The role of formalisms in studying software evolution  Discussion on how versus what and why of software evolution 12:30Lunch

4. FFSE 2001 – Workshop Schedule AFTERNOON 14:30Short presentations  Aaltonen et al. Evolution based on formalised abstraction hierarchy  Andrade et al. Coordination contracts, evolution and tools  Discussion on separation of concerns and different rates of change 15:00Short presentations  Heckel et al. Graph transformation as meta language for evolution  Zhao. Change impact analysis for architectural evolution  Discussion on  layer (architecture, analysis, design, implementation)  provide support before / during / after evolution  time (design-time, run-time) of evolution

5. FFSE 2001 – Workshop Schedule AFTERNOON (CONTINUED) 15:30Short presentations  Lanza et al. Flexible query engine for understanding evolution  Wermelinger et al. Graph transformation for architectural reconfiguration  Discussion on logic versus algebraic approaches 16:00Coffee break 16:30Short presentations  Mens. Transformational software evolution by assertions  Said et al. Transformation of binary relations into associations and nested classes  Discussion on scalability, efficiency, automation and usability of tools

6. FFSE 2001 – Workshop Schedule WRAP UP 17:00Additional Discussion  Quantitative versus qualitative approaches  Transformational versus declarative approaches  Uniformity of tools for forward, reverse, and re-engineering?  Types of artifacts that can change (code, models, diagrams, hardware, documentation)  Need for tool support to anticipate / facilitate / support / analyse evolution 17:30Conclusion and final remarks 19:30Dinner?

7. FWO WOG “Formal Foundations of Software Evolution” FUTURE WOG-FUNDED WORKSHOPS June 18, 2001University Eötvös Loránd, Budapest, Hungary ECOOP workshop on Object-Oriented Architectural Evolution http://prog.vub.ac.be/OOAE/ November 26-27, 2001Katholieke Universiteit Leuven, Leuven, Belgium First International Working Conference on Network Security http://www.cs.kuleuven.ac.be/conference/inetsec01/ September ??, 2002Near Barcelona, Spain Two workshops co-located with International Conference on Graph Transformation:  Workshop on Software Evolution Through Transformations  Workshop on Graph-Based Tools

8. FWO WOG “Formal Foundations of Software Evolution” WORKSHOP REFUND POLICY  A maximum of 15.000 BEF (371,84 Euro) can be refunded per participant.  Only transportation and accomodation can be refunded.  CSMR conference registration is NOT refunded.  Original receipts of expenses should be handed over to Tom Mens, together with:  Full participant name  Affiliation (institution, address, e-mail, phone, fax)  Bank account