Skip navigation

A framework for verification of context-aware policy-supervised autonomic systems

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
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
Selected for GREAT 2019: None
URI: http://gala.gre.ac.uk/id/eprint/7092

Actions (login required)

View Item View Item