%0 Journal Article
%T An Overview Towards the Semantics of XYZ/E Object-Oriented Programs<br>XYZ/E面向对象程序语义概述
%A GUO Liang
%A TANG Zhi-Song
%A <br>郭亮
%A 唐稚松
%J 软件学报
%D 2003
%I 
%X 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.
%K temporal logical language XYZ/E
%K object-oriented program
%K agent
%K semantic consistency
%K refinement<br>时序逻辑语言XYZ/E
%K 面向对象程序
%K 代理机构
%K 语义一致性
%K 精化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=761299A512E7E95B&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=38B194292C032A66&sid=35E8A259891FB32F&eid=3E3EF0DB5E6F2DA9&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=7