Computer Science ›› 2013, Vol. 40 ›› Issue (11): 191-196.

Previous Articles     Next Articles

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: 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

[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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!