Towards Dynamic Description Logics Based Self-Adaptive Software Systems

摘要：

As modern software-based systems increase in complexity,recovery from malicious attacks and rectification of system faults become more difficult,labor-intensive,and error-prone. These factors have actuated research dealing with the concept of self-adaptive systems,which can adapt at run time in order to accommodate varying resources,system errors,and changing requirements. For such self-adaptive systems,one of the hard problems is determining when a change is needed,and knowing what kind of adaptation is required. This paper proposes a semantic model for change operations (like repair tactics) based on dynamic description logics (DDL(X)),extensions of description logics (DLs) with a dynamic dimension,and explores the possibility oi using DDL(X) as a basis for run time monitoring,error detection,and repair tactics composition. Furthermore,this paper presents a heuristics planning algorithm for the automation of repair tactic composition at the functional level based on DDL(X). DDL(X) couple the static information provided by the system requirements and the dynamic processing provided by repair tactics,and offer a uniform way to represent and reason about both static and dynamic aspects of self-adaptive systems. Our approach employs classical DL-TBoxes to capture the constraints of the domain. DL-ABoxes to describe the states,and DL-formulas to encode the system requirements respectively. In such a way,the repair tactic composition problem is solved by a decidable tableau procedure. In this paper,we exemplify our approach by applying it to the domain of loadbalancing a wireless remote-access system;the preliminary results certify the potential of the approach.

关键词： Self-Adaptive Systems Self-Healing Fault Tolerance Knowledge Representation and Reasoning Dynamic Description Logics Dynamic Adaptation

作者: Zhuxiao Wang Jing Guo Kehe Wu Limin Chen Tong Zhang

作者单位: School of Control and Computer Engineering,State Key Laboratory of Alternate Electrical Power System National Computer Network Emergency Response Technical Team/Coordination Center of China,Beijing 100 School of Control and Computer Engineering,Institute of Electric Information Security Engineering Re China Unicom Research Labs,Beijing 100032,China School of Control and Computer Engineering,North China Electric Power University,Beijing 102206,Chin

会议类型: 国际会议

会议名称: 2011 International Conference on Opto-Electronics Engineering and Information Science(2011光电电子工程与信息科学国际会议 ICOEIS 2011)

会议地点: 西安

会议语种:英文

页码: 297-302

在线出版日期: 2011-12-23（万方平台首次上网日期，不代表论文的发表时间）