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

Annexe A ? Présentation du contenu des fichiers générés par LSAWfP

Editor 67

vii

LISTE DES ACRONYMES

BPM Business Process Management;

BPMN Business Process Model and Notation;

DS(E)L Domain Specific (Embeded) Language;

GMAWfP Grammatical Model of Administrative Workflow Process;

GMWf Grammatical Model of Workflow;

LSAWfP Language for the Specification of Administrative Workflow

Process;

P2PTinyWfMS Peer-to-Peer Tiny Workflow Management System;

UML Unified Modeling Language;

Wf-Net Workflow-Net;

WfM(S) Workflow Management (System);

WfMC Workflow Management Coalition;

XML eXtensible Markup Language;

YAWL Yet Another Workflow Management;

viii

LISTE DES TABLEAUX

I - Liste exhaustive des tâches du processus de pré-soutenance d'une thèse

de doctorat et de leurs exécutants respectifs. 9

II - Accréditations des différents acteurs prenant part au processus de pré-

soutenance 32

ix

TABLE DES FIGURES

1 - Les trois phases du cycle de vie BPM (source [1]). 11

2 - Les quatre activités clés du BPM (source [1]) 13

3 - Quatre constructions de routage basique (source [2]). 14

4 - Procédure de modélisation (source [3]) 15

5 - Éléments de base du BPMN (source [4]). 17

6 - Diagramme d'orchestration BPMN du processus de pré-soutenance. . 19

7 - Constructions de routage d'un réseau de workflow (source [2]). 20

8 - Exemple d'un réseau de workflow (source [5]). 20

9 - Éléments de base d'un diagramme YAWL (source [6]). 21

10 - Processus de pré-soutenance speci~é avec YAWL. 22

11 - Illustration des modèles de workflows structurés(source [7]). 24

12 - Artefacts représentatifs du processus de pré-soutenance d'une thèse de

doctorat 28

13 - Méthodologie de modélisation d'un processus à l'aide de LSAWfP

(source [8]) 33

14 - Capture d'écran de Bizagi Modeler 35

15 - Capture d'écran de YAWL Process Editor 36

16-Captured' écrandeBPMN.io 37

17 - Le logo de LSAWfP Editor 39

18 - L'architecture de LSAWfP Editor 40

19 - Panneau des artefacts et des scénarios sur LSAWfP Editor 41

20 - Panneau d'edition des modèles sur LSAWfP Editor 42

21 - Capture d'écran de LSAWfP Editor 43

22 - D'un GMWf vers un diagramme de workflow équivalent 45

23 - Exemple d'un diagramme de workflow: Processus d'expédition d'une

commande 45

24 - Équivalence entre les règles de Thompson et les diagrammes de workflows 46

25 - Fonctionnalité d'export dans LSAWfP Editor 55

TABLE DES FIGURES X

MÉMOIRE - TONLE NOUMBO FRANCK BRUNO URIFIA

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

BPMN.io 56

xi

RÉSUMÉ

Le travail réalisé dans ce mémoire s'inscrit dans le cadre du projet SmartWorkflow [9, 10, 8, 11, 12], initié par Tchoupé en collaboration avec Parigot. Ce projet consiste précisément en la modélisation des processus opérationnels avec une approche grammaticale; et en l'exécution décentralisée et centrée artefact des spécifications obtenues, sur une architecture orientée service. Un langage de modélisation, une méthodologie de spécification ainsi qu'un modèle d'exécution ont déjà été proposés.

Avant d'être automatisé, un processus opérationnel doit être spécifié dans un formalisme décrivant l'ensemble des tâches qui le compose, les relations de précédence d'exécution qui les lient, les données qu'elles consomment et produisent, et les acteurs chargés de les exécuter. Le processus de spécification est généralement facilité grâce à l'emploi d'un outil dit d'aide à la spécification. C'est ce à quoi nous nous attelons dans ce mémoire : la production d'un outil d'aide à la spécification des processus en LSAWfP (un langage de modélisation des processus administratifs avec une approche orientée scénario). Après une revue de la littérature sur le Business Process Management (BPM) et sur les travaux de modélisation effectués dans SmartWorkflow, nous étudions et analysons les principales fonctionnalités communément offertes par les outils d'aide à la spécification. Nous proposons également une méthode de conversion formelle des spécifications LSAWfP vers les autres langages de workflows. Nous terminons par une application directe de cette méthode à travers la proposition d'une fonction d'export de LSAWfP vers le BPMN sous le format BPMN XML 2.0.

Mots clés : SmartWorkflow, Spécification de workflow, LSAWfP, grammaires, processus opérationnel, BPM, conversion de spécification, BPMN XML

xii