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. © IFIP International Federation for Information Processing 2005.
Cite
CITATION STYLE
Sterritt, R., Hinchey, M. G., Rash, J. L., Truszkowski, W., Rouff, C. A., & Gracanin, D. (2005). Towards formal specification and generation of autonomic policies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3823 LNCS, pp. 1245–1254). https://doi.org/10.1007/11596042_126
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
