An Overview Towards the Semantics of XYZ/E Object-Oriented Programs
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.