Microsoft组件对象模型的形式化描述  

Formal Description of Microsoft's Component Object Model

作　　者：余川江[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《上海大学学报（自然科学版）》1999年第S1期142-148,共7页Journal of Shanghai University:Natural Science Edition

基　　金：国家自然科学基金自助项目(69773038)

摘　　要：基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.Component_Based Development is an ideal software development method, it intergrates independent components into application according to component standard. Today, Microsoft's Component Object Model(COM) is a most fluent industrial component protocol, which is a criterion about how to develope components and how to build apllications from component. The COM specification published in 1995 defines some rules about building and using components, but this specification is unformed, so it is short of rigour and easy to be understood. This paper discusses the formal specification of COM, the specification pays attention to the essence of component, omits some detail of COM. The specification language Z is used in this paper.

关 键 词：组件 COM 形式化 Z规格说明 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]