论文部分内容阅读
对微软公司提出的COMgt件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则的相容性.在此基础之上对组件也给出了Z语言的定义,并对合法组件的性质作出了形式化分析.
COM接口的Z规范
【摘 要】
：
对微软公司提出的COMgt件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则的相容性.在此基础之上对组件也给出了Z语言
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2002年12期
其他文献
借鉴生物在生态环境中的共生策略；提出了一种多模式共生进化算法，该算法主要体现了生物面对生态压力可采用不同策略协同的思想，反映了生物在生态环境中进化的多样性和多层次性，该
MOSIX是一个优秀的集群系统软件,它对Linux内核进行了扩充,采用自适应资源管理方法,通过抢占式进程迁移实现动态负载平衡.该文简要介绍了进程迁移及MOSIX系统,主要分析了MOSI
介绍了面向动态联盟与过程集成,基于对CORBA技术和工作流技术的分析,构建了一种基于CORBA的分布式工作流模型,为解决企业间的动态过程集成问题,提出了一种有意义的方法.
<正> 中心柱和装载机导轨是我们为某厂制造的两个零件,中心柱长2450mm,外径φ300h6,外圆表面粗糙度R_a 0.8,材料为Q235;装载机导轨长3510mm,宽220mm,表面粗糙度R_a1.6,材料55
载体形式从古至今在不断发展，本文通过论述信息载体形式发展的两次飞跃过程，指出第二次飞跃是质的飞跃。在载体形式发展过程中，纸质载体将与新型载体长期共存，但新型载体将以其巨
<正> 图1所示为键槽工件。键槽的对称度属于面对线的对称度。根据GB1183—80,键槽中心平面必须位于距离为公差0.1mm的两平行平面之间。该两平行平面对称配置在通过基准轴线的
以往的理论的提出，虽然为研究解决具有动态模糊性的问题提供了一定的理论依据，但从整个动态模糊系统来看，这些还仅仅是一些初步工作，还有许多内容需要进一步研究，因此，文章基于动态
<正> 我厂生产的汽车用气管,如图1所示,该工件为φ5mm×0.7mm卷焊管,材料为10F。因管子截面积小,材质较软,弯曲变形抗力较小,故在批量及试制生产中多采用。图2所示的手动
在关注商业秘密引进过程中存在若干问题的同时,分析了该过程中的信息不对称现象及产生原因,并从信息对策论的角度提出了解决问题的方案。