DocumentCode
1994913
Title
Constraint violation detection: a fundamental part of software cybernetics
Author
Wang, Qianxiang
Author_Institution
Sch. of Electron. Eng. & Comput. Sci., Peking Univ., Beijing, China
Volume
2
fYear
2005
fDate
26-28 July 2005
Firstpage
139
Abstract
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for detecting the presence of such events during execution. Here we focus on issues related to service level constraints including types of constraints, the runtime structure of constraints and the related entities. An experiment to assess the feasibility of the proposed approach is also reported.
Keywords
client-server systems; cybernetics; formal specification; system monitoring; constraint violation detection; formal specification; sensitive event monitoring; service level constraint; software cybernetics; Application software; Computer science; Computerized monitoring; Cybernetics; Event detection; Flexible structures; Grid computing; Runtime; Software performance; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-2413-3
Type
conf
DOI
10.1109/COMPSAC.2005.64
Filename
1508100
Link To Document