共被期刊论文引用了3次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种软件自适应UML建模及其形式化验证方法显示文摘软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性. | 韩德帅 杨启亮 邢建春 | 2015 | 软件学报2015，26，4： | 33 |
| 2 | 软件自适应:基于控制理论的方法显示文摘软件自适应是软件系统为应对外部环境、用户需求和系统自身的频繁变化而进行自我调整的一种能力,是近年来软件工程领域研究的热点.由于基于'感知-决策-调整'的软件自适应环与基于'感知-规划-动作'的控制环有着天然的相似性,采用控制理论作为手段来研究软件自适应问题已成为一种重要风范.该文对基于控制理论的软件自适应研究工作进行了综述.首先,阐释并定义了软件自适应的概念内涵;其次,讨论了基于控制理论的软件自适应基本思想、代表性研究工作;第三,在给出综述方法和过程的基础上,建立了综述分类框架;而后,结合分类框架分别从控制工程视角和软件工程视角,即控制结构、概念框架、理论基础、开发方法、评价验证等方面对研究现状进行了详细讨论和比较.最后,分析了当前研究所存在的不足并展望了未来的研究趋势. | 杨启亮 马晓星 邢建春 胡昊 王平 韩德帅 | 2016 | 计算机学报2016，39，11： | 8 |
| 3 | 基于故障矩阵的贝叶斯故障定位方法显示文摘故障的准确诊断和定位是云计算系统提供持续服务的前提条件;为了提高系统故障诊断和定位的性能,文章提出了一种基于故障矩阵的贝叶斯故障定位方法;首先,对云计算系统的软件结构进行了抽象,对事物进行了定义,并描述了事务的执行路径;其次,将系统运行的多个执行路径表示为故障矩阵,并给出了组件健康状态的逻辑命题表达式;最后,应用贝叶斯概率分析了系统故障的概率;实验表明,文章提出的方法与其它相关方法相比,故障识别的准确性更高,所用的执行时间更短。 | 张会 | 2015 | 计算机测量与控制2015，23，1： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员