Back to Search
Start Over
A polynomial dynamic system approach to software design for attractivity requirement
- Source :
-
Information Sciences . Jul2007, Vol. 177 Issue 13, p2712-2725. 14p. - Publication Year :
- 2007
-
Abstract
- Abstract: Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented. [Copyright &y& Elsevier]
- Subjects :
- *WEB services
*APPLICATION software
*COMPUTER software
*ARTIFICIAL intelligence
Subjects
Details
- Language :
- English
- ISSN :
- 00200255
- Volume :
- 177
- Issue :
- 13
- Database :
- Academic Search Index
- Journal :
- Information Sciences
- Publication Type :
- Periodical
- Accession number :
- 24787013
- Full Text :
- https://doi.org/10.1016/j.ins.2007.01.025