###
DOI:
Journal of Software:2010.21(2):261-276

基于服务组合的可信软件动态演化机制
曾晋,孙海龙,刘旭东,邓婷,怀进鹏
(北京航空航天大学 计算机学院,北京 100191)
Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition
ZENG Jin,SUN Hai-Long,LIU Xu-Dong,DENG Ting,HUAI Jin-Peng
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 7672   Download 8719
Received:June 15, 2009    Revised:September 11, 2009
> 中文摘要: 以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.
中文关键词: 可信软件  动态演化  组合服务  Web服务
Abstract:This paper is concerned with trustworthy software constructed through service composition and is especially emphasizes guaranteeing the trustworthiness of networked software through dynamic evolution of composite services. First of all, a set of evolution operations preserving soundness of composite services is proposed so as to avoid the complex verification process. Second, a composite service evolution method with availability guarantee is provided, the main idea of which is to create redundant execution path to improve the availability of a composite service. Third, to deal with runtime instances after dynamic composite service evolution, a live instance migration algorithm is designed to support the correct evolution enforcement. Finally, a composite service execution engine supporting dynamic evolution is developed and the effectiveness of the proposed method is showed through a set of experiments.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301, 2006AA01A106, 2009AA01Z419 (国家高技术研究发展计划(863)) Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301, 2006AA01A106, 2009AA01Z419 (国家高技术研究发展计划(863))
Foundation items:
Reference text:

曾晋,孙海龙,刘旭东,邓婷,怀进鹏.基于服务组合的可信软件动态演化机制.软件学报,2010,21(2):261-276

ZENG Jin,SUN Hai-Long,LIU Xu-Dong,DENG Ting,HUAI Jin-Peng.Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition.Journal of Software,2010,21(2):261-276