Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

In this thesis, we propose a rule framework called Event-Condition-Precondition-Action-Postcondition (ECPAP) that contains axiomatic specifications of rule actions, for designing management policies. These specifications formally state the effect of an action using Hoare logic as pre- and post-conditions. This framework facilitates advanced conflict and cycle analysis, determines enforcement order when multiple rules are simultaneously triggered, supports policy exception handling and provides reasoning support for rules with long-running actions. We show how the ECPAP framework enables deterministic policy-based management.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2015

Author dc:creator

• Shankar, Chetan Shiva

Contributors dc:contributor

• Roy Campbell

• Computer Science

Language dc:language

eng

Identifier

(MiAaPQ)AAI3242989

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/81741