A Real Time Interpretation Model

The monitoring of a real time process generally implies a reasoning on temporal events where time, duration, order, long term dependancies etc… have to be modelled.[4] Monitoring a process does not only mean to reason on what has been collected in a facts database, but also to follow dynamically what is happening through a set of axioms. Indeed it should be possible to describe what is in action, as well as what could possibly occur in the future resulting from these actions.