DocumentCode
3312213
Title
Embedding a timing system in TLC
Author
Liu, Chuchang ; Orgun, Mehmet A.
Author_Institution
Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
fYear
1998
fDate
16-17 May 1998
Firstpage
105
Lastpage
112
Abstract
This paper introduces the notion of timing systems, which can be used to represent multiple granularities of time in a natural and intuitive manner. A timing system consists of a number of clocks, including a global clock, which are usually specified by temporal logic programs. We propose an approach to embed such a timing system in TLC (Temporal Logic with Clocks), such that this logic can effectively be used for specifying and reasoning about the behavior of those systems, where granularity of time is needed
Keywords
clocks; formal specification; logic programming; programming theory; temporal logic; temporal reasoning; timing; TLC; Temporal Logic with Clocks; embedded timing system; global clock; multiple time granularities; reasoning; system behaviour specification; temporal logic programs; Algebra; Clocks; Data conversion; Database systems; History; Interpolation; Knowledge based systems; Logic; Real time systems; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 1998. Proceedings. Fifth International Workshop on
Conference_Location
Sanibel Island, FL
Print_ISBN
0-8186-8473-9
Type
conf
DOI
10.1109/TIME.1998.674139
Filename
674139
Link To Document