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é.
Document type :
Other publications
Complete list of metadatas

Cited literature [115 references]  Display  Hide  Download

https://hal.inria.fr/inria-00443648
Contributor : Pierre Deransart <>
Submitted on : Wednesday, March 24, 2010 - 10:37:27 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Wednesday, November 30, 2016 - 4:22:31 PM

File

TraceMetaTheorie-fev10.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00443648, version 2

Collections

Citation

Pierre Deransart. Conception de traces et applications (vers une méta-théorie des traces).. 2009. ⟨inria-00443648v2⟩

Share

Metrics

Record views

234

Files downloads

238