Sites Inria

Version française

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

Team presentation

Over 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.

Research themes

The 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.

Keywords: Software engineering Software analysis Software refactoring Tool composition