基于可生存性规范软件构件系统恢复建模和推理.PDFVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.18, No.12, December 2007, pp.3031−3047 DOI: 10.1360/jos183031 Tel/Fax: +86-10 © 2007 by Journal of Software . All rights reserved. ∗ 基于可生存性规范的软件构件系统恢复的建模与推理 卢 暾+ (复旦大学 计算机与信息技术系,上海 200433) Modeling and Reasoning of the Software Component Based System Recovery Based on Survivability Specification LU Tun (School of Computing and Information Technology, Fudan University, Shanghai 200433, China) + Corresponding author: Phn: +86-21 Fax: +86-21 E-mail: lutun@ Lu T. Modeling and reasoning of the software component based system recovery based on survivability specification. Journal of Software, 2007,18(12):3031−3047. /1000-9825/18/3031.htm Abstract : The component-based system will provide a predefined survivability specification which consists of corresponding degraded services in the presence of various kinds of malicious attacks, system failures or accidents. The main contributions of this paper are (1) presenting the method to represent service core based on component families and installation orders, which can precisely capture the system services perceived by users; (2) proposing the reasoning rules of system recovery based on component compatibility and installation execution, which are used to judge the success property (the newly started service works well) and safety property (formerly started services are not damaged); and (3) presenting the algorithms to simplify installation execution based on the concept of projection, which supports the reasoning analysis