Conception de traces et applications (vers une méta-théorie des traces).

Pierre Deransart 1
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
Résumé : Ce document est une synthèse en évolution constante de quelques travaux et réflexions conduits après 2004 (la fin du projet OADymPPaC) et concernant une méthodologie de constructions de traces. Par "trace" nous entendons toute suite discrète non bornée d'événements constitués chacun d'un ensemble d'attributs et susceptibles de rendre compte en partie du comportement d'un système ou phénomène observé. Ce que nous voulons étudier ici est le processus par lequel une trace est finalement conçue. Le développement de traces pour un processus ou une famille de processus repose sur un cycle d'observations et d'analyses qui conduit progressivement à identifier les concepts éventuellement mesurables et utiles à une analyse. Cette analyse permettra éventuellement elle-même de trouver de nouveaux concepts utiles à la compréhension du phénomène observé, qui, à leur tour, pourront amener à introduire de nouveaux concepts mesurables et de nouveaux attributs dans la trace. L'identification des concepts est liée à une activité de modélisation et d'abstraction, et leur transcription dans une trace relève de la recherche de leur représentation sous une forme aisément transmissible, mais aussi utilisable pour les analyses. Ce que nous attendons d'une telle étude, outre bien sûr une meilleure compréhension de la manière dont sont construites les traces, c'est une méthode rigoureuse de développement de traces susceptible de s'appuyer sur des outils. Un résultat intéressant, par exemple, peut -être un langage de prototypage de trace indépendant des processus observés. Au stade où en est cette étude l'auteur n'a pu conduire que des expérimentations dans le domaine des solveurs de contraintes. L'observation par des traces du comportement parfois inattendu d'un solveur, où chaque contrainte peut-être vue comme un agent agissant sur un domaine, a mis en évidence l'intérêt potentiel d'une approche méthodologique. On a pu montrer en particulier comment il était possible d'améliorer la réalisation de traceurs grâce à cette approche tant au plan de la conception que de l'implantation. De manière générale on retrouve le concept de trace dans de nombreux champs d'études allant du génie logiciel aux traces mémorielles dans le système nerveux, en passant par l'apprentissage en environnement médié.
Type de document :
Autre publication
Méta Théorie des traces et applications Manuscrit. Etat au 5/2/2010 Il s'agit de la première vers.. 2009
Liste complète des métadonnées

Littérature citée [115 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00443648
Contributeur : Pierre Deransart <>
Soumis le : mercredi 24 mars 2010 - 22:37:27
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : mercredi 30 novembre 2016 - 16:22:31

Fichier

TraceMetaTheorie-fev10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00443648, version 2

Collections

Citation

Pierre Deransart. Conception de traces et applications (vers une méta-théorie des traces).. Méta Théorie des traces et applications Manuscrit. Etat au 5/2/2010 Il s'agit de la première vers.. 2009. 〈inria-00443648v2〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

216