| 面向对象的时序逻辑语言 |
| |
| 引用本文： | 王小兵,段振华.面向对象的时序逻辑语言[J].电子科技大学学报(社会科学版),2009(1). |
| |
| 作者姓名： | 王小兵 段振华 |
| |
| 作者单位： | 西安电子科技大学计算理论与技术研究所;武汉大学软件工程国家重点实验室; |
| |
| 基金项目： | 国家自然科学基金重点项目(60433010);;国家自然科学基金面上项目(60873018) |
| |
| 摘 要： | 针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言FramedTempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与FramedTempura相比,能有效地重用代码,提高了代码的可读性和可维护性。
|
| 关 键 词： | 形式语言 时序逻辑 面向对象程序设计 组合Web服务 |
Object-Oriented Temporal Logic Language |
| |
| WANG Xiao-bing , DUAN Zhen-hua.Object-Oriented Temporal Logic Language[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2009(1). |
| |
| Authors: | WANG Xiao-bing DUAN Zhen-hua |
| |
| Abstract: | 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 ... |
| |
| Keywords: | formal languages temporal logic object oriented programming composite web services |
| 本文献已被 CNKI 等数据库收录！ |
|
