余川江
- 作品数:2 被引量:0H指数:0
- 供职机构:哈尔滨工业大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 网格中基于MapReduce应用的可视化系统的设计与实现
- 随着网格计算在高性能计算领域中变得越来越重要,网格应用也开始蓬勃发展。在Google提出并大力推广MapReduce计算架构的时机,在网格环境中部署MapReduce应用可以提高网格的适用性。而随着技术的普及,网格产品开...
- 余川江
- 关键词:网格计算网格应用可视化系统AJAX技术
- 文献传递
- Microsoft组件对象模型的形式化描述
- 1999年
- 基于组件的软件开发(CBD)是一种较为理想的软件开发方法,它根据组件标准,将独立开发的软件组件组合成应用.组件对象模型(COM)是目前最为流行的实现级组件软件协议,它是Microsoft关于如何建立组件和如何根据组件构造应用的一个规范,1995年公布的COM规格说明详细地定义了建立和使用COM组件应遵循的规则.然而该规格说明是非形式化的,这使得它缺乏逻辑的严密性,容易引起歧义.本文根据COM规格说明定义的规则,为其建立一个形式化的组件模型,模型反映了COM组件的本质,但省略了一些具体细节. 模型采用规格说明语言Z进行描述.
- 余川江缪淮扣
- 关键词:组件COM形式化Z规格说明