Projet OADymPPaC Réunion « debriefing » nov 2004

Slides:



Advertisements
Présentations similaires
Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt Outils.
Advertisements

Présentation du prototype :
Fabrice Lauri, François Charpillet, Daniel Szer
« Systèmes électroniques »
Processus d'expression du besoin
Département Édition - Intégration SEMINAIRE SOA Migration du canal Esup MonDossierWeb Olivier Ziller / Charlie Dubois Université Nancy 2 16 octobre 2007.
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
Le"cartable électronique"®
Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.
ACI GRID Projet JE RESAM Support Réseau et Intelligence pour la Grille Coordinateur C. Pham, Univ. Lyon 1, INRIA RESO.
Introduction : plasticité des IHMs – Page 1 IHM et plasticité 1 IHM et Différents supports Différents utilisateurs Différents environnements Problématique.
Projet n°4 : Objecteering
Groupe France Télécom Projet Cilia : collaboration LIG Adèle – Orange Labs/MAPS/MEP slide 1 Cilia, un framework de médiation ouvert, léger, multi-personnalités.
JXDVDTEK – Une DVDthèque en Java et XML
UML - Présentation.
Directeur de Thèse : Pr. Witold Litwin
Gestion des connaissances
28 juin 2007 Sylvain Heuzé 1 Développer lexploitation des ressources multimédias en classe dinitiation Master FLE/S - Autoformation et diversification.
Conception d’une application de gestion de fiches études
Le réseau : un espace de mutualisation de formation à la pédagogie de léchange Quelle formation ? pour quelles pratiques ? Quelle formation ? pour quelles.
Interface Homme Machine IHM Pro
Sélection automatique d’index et de vues matérialisées
Modèle d’interaction pour les systèmes mixtes
Présentation du SVI - DELSOL Mikaël
Des RRA à la diagnosticabilité
Interaction Homme Robot Sujet « 16/03/2012 » Réalisé par :
1 Cours numéro 3 Graphes et informatique Définitions Exemple de modélisation Utilisation de ce document strictement réservée aux étudiants de l IFSIC.
le profil UML en temps réel MARTE
20 ans de recherches communes avec Gérard Ferrand, et un peu plus
Vuibert Systèmes dinformation et management des organisations 6 e édition R. Reix – B. Fallery – M. Kalika – F. Rowe Chapitre 2 : Les applications fonctionnelles.
Introduction aux plates formes
COPIL SINP 28/03/2014 PRÉSENTATION DES APPLICATIONS OGAM (WEB ET NOMADE)
Configuration de Windows Server 2008 Active Directory
Département de génie logiciel et des TI Université du Québec École de technologie supérieure Systèmes dinformation dans les entreprises Systèmes dinformation.
SYSTEMES D’INFORMATION
Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point.
Interprétation de séquences dimages pour des applications MédiaSpace Alberto AVANZI François BREMOND Monique THONNAT Projet ORION INRIA de Sophia Antipolis.
CAssiopée, un système de vidéosurveillance bancaire
1 Du pixel à lobjet : méthodes stochastiques X. Descombes Projet Ariana Orféo, 14 juin 2005.
IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)
La métaphore dans lhypermédia : effets sur la navigation Etude empirique exploratoire.
Journées de Rencontre Jeune Chercheurs
Présentation du mémoire
Ecaterina Giacomini Pacurar
Projet d’Ingénierie du Logiciel - Prise en main du robot humanoïde NAO
COTRE COmposants Temps REel
Page 1 / Titre / Auteur / Date / Confidentiel D? LA DEMARCHE COLLEGES METIER.
Conception des Réalisé par : Nassim TIGUENITINE.
Couplage d'un langage de contrôle un système de formatage existant
Sensibilisation a la modelisation
Patrons de conceptions de créations
JEE 5 F.Pfister 2 institut eerie JEE – Une plateforme serveur  Développement et exécution d'applications réparties.
Soutenance finale 12 mars 2004 Présenté par : Alban HERMET
Partie A Système d ’information et organisation
ECOLE DES HAUTES ETUDES COMMERCIALES MARKETING FONDAMENTAL
ANALYSE METHODE & OUTILS
Application de gestion de candidatures
Traitement des demandes clients
Supports de formation au SQ Unifié
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
1 BEP métiers de l’électronique Déroulement de l’examen (Candidats scolarisés)
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Initiation à la conception des systèmes d'informations
PLAN 1. Introduction 1.1. Sites de presse actuels 1.2. Objectif de notre site 2. Description du modèle 3. Outils utilisés 3.1. SVG 3.2. PHP et MySQL 4.
Management de la qualité
L’enseignement de spécialité SLAM
PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03.
GÉNÉRATEUR DE DOCUMENTS 3D INTERACTIFS PDF U3D Projet de Bachelor | RICHARD Mathieu | 2009.
31/05/2007Projet Master 11 Présentation ludique de la recherche opérationnelle à la fête de la science Année universitaire 2006/2007 Sylvain FIX Julien.
Transcription de la présentation:

Projet OADymPPaC Réunion « debriefing » nov 2004 Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes 15 nov. 2000 --- 14 mai 2004 (40 mois) P.Deransart INRIA-Rocquencourt pierre.deransart@inria.fr http://contraintes.inria.fr

Réunion « debriefing » Résultats globaux Analyse sans complaisance des résultats par sous-projet Bilan global Bilan RNTL Suite ? Nota: signaler oublis!

Résultats globaux indiscutables Dissé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 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Résultats visibles indéniables, mais… Generic Trace Format gentra4cp on veut qu’il soit adopté mais en fait difficile à implanter: pourquoi? Réalisations publiques (logiciels) 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? Où devons nous aller?... Quelles éléments pour un autre projet? Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC Critique générale Tous les outils ne sont pas conformes ou sont incomplets: ex PAVOT n’accepte pas des extensions conformes de gentra4cp (pb de paramétrisation du traceur) CHIPC++ ne trace pas la propagation Manque d’un protocole de communication Faiblesse des paramétrages à tous les niveaux Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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 d’entré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 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 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 à d’autres domaines thèses de WL et SO: notions d’explications 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 d’infos par l’utilisateur. Traceurs « inachevés » et arrivés tardivement… Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Analyse des résultats: SP12 analyse de trace Thème unique entendu comme « méthode de sélection d’informations 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 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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

Analyse des résultats: SP21 (suite) Concepts de visualisation, modèles Théme sur lequel il n’y 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC Analyse des résultats: SP22 Langage générique d’entrée pour visualisation Thème unique entendu comme « trace générique » Là c’est situé l’essentiel de l’effort commun pour aboutir à gentra4cp (adoption de XML) mais L’analyse 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC Analyse des résultats: SP31 analyse de performance: propriétés d'arbres de choix Etudes théoriques: symétries et leur détection à l’aide d’outils de visualisation (on s’est 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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 d’explications et débogage mais validation expérimentale à faire Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Analyse des résultats: SP33 spécification de vues Définition de vues: vues originales de l’arbre 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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 d’interactions: CLPGUI: interaction ad-hoc (format d’échange propriétaire) PAVOT: pas d’interaction, récupération module analyse syntaxique de INFOVIS et des vues CLPGUI (+ vue nouvelle: « propagation tree »), flot d’entrée Gentra4cp CHIPDEBUGGER: module CNI avec flot montant Gentra4cp par packets et interactions. Flot descendant ad-hoc Véritable étude des interactions encore à faire Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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 d’une console), distribué gratuitement actuellement mais: difficile d’usage et paramétrage complexe INFOVIS: visualisation de graphes (C/V et C/C) et possibilité d’animation (analyse à partir de traces post-mortem) mais seulement 2 types de graphes et incomplet pour le paramétrage, autres outils inachevés (VISADJ) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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 d’objets sémantiques (generic dedicated objects) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Analyse des résultats: SP43 Veille et expérimentation État de l’art 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 d’un « repository » de traces (avec traceurs et outils) mais expérimentation encore laborieuse et très insuffisante! Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Bilan global 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 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Bilan global forme du projet 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC 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 Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC Suites du projet 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, objets et visualisation) Efficacité de la visualisation (ex: algorithmes de « clustering » de grosses matrices d’incidence) Killer application de l’analyse de trace (evaluation des outils) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

Réunion Débriefing - 17/11/2004 – Projet OADymPPaC Suites du projet 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, « generic dedicated objects »… 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) Réunion Débriefing - 17/11/2004 – Projet OADymPPaC

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

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