Conception de traces, et applications, vers une méta-théorie des traces (Towards a Meta-Thoery of traces)

Pierre Deransart 1
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
Abstract : By "trace" we mean any sequence of discrete events, each consisting of a set of attributes that may reflect in part the behavior of a system or observed phenomenon. What we want to study here is the process by which a trace (and its tracer) is finally designed. Traces development of a process or a family of processes is based on a serie of observations and analysis that led gradually to identify any measurable concepts and useful analysis. This analysis will eventually itself help to find new concepts for understanding the phenomenon, which, in turn, may lead to the introduction of new concepts and new measurable attributes in the trace. The identification of concepts is related to an activity of modeling and abstracting, and their transcription in a trace is seeking a representation in an easily transmissible form, also usable for analysis. What we expect from such a study, in addition, of course, of a better understanding of how the traces are built, is a rigorous methodology for developing traces based on reliable tools. An interesting result, for example, could be a domain independent prototyping language for generic trace construction. At this stage, only experimentations in the field of constraints solvers have been realized. The observation of traces showing unexpected behavior of solvers, where each constraint can be seen as an agent acting on a domain, has highlighted the potential of such a methodological approach. It was shown in particular how it was possible to improve the development of tracers using this approach for design as for implementation aspects as well. The concept of trace is used in many fields of studies, ranging from software engineering to neuronal trace, through mediated learning environment. One of the goal of this study is to facilitate, by a systematized approach of traces, a possible cross-fertilization between fields as diverse as software engineering, data analysis, education, medicine and philosophy.
Complete list of metadatas

Cited literature [85 references]  Display  Hide  Download

https://hal.inria.fr/inria-00370211
Contributor : Pierre Deransart <>
Submitted on : Monday, March 23, 2009 - 7:49:47 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Thursday, June 30, 2011 - 11:12:38 AM

File

DT-MThTraces0903.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00370211, version 1

Collections

Citation

Pierre Deransart. Conception de traces, et applications, vers une méta-théorie des traces (Towards a Meta-Thoery of traces). 2009. ⟨inria-00370211⟩

Share

Metrics

Record views

192

Files downloads

147