University of Illinois Urbana-Champaign

Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies

Shankar, Chetan S.; Campbell, Roy H.

Content Files
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies.pdf

Permalink

https://hdl.handle.net/2142/11128

Description

Title
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
Author(s)
  • Shankar, Chetan S.
  • Campbell, Roy H.
Issue Date
2005-11
Keyword(s)
  • pervasive systems
  • computer science
Date of Ingest
2009-04-20T18:45:21Z
Abstract
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where administrators specify the management action to be taken in different situations using Event-Condition-Action (ECA) rules. An important problem with policy-based management of a pervasive system is that multiple rules can get triggered on a single event and the behavior of the system depends on the order of rule enforcement. Systems managed using ECA policies do not provide guarantees about system behavior when multiple rules are concurrently triggered. In this paper, we present a novel rule framework called Event-Condition-Precondition-Action-Postcondition (ECPAP) that combines axiomatic specifications with ECA rules for specifying management rules. ECPAP rules contain action specifications in first-order predicate logic that enables us to reason about the enforcement order. We define a notion called enforcement semantics for policy-based management and show how this can be used to provide guarantees about system behavior. We present the details of the framework.
Type of Resource
text
Genre of Resource
Technical Report
Permalink
http://hdl.handle.net/2142/11128
Copyright and License Information
You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections

Research and Tech Reports - Computer Science PRIMARY