| 基于服务组合的可信软件动态演化机制 |
| |
| 作者姓名： | 曾晋 孙海龙 刘旭东 邓婷 怀进鹏 |
| |
| 作者单位： | 北京航空航天大学,计算机学院,北京,100191 |
| |
| 基金项目： | Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301, 2006AA01A106, 2009AA01Z419 (国家高技术研究发展计划(863)) |
| |
| 摘 要： | 以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.
|
| 关 键 词： | 可信软件 动态演化 组合服务 Web服务 |
| 收稿时间： | 2009-06-15 |
| 修稿时间： | 2009-09-11 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
