检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]上海第二工业大学计算机与信息学院,上海201209
出 处:《计算机科学》2013年第11期191-196,共6页Computer Science
基 金:国家自然科学基金(61272036);2012年度上海高校青年教师培养资助计划(ZZegd 12008);上海市教育委员会科研创新项目(11YZ251)资助
摘 要:运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则。针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模型驱动的、自适应重配置软件的运行时监控方法。以软件系统的目标模型及属性规约为基础,介绍了如何构建系统的监控模型、生成和编织监控代码,以及进行运行时诊断分析和自适应重配置调整。该方法通过采用独立于应用程序的外部单元来实现对运行时系统的监控、诊断和自适应重配置处理。这更利于系统的维护和管理,也更符合软件复用的思想。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.
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.171