Please use this identifier to cite or link to this item:
Title: Logic–Based Detection of Conflicts in APPEL Policies
Authors: Montangero, Carlo
Reiff-Marganiec, Stephan
Semini, Laura
First Published: 2007
Publisher: Springer Verlag
Citation: Lecture Notes in Computer Science, 2007, 4767, pp. 257-271.
Abstract: APPEL is a general language for expressing policies in a variety of application domains with a clear separation between the core language and its specialisation for concrete domains. Policies can conflict, thus leading to undesired behaviour. We present a novel formal semantics for the APPEL language based on ΔDSTL(x) (so far APPEL only had an informal semantics). ΔDSTL(x) is 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 techniques based on the semantics to reason about conflicts.
DOI Link: 10.1007/978-3-540-75698-9
ISBN: 9783540756972
Version: Post print
Status: Peer reviewed
Type: Conference paper
Description: This paper was presented at the International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 and published as Lecture Notes on Computer Science, 2007, 4767, pp. 257-271.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
fsen07.pdf204.08 kBAdobe PDFView/Open

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