Participants : Mireille Ducassé,
Erwan Jahier.
Mots clés : environnement de
programmation, programmation logique avec contraintes,
débogage, visualisation .
Résumé :
Un des objectifs du projet est de mettre en forme et
d'expérimenter des techniques de trace génériques pour des
programmes logiques avec contraintes. Cela facilitera la
définition d'outils d'observation et de mise au point. Un
autre aspect est d'étudier l'apport, à la conception de
tels outils, des progrès réalisés en matière de
visualisation d'information sur de grands ensembles de
données.
Le projet OADYMPPAC démarre à l'automne 2000. Un des
objectifs du projet est de mettre en forme et d'expérimenter
des techniques de trace génériques pour des programmes
logiques avec contraintes. Cela facilitera la définition
d'outils d'observation et de mise au point. Un autre aspect
est d'étudier l'apport, à la conception de tels outils, des
progrès réalisés en matière de visualisation d'information
sur de grands ensembles de données. Cela permettra, en
parallèle, la définition et l'expérimentation de nouveaux
outils de mise au point. Il y a deux champs
d'application : d'une part, la programmation avec
contraintes et, en particulier, une meilleure compréhension
du comportement des solveurs ; d'autre part le
développement de techniques génériques de visualisation
d'information adaptées à l'analyse visuelle des traces
produites par les phénomènes dynamiques.
Domaine de recherche assez récent, la visualisation
interactive d'information a pour objectif d'aider la
compréhension de données ou de processus abstraits au moyen
de la production de représentations visuelles interactives de
ces données. La visualisation d'information se présente comme
un sous-domaine des sciences cognitives appliquées, dont le
but est d'amplifier les mécanismes de cognition en tirant
profit au mieux des particularités connues de notre système
perceptif.
Cette action bénéficie d'un soutien du ministère de la
recherche, sous la forme d'un contrat RNTL. Les partenaires
industriels du consortium sont Ilog et Cosytec. Nos
partenaires universitaires sont l'INRIA Rocquencourt,
l'université d'Orléans et l'école des Mines de Nantes.