WOW !! MUCH LOVE ! SO WORLD PEACE !
Fond bitcoin pour l'amélioration du site: 1memzGeKS7CB3ECNkzSn2qHwxU6NZoJ8o
  Dogecoin (tips/pourboires): DCLoo9Dd4qECqpMLurdgGnaoqbftj16Nvp


Home | Publier un mémoire | Une page au hasard

 > 

Contribution to the facilitation of business process specification with a scenario-oriented approach


par Franck Bruno TONLE NOUMBO
University of Dschang - Master 2021
  

précédent sommaire suivant

Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy

III.3. PRINCIPE DE CONVERSION D'UN GMWF EN UN DIAGRAMME DE WORKFLOW

ÉQUIVALENT 53

4 - La fonction JOIN

La fonction JOIN nous permet de concaténer un graphe non vide et un graphe annoté.

Définition 14 Soit G1 un graphe non annoté et (G2,L2) un couple (Graphes, Liste Annotations) avec L2 une liste contenant les annotations des éléments récursifs exécutés avant G2 :

1. JOIN(G1,(G2,L2)) = (G,NULL)

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

Remarque : JOIN concaténe deux graphes si et seulement si le premier d'entre eux se termine. Sinon, il retourne une erreur.

III.3. PRINCIPE DE CONVERSION D'UN GMWF EN UN DIAGRAMME DE WORKFLOW

ÉQUIVALENT 54

5 - Redéfinition de la fonction CONCAT

La fonction CONCAT nous permet de concaténer deux ou plusieurs diagrammes de workflows annotés.

Elle consiste en une jointure deux à deux, des différents graphes annotés pris en paramètres. La fonction CONCAT s'arrête lorsqu'elle a joint tous les graphes, et renvoie une erreur si elle rencontre une liste non vide d'annotations avant le dernier paramètre.

Définition 15 Soit (G1,L1);(G2,L2);...;(GN,LN) des couples de (Graphes, Liste Annotations) avec Lk la liste contenant les annotations des éléments récursifs qu'on exécute avant Gk :

1. CONCAT((G1,L1);(G2,L2);...;(GN,LN)) = (G,NULL)

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

6 - Redéfinition des fonctions DIAGR et DIAG

La fonction DIAGR (Diagram Right) nous permet d'obtenir le diagramme de workflow annoté complet, de la partie droite d'une production de l'ensemble P du GMWf.

La fonction DIAG quant à elle, nous permet d'obtenir le diagramme de workflow annoté complet d'une tache. Ce diagramme démarre sur la tache en entrée et s'achève lorsque tous les successeurs de la tache ont été exécutés.

Définition 16

DIAGR(a,u,H) =

?

???

???

E si, a = E

CONCAT({DIAG(Xi,u.i,H)}1< i < n) si, a = X1; ...;Xn

AND({DIAG(Xi,u.i,H)}1< i < n) si, a = X1 || ... || Xn

III.4. FONCTION D'EXPORT DE LSAWFP VERS LE BPMN XML 2.0 55

Définition 17

DIAG(X,u,H) =

?

????????????? ?

??????????????

å si, A = å

JOIN ( P1 : A --* X1;...;Xn

DIAGM(X,u), P2 : A --* X1||..||Xn

...

...

...

OR(

{DIAGR(rhs(Pi),u,H u(X,u))}1< i < n ou,

)

) Pn : A --* ...

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

A partir du principe de fonctionnment de la fonction DIAG, l'on déduit que pour obtenir le diagramme de workflow d'un GMWf, il nous suffit de déterminer:

({ ( )} )

G = OR DIAG Ai,i,[ i avec Ai les elements de A

i

Puis d'appliquer un post-traitement sur le diagramme de workflow annoté complet G. Il aura pour but de remplacer les annotations par des liens explicites vers les différentes taches récursives de notre diagramme.

III.4. Fonction d'export de LSAWfP vers le BPMN XML 2.0

Lorsqu'on applique notre formule de conversion à un GMWf, on obtient en sortie un diagramme de workflow qui n'est propre à aucun langage de workflow. Il contient l'ensemble des taches du processus et leurs relations de précédence. Il peut par conséquent être sérialisé dans un langage de workflow spécifique afin d'obtenir le modèle de workflow du processus dans ce langage. Dans le cadre de notre étude, nous sérialisons ce diagramme afin d'obtenir en sortie une spécification BPMN sous le format BPMN XML 2.0. Cette sérialisation fait office de fonctionnalité d'export dans LSAWfP Editor.

FIGURE 25 - Fonctionnalité d'export dans LSAWfP Editor

III.5. CONCLUSION 56

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

Il devient à présent possible de spécifier un processus à l'aide de LSAWfP dans LSAWfP Editor, puis l'exporter en BPMN sous le format BPMN XML 2.0 et enfin le visualiser dans un autre outil de spécification. À titre d'illustration, on peut observer le résultat de l'export de notre exemple courant spécifié sur LSAWfP Editor. Le fichier obtenu est visualisé sur l'outil BPMN.io, et on constate que son flot de contrôle est en tout point identique au modèle que nous avons spécifié manuellement dans la section portant sur le BPMN (voir sec. I.3.2.1).

FIGURE 26 - Visualisation du modèle BPMN généré par LSAWfP Editor sur BPMN.io

LSAWfP Editor devient ainsi interopérable avec les autres outils de modélisation déjà existants qui permettent d'exécuter ou visualiser des spécifications BPMN.

III.5. Conclusion

Dans ce dernier chapitre portant sur la facilitation de la spécification des processus administratifs avec une approche orientée scénario, nous avons présenté LSAWfP Editor, un outil d'aide à la spécification des processus modélisés avec LSAWfP. L'outil proposé tire ses fonctionnalités principales d'une revue des outils existants de spécification. Il propose notamment une large palette d'outils permettant une parfaite modélisation graphique des processus LSAWfP. Il permet en plus la sauvegarde graphique et la visualisation des spécifications,

CONCLUSION GÉNÉRALE 57

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

ce qui conduit à la fonctionnalité de partage de ces dernières. Il offre enfin une fonctionnalité d'export vers un format que nous proposons; ceci dans le but d'assurer l'interopérabilité entre lui, les outils actuels et les éventuels outils qui seront créés dans le cadre du projet. Notre seconde contribution a été l'établissement d'une formule mathématique permettant de convertir des GMWf en diagramme de workflow. Une application de cette formule a été faite et proposée sous forme de fonctionnalité dans LSAWfP Editor: L'export vers le BPMN XML 2.0. Elle a été testée à travers l'export de notre exemple courant. Nous avons obtenu un diagramme d'orchestration BPMN généré équivalent à celui que nous avions spécifié manuellement; d'où l'interopérabilité effective entre LSAWfP Editor et les autres outils de spécification.

58

précédent sommaire suivant






Bitcoin is a swarm of cyber hornets serving the goddess of wisdom, feeding on the fire of truth, exponentially growing ever smarter, faster, and stronger behind a wall of encrypted energy








"Des chercheurs qui cherchent on en trouve, des chercheurs qui trouvent, on en cherche !"   Charles de Gaulle