Article (Scientific journals)
A formal definition of time in LOTOS (Full version)
Léonard, Luc; Leduc, Guy
1998In Formal Aspects of Computing, 10E, p. 28-96
Peer Reviewed verified by ORBi
 

Files


Full Text
RUN-PP98-05.pdf
Publisher postprint (491.38 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
operational semantics; real time; negative premises
Abstract :
[en] Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data types, it supports both a dense and a discrete time domain and can manipulate time values as any other data values. A tutorial on ET-LOTOS, showing many application examples, has already been published elsewhere. The present paper adds to it by providing an in-depth presentation of its theoretical aspects. The complete semantics is given and explained, and its properties are studied. In particular, we prove that the semantics is consistent and that strong bisimulation is a congruence. This requires to deal carefully with the presence of negative premises in the operational semantics, which are necessary to express urgency. ET-LOTOS is also shown to be a conservative extension of LOTOS for guarded processes, and is the basis of the timed extension of LOTOS currently developed by ISO. To our knowledge, this is the first in-depth study of a language that combines data types and real-time behaviours.
Disciplines :
Computer science
Author, co-author :
Léonard, Luc
Leduc, Guy ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
A formal definition of time in LOTOS (Full version)
Publication date :
1998
Journal title :
Formal Aspects of Computing
ISSN :
0934-5043
eISSN :
1433-299X
Publisher :
British Computer Science Society (BCS)
Volume :
10E
Pages :
28-96
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 26 December 2009

Statistics


Number of views
60 (3 by ULiège)
Number of downloads
112 (1 by ULiège)

Bibliography


Similar publications



Contact ORBi