Team in-situ

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: in-situ

Project : in-situ

Section: Contracts and Grants with Industry

French RNTL project OADymPPaC

Participant : Jean-Daniel Fekete.

The OADymPPaC project aims at providing tools for the dynamic analysis and debugging of constraint-based programs. It is funded by the RNTL French network. Partners include INRIA (from the Rocquencourt Contraintes project and Futurs IN-SITU project), Ecole des Mines de Nantes, University of Orleans, IRISA in Rennes, the ILOG company and the Cosytec company. The project started in 2000 and will end in 2004

Our role in the project is to provide tools for visualizing dynamically the execution of constraint-based programs. We have designed several tools to read a generic trace produced by constraint-based programs and translate it into generic and specific visualization components. Our current work is focused on visualizing large dynamic graphs that are built and maintained by constraint solvers. Two graphs are important: the constraint/variable graph available on all solvers and the graph of ``explanations'' produced by recent solvers such as PaLM [45]. We designed the Infovis Toolkit[32] to help building appropriate tools for this project.

Instead of focusing on node-link diagrams for representing graphs, we are exploring the use of adjacency matrices to achieve higher graph density and real-time performances. We are currently investigating three directions: readability of adjacency matrices compared to node-link diagrams, clustering techniques to help aggregating large graphs and interaction techniques to explore the evolution of large graphs[16] [17] [18].