TY - GEN
T1 - Towards formal specification and generation of autonomic policies
AU - Sterritt, Roy
AU - Hinchey, Michael G.
AU - Rash, James L.
AU - Truszkowski, Walt
AU - Rouff, Christopher A.
AU - Gracanin, Denis
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33744906781&partnerID=8YFLogxK
U2 - 10.1007/11596042_126
DO - 10.1007/11596042_126
M3 - Conference contribution
AN - SCOPUS:33744906781
SN - 3540308032
SN - 9783540308034
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1245
EP - 1254
BT - Embedded and Ubiquitous Computing - EUC 2005 Workshops
T2 - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES
Y2 - 6 December 2005 through 9 December 2005
ER -