II.2.2. La déduction du modèle grammatical de
workflow
Après avoir modélisé les scénarios
du processus étudié à l'aide d'artefacts
représentatifs, LSAWfP propose d'en extraire une grammaire abstraite
appelée GMWf (Grammatical Model of Workflow). Pour ce faire, il
suffit de substituer l'ensemble des artefacts représentatifs par une
grammaire G (un GMWf) dans laquelle, chaque symbole se réfère
à une tâche et, chaque production p se présente
sous l'une des deux formes suivantes : p : X0 ?
X1 ; ... ; Xn ou p :
X0 ? X1 ... k
Xn. Ces deux formes de productions
modélisent parfaitement les deux types d'ordonnancement
(parallèle ou séquentiel) retenus dans la conception des
artefacts représentatifs. On note donc ti ? G pour exprimer le
fait que chaque artefact représentatif ti est conforme à
G. Les symboles racines des différents artefacts
représentatifs forment l'ensemble des axiomes de G. Un GMWf peut alors
être formellement défini comme suit [8] :
Définition 3 Un
Grammatical Model of Workflow (GMWf) est défini par
G = (S,P,A) où :
-- S est un ensemble fini de symboles grammaticaux
ou sortes 1 correspondant aux
différentes tâches à exécuter dans
le processus opérationnel étudié;
1. Un sorte est une donnée utilisée
pour définir les règles de structuration (syntaxe) dans un
modèle de document [45]. Exemple : un symbole non terminal dans
une grammaire non contextuelle, un ELEMENT dans un Document Type
Definition (DTD).
II.2. LE LANGAGE DE SPÉCIFICATION LSAWFP 30
-- A ? S est un ensemble fini de symboles
particuliers appelés axiomes, représentant les tâches qui
peuvent démarrer un scénario d'exécution (racines des
artefacts représentatifs);
-- P ? S ×S*
est un ensemble fini de productions décorées par les
annotations ";" (est séquentiel à) et "k" (est
parallèle à) : ce sont des règles de
précédence. Une production P =
(XP(0),XP(1),···XP(|P|))
est soit de la forme P : X0 ? X1
;...;X|P|, ou de la forme P : X0 ?
X1 k ... k X|P| avec
|P| qui désigne la longueur de la partie droite de P.
Une production avec le symbole X en membre gauche est appelée une
X-production.
En considérant le cas du processus de
pré-soutenance d'une thèse de doctorat dont les artefacts
représentatifs sont présents à la figure 12, le GMWf
dérivé est G = (S,P,A) dans lequel l'ensemble S
des symboles grammaticaux est S =
{A,B,C,D,E1,E2,E3,F1,F2,F3,G1,G2,G3,H1,H2,H3,I1,I2,I3,J,K}
(voir sec. I.2.1.2); la seule tâche initiale (axiome) est A
(donc A = {A}) et l'ensemble P des productions
est:
P1 : A?B;C;D
P2 : A ? B;C;S;J ;K
P3 : S ? E1 k E2 k
E3
P4 : E1 ? F1 P7 : E2
? F2 P10 : E3 ? F3 P13 :
F1 ? G1 P16 : G2 ? E2 P19
: B ? E P22 : I1 ?
E
P5 : F1 ? H1 P8 : F2
? H2 P11 : F3 ? H3 P14 :
G1 ? E1 P17 : F3 ? G3 P20
: C ? E P23 : I2 ?
E
P6 : H1 ? I1 P9 : H2
? I2 P12 : H3 ? I3 P15 :
F2 ? G2 P18 : G3 ? E3 P21
: D ? E P24 : I3 ?
E
MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA
| 
