面向对象的时序逻辑语言

摘要：

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义.在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义.扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行.所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性.

关键词：形式语言、时序逻辑、面向对象程序设计、组合Web服务

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目60433010:国家自然科学基金面上项目60873018

在线出版日期：2009-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：97-101,107