Abstract:

Starting from the current Full LOTOS standard, which integrates two components dealing, respectively, with process behaviours and data, we address the problem of designing a minimal extension of the language offering a satisfactory integration of a third component: the time dimension. We present here a Timed Full LOTOS which achieves this goal by simply adding (two variants of) a powerful time-related operator to the current standard. An operational semantics is provided, consisting of two sets of inference rules, one for instantaneous action transitions and the other for time passing transitions. With respect to the original Full LOTOS operators, the rules in the first set are precisely those found in the standard, while the rules in the second set are trivial, and derive from an assumption of time determinism and globality. The complexity of the timed extension is thus confined into the inference rules of the new time-related operators.