汪洋
- 作品数：8 被引量：39H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术经济管理更多>>
- 基于事件的发布-订阅系统模型被引量：16
- 2006年
- Internet 的广泛应用已经改变了分布式系统的规模,使得传统的基于请求/应答的点对点的同步通信已不能很好地满足大规模的动态分布式应用环境。为了加强大规模的分布式环境中实体之间的通信协作,系统要求更加灵活的通信模型,以反映应用的动态和非耦合特性。基于事件通信的中间件是建立大规模分布式系统的有效方式,发布者/订阅者(Publisher/Subscriber)是目前广泛使用的基于事件的通信模型,支持发布者和订阅者之间在时间、空间和同步方面的非耦合以及多对多的通信模式,提供大规模系统所要求的交互间的松散耦合。本文详细阐述了事件系统的组成以及基于事件系统的 PUB/SUB 模型,提出了基于 PUB/SUB 的事件系统中间件的核心及实现的关键,这些中间件为大规模的分布式应用提供更多和更有力的保障。
- 汪洋谢江王振宇
- 关键词：分布式系统系统模型INTERNET同步通信应用环境
- 可扩展和可配置事件通知服务体系结构被引量：12
- 2006年
- 基于发布/订阅模式的事件通知服务,作为基本的通信与集成基础设施已广泛应用于分布式应用系统.由于日益增长的应用需求,事件通知服务需要应对各种来自不同应用领域的新需求.但在开发基于事件中间件的分布式应用时,开发者面临特殊化与通用化通知服务的两难选择.针对这种现状,提出了一种灵活的解决方法,设计一个动态可扩展和可配置的事件通知服务体系结构,允许针对不同应用领域定制不同的通知服务.该体系结构基于XML的可扩展订阅、事件、协议和配置语言,以配置管理和元服务管理的机制,提供了通知服务功能的动态扩展和定制以及非功能性特征的满足.
- 汪洋魏峻王振宇
- 关键词：事件通知服务
- 分布事件通知服务的关键技术及其应用研究
- Internet的广泛应用使得传统的基于请求/应答的点对点的同步通信不能满足大规模的动态分布式应用环境.基于事件通信的发布/订阅(Publish/Subscribe)模型是支持大规模分布式系统的有效通信方式.该模型支持发...
- 汪洋
- 关键词：事件通知服务复合事件检测软件体系结构
- 文献传递
- 基于体系结构模型检查分布式控制系统被引量：5
- 2004年
- 分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务关键的系统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.
- 汪洋魏峻魏峻
- 关键词：软件体系结构分布式控制系统
- PERTS——一个实时系统的原型建造环境的设计与实现
- 1995年
- 本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。
- 汪洋王振宇
- 关键词：实时系统
- PERTS──一个实时软件原型建造环境的设计与实现
- 1996年
- 本文结合军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上，设计了一种实时软件原型描述语言RTSPDL。该语言形式化地表示了事件—动作模型，突出了对实时需求的优先级及异常机制的描述，实现了一个实时软件的原型建造环境PERTS。该环境包括一组原型建造工具和原型的仿真环境，支持软件重用的开发方法。
- 汪洋王振宇刘式
- 关键词：实时系统软件开发
- 玩具（小傲）
- 1.本外观设计产品的名称：玩具（小傲）。;2.本外观设计产品的用途：用于作为玩具。;3.本外观设计产品的设计要点：在于形状。;4.最能表明设计要点的图片或照片：主视图。
- 王建民汪洋武延军
- 软件体系结构讲座 (六)形式化模型和规格说明被引量：3
- 1999年
- 本讲讨论软件体系结构的形式化模型和规格说明,即软件体系结构的形式化基础。
- 王振宇梁先忠汪洋
- 关键词：体系结构
