International Special Session on
Formal Foundations of Software Evolution
13 March 2001
Centro de Congressos do IST
Lisboa, Portugal
Co-located with the
European Conference on Software Maintenance and Reengineering (CSMR 2001)
LINKS
MOTIVATION AND OBJECTIVES
Numerous scientific studies of large-scale software systems have shown that more than 80% of the total cost of
software development is devoted to software maintenance. This is mainly due to the fact that software systems are
under constant evolution to cope with changing requirements.
Today this is more than ever the case, because of the dramatic evolution of technology,
the ever changing legislation, etc. Despite this omnipresence of software evolution,
existing tools that try to offer support are far from ideal. They are often implemented in an ad-hoc way,
are not generally applicable, are not scalable, or they are difficult to integrate with other tools.
The goal of this workshop is to try and find out how formal techniques can
alleviate those problems, and how they can lead to tools for large-scale software systems that are more robust
and more widely applicable without sacrificing efficiency. Preferably, provided techniques should not be restricted to a particular phase in the software life-cycle,
but should be generally applicable throughout the entire software development process.
The following is a non-limitative list of formal approaches that could be used to deal with evolution issues
in a general and scalable way:
rewriting-based or transformation-based approaches (e.g., term rewriting and graph rewriting);
declarative reasoning and specification formalisms;
logic-based approaches (e.g., temporal logic, predicate logic);
category theory;
graph theory;
semantics-based approaches (e.g., denotational semantics);
metrics-based approaches.
WORKSHOP RESULTS
Proceedings
The workshop proceedings is electronically available as a technical report
UNL-DI-1-2001 (Universidade Nova de Lisboa, Departamento de Informatica)
as well as VUB-PROG-TR-01-03 (Vrije Universiteit Brussel, Programming Technology Lab)
Workshop report
The workshop report is electronically available, and has also been published in the July 2001 issue of ACM Software Engineering Notes.
Submissions and presentations
All workshop submissions and presentations can be found below in pdf-format:
- Timo Aaltonen, Tommi Mikkonen. Software Evolution Based on Formalized Abstraction Hierarchy
Short presentation by T. Aaltonen
- L. Andrade, J. Gouveia, G. Koutsoukos, José Luiz Fiadeiro. Coordination Contracts, Evolution and Tools
Short presentation by G. Koutsoukos
- Lina García-Cabrera, Maria José Rodríguez-Fórtiz, José Parets-Llorca. Formal Foundations for the Evolution of Hypermedia Systems
Long presentation by M. Rodríguez-Fórtiz
- Reiko Heckel, Gregor Engels. Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution
Short presentation by R. Heckel
- Wolfram Kahl. Software Evolution via Hierarchical Hypergraphs with Flexible Coverage
Short presentation by W. Kahl
- Michele Lanza, Stephane Ducasse, Lukas Steiger. Understanding Software Evolution Using a Flexible Query Engine
Short presentation by M. Lanza
- Meir M. Lehman, Juan F. Ramil, Goel Kahen. Thoughts on the Role of Formalisms in Studying Software Evolution
Long presentation by J.F. Ramil
- Tom Mens. Transformational Software Evolution by Assertions
Short presentation by T. Mens
- Claudia Pons, Gabriel Baum. Software Development Contracts [DID NOT ATTEND]
- Stefan Roock. Stabilizing Component APIs with Meta Tags [DID NOT ATTEND]
- Jamal Said, Eric Steegmans. Transformation of Binary relations into Associations and Nested Classes
Short presentation by J. Said
- Michel Wermelinger, Antonia Lopes, José Luiz Fiadeiro.A Graph Transformation Approach to Architectural Run-Time Reconfiguration
Short presentation by M. Wermelinger
- Jianjun Zhao. Change Impact Analysis for Architectural Evolution
Short presentation by J. Zhao
ORGANIZERS
This workshop is an offical activity of the Scientific Research Network on "Foundations of Software Evolution",
and is partially financed by the Fund for Scientific Research - Flanders (Belgium).