La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Projet OADymPPaC Réunion « debriefing » nov 2004 P.Deransart INRIA-Rocquencourt Outils pour l'Analyse.

Présentations similaires


Présentation au sujet: "Projet OADymPPaC Réunion « debriefing » nov 2004 P.Deransart INRIA-Rocquencourt Outils pour l'Analyse."— Transcription de la présentation:

1 Projet OADymPPaC Réunion « debriefing » nov 2004 P.Deransart INRIA-Rocquencourt Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes 15 nov mai 2004 (40 mois)

2 2 Réunion « debriefing » zRésultats globaux zAnalyse sans complaisance des résultats par sous-projet zBilan global zBilan RNTL zSuite ? Nota: signaler oublis!

3 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 3 Résultats globaux indiscutables zDissémination 98 publications (dont 58 communications) 5 thèses (3 passées) 8 rapports de stages présence aux 3 manifestations RNTL participations 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

4 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 4 Résultats visibles indéniables, mais… zGeneric Trace Format gentra4cp gentra4cp on veut quil soit adopté mais en fait difficile à implanter: pourquoi? zRéalisations publiques (logiciels) réalisations publiques réalisations publiques des traceurs et outils mis a disposition mais paramétrisation encore lourde et limitée des traceurs et outils. Que peut-on améliorer et faire hors projet? zOù devons nous aller?... Quelles éléments pour un autre projet?

5 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 5 Résultats: traceurs et outils, mais interopérabilité péniblement atteinte

6 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 6 Critique générale zTous les outils ne sont pas conformes ou sont incomplets: ex -PAVOT naccepte pas des extensions conformes de gentra4cp (pb de paramétrisation du traceur) -CHIPC++ ne trace pas la propagation zManque dun protocole de communication zFaiblesse des paramétrages à tous les niveaux

7 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 7 Analyse des résultats sans complaisance SP1: Modélisation des solveurs (FD) et réalisation de traceurs SP11: modèles théoriques de solveurs, trace et traceurs SP12: analyse de trace SP2: Modèle de trace générique et modèles de visualisation SP21: concepts de visualisation, modèles SP22: langage générique dentrée pour visualisation SP3: Outils de débogage et spécification de vues SP31: analyse de performance: propriétés d'arbres de choix SP32: analyse déchecs et explications SP33: spécification de vues SP34: outils SP4: Techniques et composants génériques de visualisation SP41: composants génériques et temps réel SP42: mise en œuvre des composants génériques SP43: Expérimentation et veille

8 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 8 Analyse des résultats: SP11 modèles théoriques de solveurs, trace et traceurs Modèles théoriques de solveurs (+ explications) thèse de JA mais liaison avec trace générique pour CLP(FD) à faire, généralisation à dautres domaines thèses de WL et SO: notions dexplications et débogage mais validation expérimentale à faire Modèles théoriques de trace sémantique observationnelle: thèse LL(chap. 5) mais définition théorique et généralisation à reste à faire, outils de validation de trace nécessaires Traceurs 4 traceurs (GNU, CHIPC++, JPalM, Jchoco) mais: paramétrisation, communication dinfos par lutilisateur. Traceurs « inachevés » et arrivés tardivement…

9 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 9 Analyse des résultats: SP12 analyse de trace Thème unique entendu comme « méthode de sélection dinformations dans la trace » thèse de LL (chap. 7): syntaxe abstraite de trace virtuelle (ou trace maximale), notion de « pattern »: condition ==> action pour filtrer la trace à la source et agir sur les outils Interactions traceur(serveur)/outils(client): « Pattern » synchrone ou asynchrone mais travail inachevé, non pris en compte par les outils réalisés, une seule implantation pour GNU-Prolog

10 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 10 Analyse des résultats: SP21 Concepts de visualisation, modèles Petit schéma pour comprendre

11 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 11 Analyse des résultats: SP21 (suite) Concepts de visualisation, modèles Théme sur lequel il ny a pas eu de vrai travail: chaque outil a travaillé sur son propre modéle de données: Vues métier (structures ad-hoc) de CHIPDEBUGGER Table models (éléments, attributs) de ILOG Visual CP Couches de colonnes de INFOVIS (noeuds, arcs pondérés, historiques) Structures ad-hoc pour Pavot et CLPGUI Manque une réflexion sur des structures modulaires intermédiaire communes aux vues (étape intermédiaire paramétrisable)

12 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 12 Analyse des résultats: SP22 Langage générique dentrée pour visualisation Thème unique entendu comme « trace générique » gentra4cp Là cest situé lessentiel de leffort commun pour aboutir à gentra4cp (adoption de XML) mais Lanalyse des besoins a été faite en partie mais utilisée pour la trace générique (besoin en éléments de base, mais moins en composants de base pour la visualisation)

13 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 13 Analyse des résultats: SP31 analyse de performance: propriétés d'arbres de choix Etudes théoriques: symétries et leur détection à laide doutils de visualisation (on sest centré sur 1 propriété). Travail sur isomorphisme de sous-arbres envisagé mais non fait Résultats: possibilité de produire différentes exécutions et traces en GNU-prolog sans ou avec élimination de symétries (prototype SBDS) Production et analyse de vues var/val mais: étude non conduite à son terme sur le plan théorique (réalisations prioritaires) et peu détude de vues (traceurs pas opérationnels)

14 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 14 Analyse des résultats: SP32 analyse déchecs et explications et outils Production : introduction des explications dans la trace générique (2 méthodes) mais la production des explications reste limitée à PaLM Outils: thèses de WL et SO: notions dexplications et débogage mais validation expérimentale à faire

15 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 15 Analyse des résultats: SP33 spécification de vues Définition de vues: vues originales de larbre de recherche dans différents outils CLPGUI: affichage rapide de vues 3D très synthétiques PAVOT: « propagation tree » (vue « christmas tree » de ILOG simplifiée) CHIPDEBUGGER: spécification ad-hoc de vues métier dans le flot montant Mais: recherche difficile de nouvelles vues dans INFOVIS (essais VISADJ), réunions « conception de programme » Seul CHIPDEBUGGER utilise un format XML ad-hoc de spécification de vues (transmis dans Gentra4cp)

16 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 16 Analyse des résultats: SP34 Outils Des outils PAC réalisés: CLPGUI, PAVOT, CHIPDEBUGGER avec des vues originales des arbres de recherche mais: posent les problèmes dinteractions: CLPGUI: interaction ad-hoc (format déchange propriétaire) PAVOT: pas dinteraction, récupération module analyse syntaxique de INFOVIS et des vues CLPGUI (+ vue nouvelle: « propagation tree »), flot dentrée Gentra4cp CHIPDEBUGGER: module CNI avec flot montant Gentra4cp par packets et interactions. Flot descendant ad-hoc Véritable étude des interactions encore à faire

17 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 17 Analyse des résultats: SP41 composants génériques et temps réel Outils ILOG Visual CP: outil très puissant et bien documenté (analyse statique post-mortem ou a partir dune console), distribué gratuitement actuellement mais: difficile dusage et paramétrage complexe INFOVIS: visualisation de graphes (C/V et C/C) et possibilité danimation (analyse à partir de traces post- mortem) mais seulement 2 types de graphes et incomplet pour le paramétrage, autres outils inachevés (VISADJ)

18 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 18 Analyse des résultats: SP42 mise en œuvre des composants génériques Essentiellement: passage de Discovery à ILOG Visual CP et passage de VISADJ à « INFOVIS » Nota: travail insuffisant sur la définition des « objets » servant de base à la construction de vues (vtype, rtype, vident, vname, cname, …). Question générale: spécification dobjets sémantiques (generic dedicated objects)

19 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 19 Analyse des résultats: SP43 Veille et expérimentation État de lart visualisation (+ explications) fait régulièrement mais impact sur le projet peu étudié (manque de réunions sur ce thème?) Expérimentation une sur PaLM avec VISADJ (production de papiers), a aidé à définir les vues de « INFOVIS » expérimentation par PD en vue de la création dun « repository » de traces (avec traceurs et outils) mais expérimentation encore laborieuse et très insuffisante!

20 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 20 Bilan global Retombées et perspectives d'exploitation zRetombées d'exploitation y ILOG DISCOVERY/ILOG Visual CP (licence gratuite pour le moment) y CHIP V5.6 nouvelles versions (juin 2004) avec traceur et nouveaux composants danalyse de performance et de mise au point xMeilleure compréhension de la résolution xAmélioration des temps de développement des applications zRetombées scientifiques yEffort de « standardisation » des solveurs de contraintes yStimulation de développements de traceurs et doutils (moyens: bibliothèque de problèmes et de traces, logiciels libres) yFacilitation du développement doutils dédiés au prototypage dapplications yMaîtrise de la combinatoire de certains problèmes complexes

21 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 21 Bilan global forme du projet zEnseignements principaux y 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. y Bien que projet « exploratoire », création dun lien fort entre la recherche académique et appliquée dans le domaine industriel y Création de supports de formation (sensibilité industrielle)

22 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 22 Bilan "RNTL" Processus de sélection: délais OK incertitude sur date de début (autorisations dembauche) Mise en route et suivi: excellent. Merci, en particulier, à François Role, Ilarion Pavel, Martine Marty et Jean-Marc Labat zFin 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 nexclut pas des projets européens ou internationaux) zProblèmes rencontrés yPossibilité tardive dembauche (prolongation du projet) yMobilité de certains partenaires

23 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 23 Suites du projet Perspectives internationales: réseau, base de données doutils et de traces « trace repository »« trace repository » zNouveaux verrous à lever (identifiés, propres au projet) y Standardisation des interactions (flot descendant) y Paramétrage des outils de visualisation (3 niveaux: trace, objets et visualisation) y Efficacité de la visualisation (ex: algorithmes de « clustering » de grosses matrices dincidence) yKiller application de lanalyse de trace (evaluation des outils)

24 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 24 Suites du projet zThèmes à développer y Nombreux thèmes spécifiques (interactions et mise au point dapplications, reconnaissance visuelle des symétries, disomorphisme de graphes, production et utilisation dexplications, « generic dedicated objects »… yModélisation de solveurs et stratégies hybrides (sémantique observationnelle) yEnrichissement de la trace XML pour la maintenance dapplications à travers Internet (sécurité, workflow, XML)

25 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 25 Envie de faire zImmédiat y Site Gentra4cp (« repository ») y Colloque/séminaire AFPC y Quelques papiers (CHIP architecture, semantique observationnelle) y Expérimentation approfondie (nécessaire pour une étude des objets dédiés génériques en particulier) zFutur proche y Modèle abstrait de trace générique (sémantique observationnelle) et outils de validation y Langage dinterrogation de trace dans son format XML y Interactions y Étude extension du format générique à dautres domaines (CHR?) y Étude des objets dédiés génériques

26 26 Papiers zVisualisation graphes dynamiques pour la mise au point de PaC (avec CP-INFOVIS) (JD et Pierre, Nantes?) zTracer driver et interactions (Ludovic, Mireille et Pierre)


Télécharger ppt "Projet OADymPPaC Réunion « debriefing » nov 2004 P.Deransart INRIA-Rocquencourt Outils pour l'Analyse."

Présentations similaires


Annonces Google