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 ΔDSTL(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.

Logic-based Conflict Detection for Distributed Policies

MONTANGERO, CARLO;SEMINI, LAURA
2008-01-01

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 ΔDSTL(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.
2008
Montangero, Carlo; S., REIFF MARGANIEC; Semini, Laura
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/196872
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 8
social impact