面向对象的时序逻辑语言

• 作者: 段振华 王小兵
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 形式语言 时序逻辑 面向对象程序设计 组合Web服务
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 97-101,107
• 页数: 6页
• 分类号: TP311
• 字数: 5193字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2009.01.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小兵	西安电子科技大学计算理论与技术研究所	60	484	12.0	18.0
3	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0