Output details

Logic-based conflict detection for Distributed Policies

<08>Policy languages research generally pays little attention to detailed and rigorous semantics. We present formal semantics for the Appel Policy language using DeltaDTSL, facilitating detection of policy conflicts. As policies are increasingly used for (re)configuration of distributed systems, detecting policy conflict has become increasingly important. The technique used can be applied to other policy and rule languages in the usual Event-Condition-Action format. The presented foundations led to exploration of the use of model checking techniques for automated detection (Ter Beek et al., ICFI'09) and expansion of conflict detection for non-functional aspects of systems (Danelutto et al., Euro-Par'11).