3.6.6. Les prédicats d'Or-BAC
Afin de comprendre les règles définies dans
Or-BAC, on récapitule dans ces tableaux les différents
prédicats liés à Or-BAC.
Les prédicats liés à l'affectation des
entités abstraites aux organisations :
|
Nom de prédicat
|
Domaine
|
Description
|
|
Relevant_role
|
Org*Role
|
Si org est une organisation et
r un rôle, alors Relevant_role signifie
que le rôle r est défini dans l'organisation
org
|
|
Relevant_activity
|
Org*Activity
|
Si org est une organisation et
a une activité, alors
Relevant_activity signifie que l'activité
a est définie dans l'organisation
org
|
|
Relevant_view
|
Org*View
|
Si org est une organisation et
v une vue, alors Relevant_view signifie que
la vue v est définie dans l'organisation
org
|
Les prédicats liés aux relations d'abstraction :
|
Nom de prédicat
|
Domaine
|
Description
|
|
Empower
|
Org*Subject*Role
|
Si org est une organisation,
s un sujet et r un rôle, alors
Empower signifie que l'organisation org
habilite le sujet s dans le rôle r
|
|
Consider
|
Org*Action*Activity
|
Si org est une organisation,
A une action et a une activité, alors
Consider signifie que l'organisation org
considère l'action A comme faisant partie de
l'activité a
|
|
Use
|
Org*Object*View
|
Si org est une organisation,
o un objet et v une vue, alors
Use signifie que l'organisation org utilise
l'objet o dans la vue v
|
Les prédicats liés aux définitions des
contextes :
|
Nom de prédicat
|
Domaine
|
Description
|
|
Hold
|
Org*Subject*Action *Object*Context
|
Si org est une organisation,
s un sujet, A une action, o
un objet et c un contexte, alors Hold
signifie que dans l'organisation org, le contexte
c est défini pour le sujet s, l'action
A et l'objet o
|
Les prédicats liés aux permissions abstraites :
|
Nom de prédicat
|
Domaine
|
Description
|
|
Permission
|
Org*Role*Activity *View*Context
|
Si org est une organisation,
r un rôle, a une activité,
v une vue et c un contexte, alors
Permission signifie que l'organisation org
accorde la permission au rôle r de réaliser
l'activité a sur la vue v dans le
contexte c
|
|
Prohibition
|
Org*Role*Activity *View*Context
|
Si org est une organisation,
r un rôle, a une activité,
v une vue et c un contexte, alors
Prohibition signifie que dans l'organisation
org refuse la permission au rôle r de
réaliser l'activité a sur la vue
v dans le contexte c
|
Les prédicats liés aux permissions
concrètes :
|
Nom de prédicat
|
Domaine
|
Description
|
|
Is_permitted
|
Subject*Action*Object
|
Si s est un sujet, A une
action et o un objet, alors Is_permitted
signifie que le sujet s a concrètement la permission de
réaliser l'action A sur l'objet o
|
|
Is_prohibited
|
Subject*Action*Object
|
Si s est un sujet, A une
action et o un objet, alors Is_prohibited
signifie que le sujet s ne peut pas concrètement
réaliser l'action A sur l'objet o
|
| 
