Qu'est-ce que c'est?

PAVOT (Polymorphic Application for Viewer Of Traces) a été développé dans le cadre du projet OADymPPaC. Ce projet a d'une part spécifié un format de trace générique (ou "standard") applicable aux différents solveurs de contraintes domaines finis existants, et d'autre part le développé des techniques génériques de visualisation d'information adaptées à l'analyse visuelle des traces génériques. PAVOT fait le lien entre ces deux parties, i.e la connection de traces génériques de solveurs de contraintes à un ensemble d'outils génériques de visualisation.

Objectifs

Deux objectifs ont été fixés, le premier côté utilisateur, le deuxième côté développeur. Dans le premier cas l'application doit être un outil simple d'emploi pour qu'il puisse analyser intelligement son programme (debogage, optimisation...) ou l'illustrer (pour l'enseignement par exemple). Dans le deuxième la structure de l'application doit être assez souple afin de pouvoir facilement y connecter de nouveaux solveurs générant la trace standard et intégrer facilement de nouveaux viewers, éventuellement développés indépendamment.