XYZ/E面向对象程序语义概述  

An Overview Towards the Semantics of XYZ/E Object-Oriented Programs

作　　者：郭亮[1] 唐稚松[1] 

机构地区：[1]中国科学院软件研究所计算机科学重点实验室,北京100080

出　　处：《软件学报》2003年第3期356-361,共6页Journal of Software

基　　金：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高科技发展计划)

摘　　要：XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.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.

关 键 词：XYZ/E 面向对象 程序语义 程序设计语言 时序逻辑语言 代理机构 语义一致性 

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