论文部分内容阅读
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
XYZ／E面向对象程序语义概述
【摘 要】
：
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语
【机 构】
：
中国科学院软件研究所计算机科学重点实验室
【出 处】
：
软件学报
【发表日期】
：
2003年3期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
其他文献
目的分析加替沙星联合头孢哌酮对老年重症肺炎的疗效。方法对于我院收治的62例老年重症肺炎患者进行随机平均分组，对照组（n=31）采用加替沙星治疗，观察组（n=31）在对照组基础上加用头
目的评估比较不同剂量右旋美托咪啶对七氟醚诱导小儿麻醉过程中呼吸功能的影响。方法在气管插管及自主通气后，给予分别给予剂量为0．5μg／kg或1．0tLg／kg的右旋美托咪啶，监测并记录给
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示