From OADymPPaC to Trace Construction Methodology

This study aims at developing a methodological framework for generic traces, as it was developed empirically in the OADymPPaC project, in order to appreciate its scope and allow further developments.
We can already expect, from a deepening of a formalizing approach of tracers and their traces, a better understanding of the works done within the OADymPPaC project, especially those that have been published in \cite{langevine-et-al-03} in 2003 and \cite{ercimlnai} in 2004. We will then be in better position to assess the strength of the generic trace concept,  central idea in theOADymPPaC  project. But we can expect much more.

Indeed this project was focused on fast and immediate construction (the project lasted 3 years) of a trace known as ``generic'', and was intended to allow a fast development sophisticated analyzers of various constraints solvers, while carrying out its progressive development. As a consequence of this approach the notion of genericity itself could not be studied properly. In particular the exact nature of genericity, its links with the semantics of a particular solver, the practical notion of sub-trace, its intermitent aspects (except in some precise cases of interruption and recovery), the presence or not in the actual trace of the concepts that one wants to analyze, the construction of a generic trace starting from components themselves equiped with their own tracer, all these aspects could not be properly appreciated and studied. It is that which we study. Moreover, at the stage of the OADymPPaC project, it has not been possible to establish very precise bounds with other practical and theoretical fields (different from the dynamic debugging), where the traces are studied as objects to be handled or analyzed (data mining, data flow analysis, events/actions systems, languages of trace, ...).



Chip User´s Club Nov. 2008  ¨Following the Traces of OADymPPaC¨  .ppt (en, 7,3 Mo)  .ppt (fr, 5,4 Mo) 

Some presentations:
WLPE´07  .ppt (en, 4 Mo)
Rewerse I3 meeting jan 07  .ppt (en, 2 Mo)

Poster ARCO´07, Nancy   .psd (fr, 11 Mo)