Section: New Results
Trace Development Methodology
Participants : Pierre Deransart, Rafaël Oliveira.
We worked on a general theory of trace design based on the observation of the way trace files are accumulated as knowledge bases and elaborated in differents fields of activity like software engeneering, rule based systems and resolution, learning in context, or personal experience storing systems. The state of this work is regularly updated on  .
One of the important aspect of this research is to give a proper semantics to a trace, called “observational semantics” (OS). We followed two ways: the use of the simple fluent calculus as formalism for the OS, and the software component modeling approach to combine traces of components  . This approach is presently used to specify and implement a versatile trace r of CHRv with several extensions, in the framework called CHROME-REF  . It includes three main component s: CHROME (input process), a Trace Driver (intermediator and trace query processor) and a Trace Analyzer (front-end). It is a useful experimental environment to contribute to elaborate a generic framework to generate explanatory traces for constraint solving and rule-based reasoning systems, as presented in  .