Journal of Software:2017.28(7):1676-1697

(中国科学院 数学与系统科学研究院 数学研究所, 北京 100190;高可信软件技术教育部重点实验室 北京大学, 北京 100871;北京大学 信息科学技术学院 软件研究所, 北京 100871)
Verification Based Decision-Making for Self-Adaptive Systems: A Model-Driven Approach
YANG Zhuo-Qun,JIN Zhi
(Institute of Mathematics, Academy of Mathematics and Systems Science, The Chinese Academy of Sciences, Beijing 100190, China;Key Laboratory of High Confidence Software Technologies of Ministry of Education Peking University, Beijing 100871, China;Insitute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China)
Chart / table
Similar Articles
Article :Browse 1339   Download 1051
Received:September 27, 2016    Revised:November 29, 2016
> 中文摘要: 自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.通过一个移动信息系统的案例展示了该方法的可行性和有效性.
Abstract:Self-Adaptive systems (SASs) are required to be capable of adjusting their behaviors in response to changes in operational contexts and themselves. To implement automatic adjustment, SASs must be endowed by abilities of monitoring changes in contexts and themselves, analyzing changes of requirement satisfaction and reasoning about adaptation decisions. The behavior of online decision-making needs to assure functional requirements as well as certain non-functional requirements such as reliability and performance. This paper proposes a verification-based optimal decision-making approach for SASs, for assuring the satisfaction of non-functional requirements. This approach models adaptation mechanisms by identifying adjustable goals and maps goal models to corresponding behavior models expressed by label transition systems. It takes reliability requirements as examples and utilizes tagged goal models to specify reliability of tasks. Then, the system behavior model and reliability specifications are integrated into discrete-time Markov chains with variable states while adaptation candidates are characterized by combinations of different variable states. Via online verification of related requirements, the system derives the optimal decision of configurations under a certain type of contexts. The feasibility and effectiveness of the approach are illustrated through a mobile information system.
文章编号:     中图分类号:    文献标志码:
基金项目:国家重点基础研究发展计划(973)(2015CB352200);国家自然科学基金(61620106007,91318301) 国家重点基础研究发展计划(973)(2015CB352200);国家自然科学基金(61620106007,91318301)
Foundation items:National Basic Research Program of China (973) (2015CB352200); National Natural Science Foundation of China (61620106007, 91318301)
Reference text:


YANG Zhuo-Qun,JIN Zhi.Verification Based Decision-Making for Self-Adaptive Systems: A Model-Driven Approach.Journal of Software,2017,28(7):1676-1697