This is the homepage of kTBS, a development effort of the Tweak team (formerly Silex) lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.
Here are some information about kTBS:
Champin, Pierre-Antoine, Alain Mille, and Yannick Prié. 2013. “Vers des traces numériques comme objets informatiques de premier niveau : une approche par les traces modélisées.” Intellectica, no. 59(June):171–204. https://hal.archives-ouvertes.fr/hal-00924203
Cordier, Amélie, Marie Lefevre, Pierre-Antoine Champin, Olivier Georgeon, and Alain Mille. 2013. “Trace-Based Reasoning — Modeling Interaction Traces for Reasoning on Experiences.” In The 26th International FLAIRS Conference. https://hal.archives-ouvertes.fr/hal-00830444
For more information on Trace-Based Systems, see the publications of the SILEX and TWEAK teams.