II.2.3. Les acteurs et les accréditations
Identification des acteurs
L'identification des acteurs participant à
l'exécution du processus se fait facilement à l'aide de la
description textuelle du processus. Par exemple, selon la description du
processus de pré-soutenance, huit (k = 8) acteurs participent
à son exécution : un candidat (Cdt), une équipe
dirigeante (ED), un chef de département (CD) et cinq
experts (EX1,EX2 et EX3). Par simple
déduction, on obtient la liste des acteurs LPk =
{Cdt,ED,CD,EX1,EX2,EX3}.
Établissement de la liste des
accréditations
LSAWfP propose un mécanisme appelé
accréditation, inspiré de la nomenclature des droits
utilisée dans les systèmes de type Unix, pour assurer une
meilleure coordination entre les acteurs et garantir par la suite la
confidentialité
II.2. LE LANGAGE DE SPÉCIFICATION LSAWFP 31
MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA
de certaines actions et données. L'accréditation
d'un acteur donné fournit des informations sur ses droits (permissions)
par rapport à chaque tâche du GMWf du processus
étudié. Il existe trois types d'accréditation:
1. L'accréditation en lecture (r) : un acteur
accrédité en lecture sur le sorte X doit être
informé de l'exécution de la tâche associée; il doit
également avoir un accès libre à son statut
d'exécution (données générées pendant son
exécution). Nous appelons vue d'un acteur,
l'ensemble des sortes sur lesquels il est accrédité en
lecture.
2. L'accréditation en écriture (w) :
un acteur accrédité en écriture sur le sorte X
peut exécuter la tâche associée. Tout acteur
accrédité en écriture sur un sorte est
accrédité en lecture sur celui-ci.
3. L'accréditation en exécution (x) :
un acteur accrédité en exécution sur le sorte X
est autorisé à demander à l'acteur qui y est
accrédité en écriture de l'exécuter
(réalisation de la tâche associée).
Plus formellement, une accréditation est définie
comme suit:
Définition 4 Une
accréditation AAi définie sur un ensemble S de
symboles grammaticaux pour un acteur Ai, est un tripletAAi =
(AAi(r),AAi(w),AAi(x))
tel que, AAi(r) Ç S aussi appelé vue
de l'acteur Ai, est l'ensemble des symboles sur lesquels Ai est
accrédité en lecture, AAi(w) Ç
AAi(r) est l'ensemble des symboles sur lesquels Ai est
accrédité en écriture et AAi(x) Ç
S est l'ensemble des symboles sur lesquels Ai est accrédité en
exécution.
À partir de l'affectation des tâches pour le
processus de pré-soutenance dans notre exemple courant, il en
découle que l'accréditation en écriture de l'ED
est AED(w) = {B}. De plus, puisqu'il ne peut
exécuter la tâche B que si la tâche A
(exécutée par le Cdt) est déjà
exécutée (voir artefacts art1, art2 et art3,
fig. 12), il doit être accrédité en
exécution sur A pour pouvoir demander son exécution; il
doit également l'être sur la tâche C pour demander
au CD de procéder a la vérification du dossier. On a
donc AED(x) = {A,C}. En outre, afin de pouvoir
accéder à toutes les informations sur la constitution du dossier
(tâche A), les rapports de correction faits par les experts (tâche
J) et les honoraires de la pré-soutenance (tâche K). Ces
tâches, en addition de AED(w) 2 constitue
l'ensemble AED(r) = VED = {A,B,J,K} des
tâches sur lesquelles il est accrédité en lecture. En
faisant de même pour chacun des autres acteurs, nous déduisons
leurs accréditations. Celles-ci sont représentées dans le
tableau II et nous avonsLAk =
{ACdt,AED,ACD,AEX1,AEX2,AEX3}.
2. Rappel: tout acteur accrédité en écriture
sur une sorte est accrédité en lecture sur celle-ci.
MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA
| 
