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.
Type de document :
Pré-publication, Document de travail
temporary manuscript for collaborative work. 2009
Liste complète des métadonnées

Littérature citée [85 références]  Voir  Masquer  Télécharger
Contributeur : Pierre Deransart <>
Soumis le : lundi 23 mars 2009 - 19:49:47
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : jeudi 30 juin 2011 - 11:12:38


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00370211, version 1



Pierre Deransart. Conception de traces, et applications, vers une méta-théorie des traces (Towards a Meta-Thoery of traces). temporary manuscript for collaborative work. 2009. 〈inria-00370211〉



Consultations de la notice


Téléchargements de fichiers