框架时序逻辑程序设计

定义框架时序逻辑的语法和语义，建立该逻辑系统的模型理论，公理系统；基于该逻辑系统，开发一个简洁、实用的、具有类似于C,C++ 和Java语言的程序设计风格的时序逻辑程序设计语言。该语言能支持结构化程序设计、部分面向对象和面向构件程序设计。研究该语言的操作语义和公理语义。开发该语言的一个解释器。研究该语言在并发、实时和混合系统中的应用。研究框架时序逻辑在非规范知识处理中的应用。. 该研究对提高软件系统的形式验证的自动化程度、提高软件的可靠性和安全性具有积极的促进作用。对并发、实时和混合系统的形式描述和验证、对非规范知识处理都是十分有用的。框架时序逻辑程序设计的研究是源头性的，具有十分重要的理论意义和广阔的应用前景。