Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3242989.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules
Author(s):Shankar, Chetan Shiva
Doctoral Committee Chair(s):Roy Campbell
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract: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.
Issue Date:2006
Type:Text
Language:English
Description:128 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2006.
URI:http://hdl.handle.net/2142/81741
Other Identifier(s):(MiAaPQ)AAI3242989
Date Available in IDEALS:2015-09-25
Date Deposited:2006


This item appears in the following Collection(s)

Item Statistics