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

计算机科学 ›› 2013, Vol. 40 ›› Issue (11): 191-196.

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

唐姗,李丽萍,谭文安

上海第二工业大学计算机与信息学院上海201209;上海第二工业大学计算机与信息学院上海201209;上海第二工业大学计算机与信息学院上海201209

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金(61272036),2012年度上海高校青年教师培养资助

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

TANG Shan,LI Li-ping and TAN Wen-an

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 目标模型,运行时监控,自适应,重配置

Abstract: Runtime monitoring is an important part of the study on self-adaptive software systems,and it is also an important 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 paper 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 monitoring code,which is essential for facilitating software maintenance and promoting software reuse.

Key words: Goal model,Runtime monitoring,Self-adaptation,Reconfiguration

唐姗,李丽萍,谭文安. 自适应重配置软件系统的运行时监控方法研究[J]. 计算机科学, 2013, 40(11): 191-196. https://doi.org/

TANG Shan,LI Li-ping and TAN Wen-an. Research on Runtime Monitoring for Self-adaptive and Reconfigurable Software Systems[J]. Computer Science, 2013, 40(11): 191-196. https://doi.org/

参考文献

[1] Kephart J O,Chess D M.The Vision of Autonomic Computing[J].Computer,2003,6(1):41-50
[2] van Lamsweerde A.Goal-Oriented Requirements Engineering:A Guided Tour[C]∥Proceedings RE’01,5th IEEE International Symposium on Requirements Engineering．Toronto, 2001:249-263
[3] van Lamsweerde A,Letier E.Handling Obstacles in Goal-oriented Requirements Engineering[J]．IEEE Transactions on Software Engineering,2000,26(10):978-1005
[4] Clarke E M,Grumberg O,Peled D A．Model Checking[M]．The MIT Press,2001
[5] Taher L,Basha R,Khatib H E．Qos Information & Computation(QoS-IC)Framework for QoS-based Discovery of Web services[J]．The European Journal for the Informatics Professional,2005,6(4)
[6] Mani A,Nagarajan A．Understanding quality of service for Web services．http://www-128.ibm.com/developerworks/webservices/library/ws-quality.html
[7] Dalpiaz F,Giorgini P,Mylopoulos J．An architecture for requirements-driven self-reconfiguration[C]∥Proceedings,CAiSE,Volume 5565of LNCS．Springer,2009:246-260
[8] Lee I,Ben-Abdallah H,Kannan S,et al.A monitoring and checking framework for run-time correctness assurance[C]∥Proceedings of the 1998Korea-U.S．Technical Conference on Strategic Technologies．1998
[9] Li Zheng,Jin Yan,Han Jun．A Runtime Monitoring and Validation Framework for Web Service Interactions[C]∥Proceedings of ASWEC’06Proceedings of the Australian Software Enginee-ring Conference．IEEE Computer Society,2006:70-79
[10] Chen Feng,Rosu G．MOP:An Efficient and Generic RuntimeVerification Framework[R]．Technical report UIUCDCS-R-2007-2836．March 2007
[11] Simmonds J,Ben-David S,Chechik M．Monitoring and Recovery of Web Service Applications[C]∥The Smart Internet 2010．Springer,2010:250-288
[12] Amin A,Colman A,Grunske L．Using Automated ControlCharts for the Runtime Evaluation of QoS Attributes[C]∥Proceedings of the 13ht IEEE International High Assurance Systems Engineering Symposium．IEEE Computer Society,2011:299-306
[13] Delgado N,Gates A Q,Roach S．A Taxonomy and Catalog ofRuntime Software-Fault Monitoring Tools[J]．IEEE Transactions on Software Engineering,2004,30(12):859-872
[14] Avgustinov P,Bodden E,Hajiyev E,et al．Aspect for trace monitoring[C]∥Proc of Formal Approaches to Testing Systems and Runtime Verification(FATES/RV 2006)．LNCS 4262,2006:20-39
[15] Bodden E．A lightweight LTL runtime verification tool for Java[C]∥Proc of OOPSLA．2004:306-307

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed