Title :
Embedding a timing system in TLC
Author :
Liu, Chuchang ; Orgun, Mehmet A.
Author_Institution :
Dept. of Comput., Macquarie Univ., North Ryde, NSW, Australia
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;
Conference_Titel :
Temporal Representation and Reasoning, 1998. Proceedings. Fifth International Workshop on
Conference_Location :
Sanibel Island, FL
Print_ISBN :
0-8186-8473-9
DOI :
10.1109/TIME.1998.674139
