• 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