论文部分内容阅读
对微软公司提出的COMgt件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则的相容性.在此基础之上对组件也给出了Z语言的定义,并对合法组件的性质作出了形式化分析.
COM接口的Z规范
【摘 要】
：
对微软公司提出的COMgt件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则的相容性.在此基础之上对组件也给出了Z语言
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2002年12期
其他文献
MOSIX是一个优秀的集群系统软件,它对Linux内核进行了扩充,采用自适应资源管理方法,通过抢占式进程迁移实现动态负载平衡.该文简要介绍了进程迁移及MOSIX系统,主要分析了MOSI
介绍了面向动态联盟与过程集成,基于对CORBA技术和工作流技术的分析,构建了一种基于CORBA的分布式工作流模型,为解决企业间的动态过程集成问题,提出了一种有意义的方法.
以往的理论的提出，虽然为研究解决具有动态模糊性的问题提供了一定的理论依据，但从整个动态模糊系统来看，这些还仅仅是一些初步工作，还有许多内容需要进一步研究，因此，文章基于动态