文献类型：期刊文章

作　　者：王小兵[1,2] 段振华[1]

机构地区：[1]西安电子科技大学计算理论与技术研究所,西安710071 [2]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《电子科技大学学报》

基　　金：国家自然科学基金重点项目(60433010);国家自然科学基金面上项目(60873018)

年　　份：2009

卷　　号：38

期　　号：1

起止页码：97-101

语　　种：中文

收录情况：BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

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

分 类 号：TP311]