Withdraw
Loading…
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
Shankar, Chetan S.; Campbell, Roy H.
Loading…
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
- 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
Manage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…