III.3. PRINCIPE DE CONVERSION D'UN GMWF EN UN DIAGRAMME DE
WORKFLOW
ÉQUIVALENT 50
Conclusion: Sachant que le diagramme de workflow final
est déduit de la formule OR ({DIAG(Ai)}),
on conclut que tout diagramme de workflow retourné par
notre formule est structuré.
III.3.3. Conversion d'une spécification
récursive
La formule de conversion actuelle souffre d'une grosse limite.
Lors de la conversion d'une spécification LSAWfP dans laquelle un des
artefacts représentatifs est récursif, la formule entre dans une
boucle infinie pendant le calcul de OR ({DIAG(Ai)}). La
récursivité étant un concept clé et largement
rencontré au sein des processus administratifs, il est impératif
de pouvoir les prendre en charge au cours de la conversion des
spécifications. C'est cette principale raison qui nous pousse à
effectuer des ajustements sur la formule actuelle afin qu'elle puisse
parfaitement convertir des spécifications LSAWfP récursives.
|