Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

A Trace-Based Systems Framework : Models, Languages and Semantics

Abstract : This paper presents a general way to represent and manage computer based activity traces, which allow human and computational agents to parse, process and assist users in their complex and dynamic activities. To succeed, such a system has to provide mechanisms to declare, evolve and improve the sufficient knowledge to observe, interpret and reason about its observations of this environment. We propose unambiguous language capable of expressing this knowledge, together with some precise and well understood way of manipulating sets of observations which allow to draw inferences, answer queries, make interpretations and update both the knowledge base and the desired system behaviour. We consider traces of user computer interaction as system's knowledge of user activities and experiences. As a knowledge-based system (KBS) exploits an explicit representation of different kinds of knowledge, we describe Trace-Based System (TBS) as a kind of KBS whose main source of knowledge is the set of trace subsuming user-system interactions and evolving with his/her activities. The paper presents the general architecture of the TBS framework. We propose a formal representation of the concept of modelled traces and the associated languages supporting reasoning about them and their interpretation. Firstly, we focus on formalization of trace model and M-Trace in offline exploitation. Then, we specify a language to describe M-Traces based patterns, queries, and transformations. We extend this formalisation to online exploitation. Finally, we describe a TBS implementation in datalog and we discuss our proposition and future works.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : Alain Mille Connect in order to contact the contributor
Submitted on : Friday, May 29, 2009 - 6:47:12 PM
Last modification on : Friday, September 30, 2022 - 11:34:15 AM
Long-term archiving on: : Saturday, November 26, 2016 - 10:11:21 AM


Files produced by the author(s)


  • HAL Id : inria-00363260, version 2


Lotfi Sofiane Settouti, Yannick Prié, Pierre-Antoine Champin, Jean-Charles Marty, Alain Mille. A Trace-Based Systems Framework : Models, Languages and Semantics. {date}. ⟨inria-00363260v2⟩



Record views


Files downloads