Title :
Interceptor based constraint violation detection
Author :
Wang, Qianxiang ; Mathur, Aditya
Author_Institution :
Sch. of Electron. Eng. & Comput. Sci., Peking Univ., Beijing, China
Abstract :
Monitoring critical events such as constraints violations is one of the key issues of autonomic systems. This paper presents an interceptor based approach of constraint violation detection. In our approach, the monitor code is independent of functional code, and the monitor code can be generated automatically from XML-based constraint specifications. The experiment shows that our approach is feasible and is especially suitable for interface level constraints.
Keywords :
XML; formal specification; supervisory programs; system monitoring; user interfaces; XML-based constraint specification; autonomic system; constraint violation detection; critical event monitoring; functional code; interceptor based approach; interface level constraint; monitor code; Computer bugs; Computer science; Computerized monitoring; Concrete; Conferences; Delay; Event detection; Humans; Runtime; Time factors;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.47