| 题名 | 分布事件通知服务的关键技术及其应用研究 |
| 作者 | 汪洋 |
| 学位类别 | 博士 |
| 答辩日期 | 2004 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 发布／订阅系统 事件通知服务 事件过滤 复合事件检测 软件体系结构 |
| 其他题名 | Research on Key Technologies and Application of Distributed Event Notification Services |
| 学位专业 | 计算机软件与理论 |
| 中文摘要 | Internet的广泛应用使得传统的基于请求／应答的点对点的同步通信不能满足大规模的动态分布式应用环境。基于事件通信的发布／订阅（Publish/Subscribe）模型是支持大规模分布式系统的有效通信方式。该模型支持发布者和订阅者在时间、空间和同步方面的非祸合以及多对多的通信模式，从而满足大规模分布事件通知服务的基本要求。论文在分析和总结分布式事件系统的原理、应用和关键技术的基础上，对基于内容的事件过滤技术、复合事件检测技术和动态可重配的分布事件通知服务的体系结构等方面进行了重点研究。首先，基于BDD（Binary Decision Diogram）模型，对基于内容的事件过滤方法进行了系统研究，利用BDD方法提出了一个事件过滤算法，对该算法进行了模拟试验，分析并比较了它与基于谓词索引、基于测试网络等方法在时间、空间和 易维护性方面的优劣。复合事件检测技术的运用使得基于事件通信机制的应用系统可以支持复合事件模式的表示，极大地扩展了系统的事件处理能力和灵活性。论文在大规模事件通知服务的通用框架基础上，分别从事件系统的事件模型、时间模型和观察模型探讨了复合事件的检测技术，在传统的有穷状态自动机基础上扩充了时间模型、参数化机制和并发模型，提出了一种基于自动机的有效复合事件检测方法，并将该方法与各种主流方法进行了对比分析。基于以上核心技术的研究，论文中还研究了分布事件通知服务的体系结构，设计了一个动态可重配的分布事件通知服务。该体系结构允许增加事件处理功能，包括事件过滤和复合事件检测等，同时允许引入非功能方面的处理，包括安全控制交互和移动操作。利用软件体系结构的思想，基于事件通知服务中间件和模型检查技术，对分布式控制系统进行了形式化分析与设计。设计了分布式控制系统体系结构的形式化描述语言ADL／Promela，并将ADL／Promela体系结构模型映射成模型检查工具SPIN可以分析的形式化模型，运用模型检查技术对分布式控制系统进行分析和检查，以提高分布式控制系统的设计与开发质量。在理论和技术研究的基础上，论文以基于分布事件通知服务成功开发的智能化楼宇集成管理系统为例，展示了分布事件通知服务的应用价值。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 112 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6042]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 汪洋. 分布事件通知服务的关键技术及其应用研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2004. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论