An Algebra for Integration and Analysis of Ponder2 Policies

Zhao, Hang; Lobo, Jorge; Bellovin, Steven M.

doi:10.1109/policy.2008.42

Cited by 15 publications

(8 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In such a situation, meta-policies are used to resolve the conflict. Policy conflicts can also be detected within the Ponder2 framework [31,38], where analysis is far more sophisticated than that developed for either KAoS or Rei, but analysis is restricted to design time. In general, different methods can be used to resolve conflicts between policies.…”

Section: Related Work and Discussionmentioning

confidence: 99%

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

et al. 2012

View full text Add to dashboard Cite

In a distributed system, the actions of one component may lead to severe failures in the system as a whole. To govern such systems, constraints are placed on the behaviour of components to avoid such undesirable actions. Policies or norms are declarations of soft constraints regulating what is prohibited, permitted or obliged within a distributed system. These constraints provide systems-level means to mitigate against failures. A few machine-processable representations for policies have been proposed, but they tend to be either limited in the types of policies that can be expressed or are limited by the complexity of associated reasoning mechanisms. In this paper, we present a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decision-making and policy analysis within the bounds of decidability. We then propose an OWL-based representation of policies that meets these criteria and reasoning mechanisms that use a novel combination of ontology consistency checking and query answering. The proposed policy representation and reasoning mechanisms allow development of distributed agent-based systems that operate flexibly and effectively in policy-constrainted environments.

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

et al. 2012

View full text Add to dashboard Cite

show abstract

“…In such a situation, meta-policies are used to resolve the conflict. Policy conflicts can also be detected within the Ponder2 framework [18,23], where analysis is far more sophisticated than that developed for either KAoS or Rei, but analysis is restricted to design time. In general, different methods can be used to resolve conflicts between policies.…”

Section: Related Work and Discussionmentioning

confidence: 99%

OWL-POLAR: Semantic Policies for Agent Reasoning

Şensoy

Norman

Vasconcelos

et al. 2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agentbased systems. A few machine-processable representations for policies have been proposed, but they tend to be either limited in the types of policies that can be expressed or limited by the complexity of associated reasoning mechanisms. In this paper, we argue for a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decisionmaking and policy analysis within the bounds of decidability. We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering. In this way, agent-based systems can be developed that operate flexibly and effectively in policy-constrainted environments.

show abstract

“…The Ponder2 system is proving to be very versatile and has been applied in many projects both at Imperial College and by other institutions [15], [16]. Ponder2 has been utilised on robots, body sensor nodes and mobile telephones.…”

Section: Discussionmentioning

confidence: 99%

Ponder2 - A Policy Environment for Autonomous Pervasive Systems

Twidle

Lupu

Dulay

et al. 2008

2008 IEEE Workshop on Policies for Distributed Systems and Networks

View full text Add to dashboard Cite

Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale networks and distributed systems. Consequently, they are often fragmented, dependent on infrastructure and lacking flexibility and extensibility. This paper presents Ponder2, a novel policy system that is suitable for a wide range of environments and applications. The design and implementation of Ponder2 emphasises simplicity, flexibility and extensibility and provides users with the ability to interact easily with the managed system. Ponder2 can interact with other software and hardware components and is being used in environments ranging from single devices, to personal area networks, ad-hoc networks and distributed systems. We also describe PonderTalk, a high-level object orientated language inspired by Smalltalk for configuring and controlling Ponder2 systems.

show abstract

An Algebra for Integration and Analysis of Ponder2 Policies

Cited by 15 publications

References 11 publications

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

OWL-POLAR: Semantic Policies for Agent Reasoning

Ponder2 - A Policy Environment for Autonomous Pervasive Systems

Contact Info

Product

Resources

About