面向对象的时序逻辑语言  

Object-Oriented Temporal Logic Language

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

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

出　　处：《电子科技大学学报》2009年第1期97-101,107,共6页Journal of University of Electronic Science and Technology of China

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

摘　　要：针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言FramedTempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与FramedTempura相比,能有效地重用代码,提高了代码的可读性和可维护性。According to the status of temporal logic languages without object-oriented concepts, projection temporal logic is extended, and then the new syntax and semantics are introduced. In the extended projection temporal logic, formal definitions of objects, classes, and inheritances are given based on the hierarchical variable sets and grouping predicates. An object-oriented temporal logic language framed tempura＋＋, is defined as an executable subset of extended projection temporal logic, and it can be used for object-oriented programming and simulating the execution of composite web services. The illustrated example shows that the language can reuse code efficiently and improve code readability and maintainability in compare with Framed Tempura.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]