next up previous

Final Report of the COST-247 Action

A Timed Full LOTOS with Time/Action Tree Semantics

Tommaso Bolognesi

36, via S. Maria
I-56100 Pisa
Tel: 39 50 593319
Fax: 39 50 589354


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.

This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page