自适应重配置软件系统的运行时监控方法研究

Research on Runtime Monitoring for Self-adaptive and Reconfigurable Software Systems

运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则。针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模型驱动的、自适应重配置软件的运行时监控方法。以软件系统的目标模型及属性规约为基础,介绍了如何构建系统的监控模型、生成和编织监控代码,以及进行运行时诊断分析和自适应重配置调整。该方法通过采用独立于应用程序的外部单元来实现对运行时系统的监控、诊断和自适应重配置处理。这更利于系统的维护和管理,也更符合软件复用的思想。

Runtime monitoring is an important part of the study on self-adaptive software systems,and it is also an im- portant design principle in building dependable software systems. However, most of the existing research works on runtime monitoring often mix the monitoring logic and the business logic. Different from these existing works, this pa- per proposed a requirement-model driven approach for self-adaptive software systems. Based on the goal model and the constraints specification, we illustrated how to define the monitoring model, how to deduce the specification of monitor from the goal model, how to generate and weave the monitoring codes automatically, how to diagnose and reconfigure the target system at runtime. This approach implements these tasks by separating the application code and the monito- ring code, which is essential for facilitating software maintenance and promoting software reuse.