Expression of temporal constraints: a syntactic way

摘要

The works presented are founded on (Delfieu, 1995). They are based upon the principle that a temporal constraint is defined like a set of temporised traces. A temporised trace is a sequence of events where time is introduced by the occurrence of a special event. Those traces have common syntactic characteristic. The interest of the formalisation of these characteristics is to establish syntactic properties on the full set of traces.