基于可生存性规范的软件构件系统恢复的建模与推理

卢暾

首页> 中文期刊> 《软件学报》 >基于可生存性规范的软件构件系统恢复的建模与推理

基于可生存性规范的软件构件系统恢复的建模与推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1) 提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2) 建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3) 提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性.

著录项

来源
《软件学报》 |2007年第12期|3031-3047|共17页
作者
卢暾;
展开▼
作者单位

复旦大学;

计算机与信息技术系;

上海;

200433;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
基于构件的软件工程; 基于构件的系统; 构件重用; 可生存性规范; 服务核; 系统恢复;

相似文献

中文文献
外文文献
专利

1. 基于模糊推理的网络可生存性的建模与分析 [J] . 刘密霞 ,张玉清 ,洪毅 . 通信学报 . 2009,第001期
2. 基于SPN的IMS系统可生存性建模及分析 [J] . 赵明峰 ,周亚建 ,任东晓 . 应用科学学报 . 2012,第003期
3. 基于规范的软件构件测试技术研究 [J] . 高媛 ,陈立潮 ,张永梅 . 现代电子技术 . 2007,第018期
4. 基于本体建模的态势推理 [J] . 李宝森 ,王浩军 ,穆仕博 . 航空科学技术 . 2021,第002期
5. 分布式发输电系统恢复指导专家系统的并行推理 [C] . 王世模 . 电力系统分析与控制学术年会 . 1992
6. 基于Eclipse平台的可视化软件构件建模环境 [A] . 赵明明 . 2011

基于可生存性规范的软件构件系统恢复的建模与推理

摘要

著录项

相似文献

相关主题

期刊订阅