Ordering management actions in pervasive systems using specification- enhanced policies

Chetan Shankar, Roy Campbell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings - Fourth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006
Pages234-238
Number of pages5
DOIs
StatePublished - 2006
Event4th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006 - Pisa, Italy
Duration: Mar 13 2006Mar 17 2006

Publication series

NameProceedings - Fourth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006
Volume2006

Other

Other4th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006
CountryItaly
CityPisa
Period3/13/063/17/06

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Ordering management actions in pervasive systems using specification- enhanced policies'. Together they form a unique fingerprint.

Cite this