Présentation du projet OADymPPaC au séminaire RNTL Thème 2

1. Présentation du projet OADymPPaCau séminaire RNTL Thème 2 Outils pour l'Analyse Dynamique et la mise au Point deProgrammes avec Contraintes 15 nov. 2000 --- 14 mai 2004 (40 mois) P.Deransart INRIA-Rocquencourt pierre.deransart@inria.fr http://contraintes.inria.fr

2. Présentation du projet: challenges • Interopérabilité des outils:  faciliter le développement d'outils d'analyse de problèmes avec contraintes --> "standardiser" les plateformes CP et la paramétrisation des outils • Passage à l'échelle:  traiter des problèmes de grande taille (centaines de variables ou contraintes) ----> nécessité d'outils IHM puissants RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

3. Présentation du projet: consortium RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

4. Présentation du projet: objectifs SP1: Modélisation des solveurs (FD) et réalisation de traceursSP2: Modèle de trace générique et modèles de visualisationSP3: Outils de débogage et spécification de vuesSP4: Techniques et composants génériques de visualisation RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

5. Résultats obtenus à ce jour • Format de trace générique gentra4cp • Délivrables publiques réalisations publiques RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

6. Résultats: interopérabilité RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

7. Architecture de CHIP (COSYTEC) Communication Analysis Visualization Flow: trace for analyzers Flow: fitered trace Flow: filtred trace Communication Filters Logger Log file Flow: complete trace Driver PPC solvers: CHIP++,CHIPC, CHIPC++,CLP(FD)…

8. Résultats obtenus à ce jour • Dissémination 98 publications (dont 58 communications)5 thèses (3 passées)8 rapports de stagesprésence aux 3 manifestations RNTLparticipations aux conférences et workshops: Contraintes:JFPLC, ICLP, WLPE, UICS, CICLOP, ERCIM, AADEBUG, CP, AIPS, PATAT, ROADEF, ISS, PMS, FLOC, WFLP, FLAIRS, TRICS, JNPC, MIC RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

9. Retombées et perspectives d'exploitation • Retombées d'exploitation • ILOG DISCOVERY/ILOG Visual CP (licence gratuite pour le moment) • CHIP V5.6 nouvelles versions (juin 2004) avec traceur et nouveaux composants d’analyse de performance et de mise au point • Meilleure compréhension de la résolution • Amélioration des temps de développement des applications • Retombées scientifiques • Effort de « standardisation » des solveurs de contraintes • Stimulation de développements de traceurs et d’outils (moyens: bibliothèque de problèmes et de traces, logiciels libres) • Facilitation du développement d’outils dédiés au prototypage d’applications • Maîtrise de la combinatoire de certains problèmes complexes RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

10. Bilan "RNTL" • Processus de sélection: délais OK incertitude sur date de début (autorisations d’embauche) • Mise en route et suivi: excellent. Merci, en particulier, à François Role, Ilarion Pavel, Martine Marty et Jean-Marc Labat • Fin de projet: • Ce que le RNTL a apporté au projet: permettre de faire collaborer les meilleurs partenaires possibles en France sur ce sujet (ce qui n’exclut pas des projets européens ou internationaux) • Problèmes rencontrés • Possibilité tardive d’embauche (prolongation du projet) • Mobilité de certains partenaires RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

11. Conclusion et propositions pour la suite • Enseignements principaux • Stabilité consortium essentielle; les ralentissements viennent surtout du temps nécessaire à l’élaboration des bonnes théories (risque plus élevé), mais aussi du temps nécessaire à l’élaboration de prototypes distribuables, voire commercialisables. • Bien que projet « exploratoire », création d’un lien fort entre la recherche académique et appliquée dans le domaine industriel • Création de supports de formation (sensibilité industrielle) RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

12. Conclusion et propositions (suite) • Perspectives internationales: réseau, base de données d’outils et de traces « trace repository » • Nouveaux verrous à lever (identifiés, propres au projet) • Standardisation des interactions (flot descendant) • Paramétrage des outils de visualisation (3 niveaux: trace, métiers et visualisation) • Efficacité de la visualisation (ex: algorithmes de « clustering » de grosses matrices d’incidence) RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC

13. Conclusion et propositions (suite et fin) • Thèmes à développer • Nombreux thèmes spécifiques (interactions et mise au point d’applications, reconnaissance visuelle des symétries, d’isomorphisme de graphes, production et utilisation d’explications,… • Modélisation de solveurs et stratégies hybrides (sémantique observationnelle) • Enrichissement de la trace XML pour la maintenance d’applications à travers Internet (sécurité, workflow, XML) RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC