ATEAMS Research team
Analysis and Transformation based on rEliAble tool coMpositionS
- Leader : Jurgen Vinju
- Research center(s) :
CRI Lille - Nord Europe
- Field : Algorithmics, Programming, Software and Architecture
- Theme : Architecture, Languages and Compilation
- Partner(s) : Centrum Wiskunde & Informatica
the last decades, computer science has delivered various insights how
to organize software. Via structured programming, modules, objects,
components and agents, software systems are these days more and more
evolving into systems of systems
that provide services to each other.
Each system is large, uses incompatible --- new, outdated or
non-standard --- technology and above all, exhibits failures. It is
becoming more and more urgent to analyze the properties of these
heterogeneous and large software systems and to refactor and transform
them in order to keep them up-to-date. With the phletora of languages
and technology platforms it is becoming very difficult and very
expensive to construct tools to achieve this.
main challenge of this project is to address this problem by (a)
developing language-parametric techniques
for analysis and
transformation that are (b) embedded in an scalable and reliable tool
infrastructure. We will use the service paradigm itself to build better
(better quality, better flexibility and better performance) tools for
analysis and transformation of software systems. To this end, we will
study fact extraction (to extract information from existing software
systems), refactoring and transformation (to improve them), and
reliable middleware to act as tool composition foundation.
International and industrial relations
The project has cooperations with the Universities of Delft, Eindhoven, Koblenz, London, Swansea and others.
The project has industrial cooperations with ASML, IBM Research, Lucent Bell Labs, Philips Medical Systems, Software Improvement Group and others.