软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2003年
3期
356-361
,共6页
时序逻辑语言XYZ/E%面向对象程序%代理机构%语义一致性%精化
時序邏輯語言XYZ/E%麵嚮對象程序%代理機構%語義一緻性%精化
시서라집어언XYZ/E%면향대상정서%대리궤구%어의일치성%정화
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
XYZ/E麵嚮對象程序中錶示對象概唸的語言成分是代理機構:一種由一箇數據包塊和與之匹配的進程所組成的模塊.在時序邏輯框架下給齣瞭麵嚮對象程序及其包含的各種語言成分的語義,併提供瞭幾箇用于證明這些語言成分之間的語義一緻性的定理.
XYZ/E면향대상정서중표시대상개념적어언성분시대리궤구:일충유일개수거포괴화여지필배적진정소조성적모괴.재시서라집광가하급출료면향대상정서급기포함적각충어언성분적어의,병제공료궤개용우증명저사어언성분지간적어의일치성적정리.