A framework for verification of context-aware policy-supervised autonomic systems
Pelc, M. (2011) A framework for verification of context-aware policy-supervised autonomic systems. Polish Journal of Environmental Studies, 20 (5A). ISSN 1230-1485
Full text not available from this repository.Abstract
In this paper the problem of verification of context-aware policy-supervised autonomic systems based on newly designed Scenario Definition Language (SDL) for Agile policies will be presented. This language should be treated a supporting and natural enhancement of validation/verification features built into Agile Lite policy evaluation library. Together with the new Scenario Definition Language a new Policy Testing tool/Framework (PTF) was developed. In the simulation part of this paper it will be presented how they can be used for the purpose of simulation verification of Agile policies.
Item Type: | Article |
---|---|
Additional Information: | [1] Paper published in Volume 20, No. 5A, 2011 - Supplement of Polish Journal of Environmental Studies. Articles included in the Supplements are reviewed by Reviewers selected by Organizing Committee of particular conferences. [2] The article number appears to be [22.] but the full number does not appear on the index page. |
Uncontrolled Keywords: | policy-based computing, autonomic systems, context-aware systems |
Subjects: | Q Science > QA Mathematics T Technology > T Technology (General) |
Pre-2014 Departments: | School of Computing & Mathematical Sciences |
Related URLs: | |
Last Modified: | 14 Oct 2016 09:18 |
URI: | http://gala.gre.ac.uk/id/eprint/7092 |
Actions (login required)
View Item |