A goal-based approach to policy refinement

Bandara, Arosha K.; Lupu, Emil; Moffett, Jonathan; Russo, Alessandra

doi:10.1109/policy.2004.1309175

Cited by 127 publications

(100 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, it has limitations in the assignment decision step, and provides very little support for formal reasoning about alternative assignments. Bandara et al [21] presented an approach to policy refinement by which formal representation of a system based on the Event Calculus is used in conjunction with abducting-5 http://www.objectiver.com/fileadmin/download/documents/KaosTutorial. pdf reasoning techniques to derive the sequence of operations that will allow a given system achieve a desired goal.…”

Section: Related Workmentioning

confidence: 99%

Towards policy refinement for resilience management in cloud

Shirazi

Simpson

Syeda

et al. 2016

2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM)

View full text Add to dashboard Cite

Abstract-Cloud computing is becoming increasingly important for provision of critical services because of potential cost saving, scalability and elasticity. Therefore, it is particularly important for clouds and cloud-based services to be resilient, i.e., they are able to operate correctly and continuously even in the presence of challenges. To do this, a number of resiliencesupporting mechanisms are needed at various levels in cloud infrastructure. It is non-trivial to manage these mechanisms and there is a need for flexible instruments which assist cloud providers in this complex task. Policy based management is an established instrument to manage resilience supporting mechanisms and they are useful if it allows not only high level description of abstract policy (e.g high level security and resilience requirements), but also enables such policy to be refined and eventually mapped into an appropriate low levels in cloud settings. This paper sheds light on basic concepts behind policy based management in cloud, more specifically it emphasizes the use of policy refinement which is the process of translating higher level requirements (such as security and resilience requirements) into the sequence of actions at lower levels that can implement them, in order to generate more refined policies that govern the behaviour of an overall cloud system when under challenge. We finally present two example scenarios on how policy refinement can work for the cloud to establish its relevance for the overall resilience management.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards policy refinement for resilience management in cloud

Shirazi

Simpson

Syeda

et al. 2016

2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM)

View full text Add to dashboard Cite

show abstract

“…Several approaches exist that consider transformations starting from either goal or value models. For example, (Mantovaneli 2009) explores the relations between value (e3value) models and goal (ARMOR) models; (Bandara 2004) presents an approach that applies goal decomposition to achieve policy refinement, using UML as high-level notation for both goals and policies; and (Fatemi 2011b) describes a transformation from a value (e3value) model to a coordination process (BPMN) model using the Groove transformation tool. The latter transformation result could be further exploited when targeting service-oriented information systems.…”

Section: Model-driven Developmentmentioning

confidence: 99%

Business Models and Information Systems for Sustainable Development

Sinderen

2011

Proceedings of the First International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

Abstract:Businesses are expected to explore market opportunities in the area of sustainable development, thus contributing to finding solutions aiming at sustainable quality of life. This will require adaptation and innovation of business models and information systems, with challenges of particular interest to the business modeling and software design community. This paper briefly discusses two relevant topics in this respect, namely (i) goal and value modeling, and (ii) model-driven development. We mention existing work that can be taken as a starting point for addressing sustainability issues, and we make some observations that may be taken into account when extending existing work.

show abstract

“…Policy refinement is the process of transforming a high-level abstract policy specification into low-level concrete ones that can be enforced to achieve that policy. Therefore a policy refinement technique must link high level goals with underlying system metrics and adaptabilities in order to derive the different ways in which the system can satisfy the goal [3]. As far back as 1993 experts in policy based management identified the decomposition of such high-level goals to application level goals as an operation that could only be performed by a human or possibly by some domain-specific expert system [4] [5].…”

Section: Policy Decomposition and Refinementmentioning

confidence: 99%

“…A case-based reasoning approach is proposed in [6] to assist the refinement process based on the clustering of goals in previous refinements, but requires a large training set of previous refinement operations. A semi-manual approach for addictively reasoning over available sub-goals into super-goals is suggested in [3], but this system only operates on previously refined sub-goals. Other work in [7][8] focuses on taking low level policies and iteratively composing and abstracting them to present these higher level policies as possible governance policies, which can then be decomposed back into lower level policies.…”

Section: Policy Decomposition and Refinementmentioning

confidence: 99%