基于Agent网构软件需求监控框架.pdfVIP

基于Agent 的网构软件需求监控框架* 付凌霄 彭鑫 赵文耘 （复旦大学计算机科学技术学院 上海 201203 ） 摘要 网构软件所面临的复杂、开放和动态变化的运行环境使其运行时行为常常会偏离需求规约。 已有一些研究工作提出基于目标模型和需求推理实现软件需求的运行时监控和自修复，但还 缺少实现框架，特别是缺少符合网构软件分布式和社会化特性的需求监控实现方法。针对这 一问题，提出一种基于Agent 的网构软件需求监控框架。框架中的需求监控Agent 通过非侵 入的方式实现对作为其宿主系统的网构软件实体的监控和干预，并通过Agent 间的通信和协 作实现社会化的目标委托和协作监控。为了验证框架的有效性，通过报告一个案例分析，进 行了有效性评估。 关键词 网构软件，需求监控，自适应，自修复，自治愈，Agent 文章类别：软件工程 An Agent-based Requirements Monitoring Framework for Internetware Fu Lingxiao, Peng Xin, and Zhao Wenyun （School of Computer Science, Fudan University, Shanghai 201203) Abstract Running in a complicated, open and highly-dynamic environment, Internetware systems are likely to deviate from their requirements specification. In recent years, there have been a series of researches on runtime requirements monitoring and self repairing based on goal-based requirements modeling, monitoring and reasoning. However, a practical implementation framework for requirements monitoring and repairing is missing, especially for the Internetware characteristics of distribution, sociality. In this paper, we propose an agent-based requirements monitoring framework for Internetware. On the basis of our previous work, which interpreted runtime goal lifecycle in terms of goal state machine to achieve finer-grained goal monitoring and reasoning, the agents we implemented are able to monitor host systems both on internal goal satisfaction and cross-agent goal delegation at runtime, and actuate repairing policies when requirements are deviated from in a non-intrusive manner. In respect of autonomy of each software entity participant within the system, the framework organizes agents in a decentralized way. Furt