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-1485Full text not available from this repository.
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.
|Additional Information:|| 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.  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)
|School / Department / Research Groups:||School of Computing & Mathematical Sciences
Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences
|Last Modified:||10 May 2013 10:46|
Actions (login required)