T H E S E - LIFL

26 Contexte logiciel spécifique à la thèsePour de telles règles, la condition est évaluée lors de l’événement spécifié et l’actionest exécutée si cette condition est vérifiée. La spécification d’une politique peut êtreeffectuée à l’aide d’un langage dédié. Les langages utilisent différentes techniques dereprésentation (objet, logique, graphique, etc.). Une forme canonique [KFY + 06] peutêtre dérivée, se composant des éléments suivants :– sujet (subject) : désigne l’entité à laquelle s’applique la politique.– cible (target) : identifie l’entité affectée par l’application de la politique.– événement (event) : décrit l’événement qui déclenche l’évaluation de la condition.– action (action) : définit les opérations exécutées sur la cible afin d’imposer lapolitique.– condition (condition) : décrit l’état du système et les contraintes permettantd’activité l’action.