| 摘要: |
| XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理. |
| 关键词: 时序逻辑语言XYZ/E 面向对象程序 代理机构 语义一致性 精化 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073020 (国家自然科学基金); the National High Technology Development 863 Program of China under Grant No.863-306-ZT02-04-01 (国家863高科技发展计划) |
|
| An Overview Towards the Semantics of XYZ/E Object-Oriented Programs |
|
GUO Liang,TANG Zhi-Song
|
| Abstract: |
| The element acted as object in XYZ/E object-oriented program is agent, a module consists of a data package and a process. In this paper, the semantics of XYZ/E object-oriented programs are defined, including their language elements, under the framework of temporal logic. And several theories for proving the semantics consistency between these elements are also provided. |
| Key words: temporal logical language XYZ/E object-oriented program agent semantic consistency refinement |
