Introduction de nouveaux éléments lors du
procédé de conversion
Pour que la conversion des spécifications
récursives puisse être possible, de nouveaux
éléments doivent être pris en compte lors du
procédé de conversion de ces spécifications. En effet, la
boucle infinie à laquelle on fait face lors de la conversion
résulte de notre incapacité à identifier chaque tache de
façon unique afin de déterminer si oui ou non, elle est
déjà en cours de conversion. Pour corriger cela, nous
introduisons:
-- Un adressage unique de chaque tache de nos
artefacts représentatifs
Ceci est fait dans le but d'identifier les taches
récurrentes c'est-à-dire les taches déjà en cours
de conversion. Cet adressage sera fait a l'aide de l'annotation de Dewey
[50].
-- Un historique des taches traitées lors
du parcours d' un chemin de l'artefact
Lorsqu'une tache sera en cours de conversion, elle sera
directement transmise à tous ses fils comme historique afin que ceux-ci
ne refassent plus son calcul s'ils la rencontrent une seconde fois. Cette
approche nous évite d'entrer dans une boucle infinie, car lors de la
rencontre d'une tache déjà en cours de conversion, une annotation
sera marquée sur la tache précédent sa seconde instance.
Ceci dans le but de représenter la relation ittérative
existante entre elle et la tache en cours de conversion.
III.3. PRINCIPE DE CONVERSION D'UN GMWF EN UN DIAGRAMME DE
WORKFLOW
ÉQUIVALENT 51
Une annotation peut tout simplement être perçue
comme un lien implicite entre deux éléments.
Redéfinition des différentes fonctions
de conversion
L'introduction de l'historique et de l'adressage nous conduit
à une redéfinition des fonctions précédemment
citées. On passe de 6 à 7 fonctions de conversion. Nous avons:
1 - Redéfinition de la fonction
DIAGM
La fonction DIAGM (Diagram Minimun) nous permet
d'obtenir le diagramme de workflow annoté minimal d'une tache
provenant du GMWf.
Définition 11 .
2 - Redéfinition de
la fonction OR
La fonction OR nous permet de représenter une
alternative dans le diagramme de workflow annoté.
Définition 12 Soit
(G1,L1);(G2,L2);...;(GN,LN) des couples de (Graphes, Liste Annotations) avec
L1,...,LN des listes contenant les annotations des éléments
récursifs (éléments en cours de conversion) faisant partie
des alternatives de la fonction OR :
1. OR((A,B)) = (A,B)
2. OR((NULL,L1);(NULL,L2);...;(NULL,LN)) = (G,NULL)
MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA
3. OR((G1,L1);(G2,L2);...;(GN,LN)) = (G,NULL)
III.3. PRINCIPE DE CONVERSION D'UN GMWF EN UN DIAGRAMME DE
WORKFLOW
ÉQUIVALENT 52
3 - Redéfinition de
la fonction AND
La fonction AND nous permet de représenter une
exécution parallèle dans le diagramme de workflow
annoté.
Définition 13 Soit
(G1,L1);(G2,L2);...;(GN,LN) des couples de (Graphes, Liste Annotations) avec
L1,...,LN des listes contenant les annotations des éléments
récursifs (éléments en cours de conversion) faisant parti
des taches à exécuter simultanément:
1.
MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA
AND((A,B)) = (A,B)
2. AND((NULL,L1);(NULL,L2);...;(NULL,LN)) =
(G,NULL)
3. AND((G1,L1);(G2,L2);...;(GN,LN)) = (G,NULL)
| 
