Extended Interval Temporal Logic and A Framing Technique for Temporal LogicProgramming

摘要

Temporal logic programming is a paradigm for specification and verification ofconcurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation. However, there are many aspects of programming in temporal logics that are not well understood. One such aspect is concurrent programming, another is framing and the third is synchronous communication for parallel processes. This thesis extends the original Interval Temporal Logic (ITL) to include infinite models, past operators, and a new projection operator for dealing with concurrent computation, synchronous communication, and framing in the context of temporal logic programming. (Copyright (c) 1996 University of Newcastle upon Tyne.)