Please use this identifier to cite or link to this item:
Title: Logic-based Conflict Detection for Distributed Policies
Authors: Montangero, Carlo
Reiff-Marganiec, Stephan
Semini, Laura
First Published: 2008
Publisher: IOS Press on behalf of the Polish Mathematical Society
Citation: Fundamenta Informaticae, 2008, 89 (4), pp. 511-538.
Abstract: Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for distributed policies expressed in the APPEL language (so far APPEL only had an informal semantics and a recently defined formal semantics without distribution of policies). The semantics is expressed in DDSTL(x), an extension of temporal logic to deal with global applications: it includes modalities to localize properties to system components, an operator to deal with events, and temporal modalities à la Unity. A further contribution of the paper is the development of semantics based techniques to detect policy conflict and a consideration of conflict resolution.
ISSN: 0169-2968
Type: Article
Description: This is the author's final draft of the paper published as Fundamenta Informaticae, 2008, 89 (4), pp. 511-538. The final version is available from
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
FI2008.pdf306.18 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.