DocumentCode
2780647
Title
A Visual Constraint Specifying Approach for Adaptive Software
Author
Wang, Qianxiang ; Li, Min ; Meng, Na
Author_Institution
Sch. of Electron. Eng. & Comput. Sci., Peking Univ., Beijing
Volume
2
fYear
2006
fDate
17-21 Sept. 2006
Firstpage
252
Lastpage
257
Abstract
Monitoring sensitive events is of great significance for adaptive software. Specifying a sufficient set of constraints prior to software deployment is necessary to detect the presence of such events during execution. Here we propose a visual constraint specifying approach, which can generate monitoring code automatically, so as to make the constraint specification easy, and the adaptation of software easy. The detailed representing approach, generating algorithm, and a typical implementation are introduced also
Keywords
data visualisation; formal specification; adaptive software; monitoring code generation; visual constraint specifying approach; Algorithm design and analysis; Authentication; Computer networks; Computer science; Computerized monitoring; Event detection; Middleware; Programming; Software algorithms; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International
Conference_Location
Chicago, IL
ISSN
0730-3157
Print_ISBN
0-7695-2655-1
Type
conf
DOI
10.1109/COMPSAC.2006.105
Filename
4020176
Link To Document