A policy-based management framework for pervasive systems using axiomatized rule-actions

Chetan Shankar, Roy Campbell

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

Abstract

Pervasive systems comprise large collections of heterogeneous and mobile devices, services and applications. A management infrastructure is required to govern the system behavior according to policies specified by the system administrator. Policy-based management is a well-established approach where policies are specified as Event-Condition-Action (ECA) rules that determine the management actions to be performed when certain situations occur. The problem with ECA policies is that conflicting actions may get triggered on the same event resulting in policy conflicts. Cycles may result when a set of policy rules trigger each other continuously. Existing approaches to conflict detection are limited in scope and can only detect conflicting actions if they are explicitly stated. In addition, current techniques do not detect cycles in management policies. We propose an extension to the ECA rule framework, called Event-Condition-PreCondition-Action-PostCondition (ECPAP) as a rule framework for management policies. In this framework, actions are annotated with axiomatic specifications that enable powerful reasoning to detect conflicts and cycles in policies. We present the details of this framework.

Original languageEnglish (US)
Title of host publicationProceedings - Fourth IEEE International Symposium on Network Computing and Applications, NCA 2005
Pages255-258
Number of pages4
DOIs
StatePublished - Dec 1 2005
Event4th IEEE International Symposium on Network Computing and Applications, NCA 2005 - Cambridge, MA, United States
Duration: Jul 27 2005Jul 29 2005

Publication series

NameProceedings - Fourth IEEE International Symposium on Network Computing and Applications, NCA 2005
Volume2005

Other

Other4th IEEE International Symposium on Network Computing and Applications, NCA 2005
CountryUnited States
CityCambridge, MA
Period7/27/057/29/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'A policy-based management framework for pervasive systems using axiomatized rule-actions'. Together they form a unique fingerprint.

Cite this