%0 Journal Article
%T Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition<br>基于服务组合的可信软件动态演化机制
%A ZENG Jin
%A SUN Hai-Long
%A LIU Xu-Dong
%A DENG Ting
%A HUAI Jin-Peng
%A <br>曾晋
%A 孙海龙
%A 刘旭东
%A 邓婷
%A 怀进鹏
%J 软件学报
%D 2010
%I 
%X 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.
%K trustworthy software
%K dynamic evolution
%K composite service
%K Web service<br>可信软件
%K 动态演化
%K 组合服务
%K Web服务
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B5B2D58E5D29ED2BCA96C6D761B14A79&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=4D7D059FFBF006B9&eid=44A4891E33BFF455&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=23