| 面向对象的时序逻辑语言 |
| |
| 引用本文： | 王小兵,段振华.面向对象的时序逻辑语言[J].电子科技大学学报（自然科学版）,2009,38(1):97-101. |
| |
| 作者姓名： | 王小兵 段振华 |
| |
| 作者单位： | 1.西安电子科技大学计算理论与技术研究所 西安 710071; |
| |
| 基金项目： | 国家自然科学基金重点项目，国家自然科学基金面上项目 |
| |
| 摘 要： | 针对时序逻辑语言缺少面向对象概念的现状，对投影时序逻辑进行了扩展，介绍了新的语法和语义。在扩展投影时序逻辑中，基于变量集合的层次化和谓词的分组，给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++，它能够用于面向对象的程序设计，可以模拟组合Web服务的执行。所给出的实例表明，该语言与Framed Tempura相比，能有效地重用代码，提高了代码的可读性和可维护性。
|
| 关 键 词： | 形式语言 时序逻辑 面向对象程序设计 组合Web服务 |
| 收稿时间： | 2008-10-09 |
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,2009,38(1):97-101. |
| |
| Authors: | WANG Xiao-bing DUAN Zhen-hua |
| |
| Affiliation: | 1.Institute of Computing Theory & Technology,Xidian University Xi’an 710071;2.State Kay Laboratory of Software Engineering,Wuhan University Wuhan 430072 |
| |
| 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 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. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子科技大学学报（自然科学版）》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报（自然科学版）》下载全文 |
