Towards formal specification and generation of autonomic policies

Authors:
Roy Sterritt;Michael G. Hinchey;James L. Rash;Walt Truszkowski;Christopher A. Rouff;Denis Gracanin
Affiliations:
Faculty of Engineering, University of Ulster, Northern Ireland;NASA Software Engineering Laboratory, NASA Goddard Space Flight Center, Greenbelt, MD;Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, MD;Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, MD;Advanced Concepts Business Unit, Science Applications International Corp., McLean, VA;Department of Computer Science, Virginia Tech, Blacksburg, Virginia
Venue:
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Year:
2005

Citing 11
Cited 2

Communicating sequential processes

Communicating sequential processes
On visual formalisms

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Concurrent Systems: Formal Development in CSP

Concurrent Systems: Formal Development in CSP
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach
Towards Autonomic Computing: Effective Event Management

SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
An Adaptive Policy-Based Framework for Network Services Management

Journal of Network and Systems Management
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT

ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
An Artificial Intelligence Perspective on Autonomic Computing Policies

POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
Formal Requirements-Based Programming for Complex Systems

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Autonomous and autonomic systems: a paradigm for future space exploration missions

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Towards a formal model of autonomic services based on SelfLets

PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
A survey of evolutionary and embryogenic approaches to autonomic networking

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

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.