Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Towards Formal Specification and Generation of Autonomic Policies
| |
|
Session 1: Autonomic Computing
Towards Formal Specification and Generation of Autonomic Policies
Roy Sterritt1  , Michael G. Hinchey2 , James L. Rash3 , Walt Truszkowski3 , Christopher A. Rouff4 and Denis Gracanin5
| (1) |
University of Ulster, Faculty of Engineering, Northern Ireland |
| (2) |
NASA Software Engineering Laboratory, NASA Goddard Space Flight Center, Greenbelt, MD 20771, USA |
| (3) |
Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, MD 20771, USA |
| (4) |
Advanced Concepts Business Unit, Science Applications International Corp., McLean, VA 22102, USA |
| (5) |
Virginia Tech, Department of Computer Science, Blacksburg, Virginia, USA |
Abstract
Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gaining momentum as the
way forward in designing reliable systems to hide complexity and conquer IT management costs. Effectively, AC may be viewed
as Policy-Based Self-Management. In this paper we look at the motivation for utilizing NASA requirements-based programming
technologies for mechanically transforming policies (expressed in restricted natural language, or appropriate graphical notations)
into a provably equivalent formal model that can be used as the basis for code generation and other transformations, with
the goal of self-generation of provable autonomic policies.
Fulltext Preview (Small, Large)
|
|
|
|
|
|