Towards Formal Specification and Generation of Autonomic Policies

Sterritt, Roy; Hinchey, Michael G.; Rash, James L.; Truszkowski, Walt; Rouff, Christopher; Gračanin, Denis

doi:10.1007/11596042_126

Cited by 12 publications

(8 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, it has been successfully used to specify policies for autonomic systems using constrained natural language [29]. In R2D2C, policies are viewed as scenarios (just as in the example of this paper), and are used to generate a CSP model that is guaranteed to be equivalent, and which can then be checked for various issues of consistency and completeness, along with other problems, which may then be addressed and rectified.…”

Section: Future Work: Implementing the Policy Managermentioning

confidence: 98%

“…With one definition of autonomic computing being self-management based on high level guidance from humans [12] and considering IBM's high-level set of self-properties (self-CHOP: configuration, healing, optimization and protection) against the types of typical policies mentioned previously (optimization, configuration and protection), the importance and relevance of polices for achieving autonomicity becomes clear [29].…”

Section: Policy-based Managementmentioning

confidence: 99%

See 1 more Smart Citation

Building and implementing policies in autonomous and autonomic systems using MaCMAS

Peña

Hinchey

Sterritt

et al. 2007

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means forward in designing reliable systems that both hide complexity from the user and control IT management costs. Effectively, AC may be viewed as policy-based self-management. We look at ways of achieving this, with particular focus on agent-oriented software engineering. We propose utilizing MaCMAS, an AOSE methodology for specifying autonomic and autonomous properties of the system independently. Later, by means of composition of these specifications, guided by a policy specification, we construct a specification for the policy and its subsequent deployment. We illustrate this by means of a case study based on a NASA concept mission and describe future work on a support toolkit.

show abstract

Section: Future Work: Implementing the Policy Managermentioning

confidence: 98%

Section: Policy-based Managementmentioning

confidence: 99%

Building and implementing policies in autonomous and autonomic systems using MaCMAS

Peña

Hinchey

Sterritt

et al. 2007

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…In contrast with [24], which relies on formal specification to derive a formal model that is guaranteed to be equivalent to the requirements, our work can be related to the applications of control theory to autonomic or adaptive computing systems [25]. In particular, Discrete Event Systems in the form of Petri nets models and control have been used for deadlock avoidance problems [26].…”

Section: Related Workmentioning

confidence: 99%

Discrete control for ensuring consistency between multiple autonomic managers

Gueye¹,

Palma²,

Rutten

et al. 2013

J Cloud Comp

View full text Add to dashboard Cite

The increasing complexity of computer systems has led to the automation of administration functions, in the form of autonomic managers. Today many autonomic managers are available but they mostly address a specific administration aspect which makes necessary their coexistence for a complete autonomic system management. However, coordinating them is necessary for proper and effective global administration. Such coordination can be considered as a problem of synchronization and logical control of managers actions. We therefore investigate the use of reactive models with events and states, and discrete control techniques to solve this problem. This paper presents an application of the latter approach for coordinating autonomic managers addressing resource optimization, in the perspective of green computing. The managers control server provisioning (self-sizing manager) and CPU frequency (Dvfs manager), and the coordination controller controls the managers actions so as to avoid incoherent management decisions. The coordination controller is designed using synchronous programming and Discrete controller synthesis (DCS) which are well-suited for the design of reactive systems. Experimental results are presented to evaluate the efficacy of the approach.

show abstract

“…In [39] an approach is defined to generate CSP models from policies. However, the definition of policies to specify a system seems confusing.…”

Section: Automated Formal Specification Generation Andmentioning

confidence: 99%

Automated formal specification generation and refinement from requirement documents

Cabral¹,

Sampaio²

2008

J. Braz. Comp. Soc.

View full text Add to dashboard Cite

show abstract

Towards Formal Specification and Generation of Autonomic Policies

Cited by 12 publications

References 14 publications

Building and implementing policies in autonomous and autonomic systems using MaCMAS

Building and implementing policies in autonomous and autonomic systems using MaCMAS

Discrete control for ensuring consistency between multiple autonomic managers

Automated formal specification generation and refinement from requirement documents

Contact Info

Product

Resources

About