基于服务组合的可信软件动态演化机制.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.2, February 2010, pp.261−276 doi: 10.3724/SP.J.1001.2010.03735 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 基于服务组合的可信软件动态演化机制 + 曾 晋 , 孙海龙, 刘旭东, 邓 婷, 怀进鹏 (北京航空航天大学 计算机学院,北京 100191) Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition + ZENG Jin , SUN Hai-Long, LIU Xu-Dong, DENG Ting, HUAI Jin-Peng (School of Computer Science and Engineering, BeiHang University, Beijing 100191, China) + Corresponding author: E-mail: zengjin@ Zeng J, Sun HL, Liu XD, Deng T, Huai JP. Dynamic evolution mechanism for trustworthy software based on service composition. Journal of Software, 2010,21(2):261−276. /1000-9825/3735.htm 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 executio