Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM), Integrating a business process analysis and optimization step using BPMN model in a general process design and development approach : application to a paperless mail flow process

De
129 pages
Sous la direction de Pascal Yim, Hervé Camus
Thèse soutenue le 08 décembre 2009: Ecole Centrale de Lille
Cette thèse a été réalisée dans le cadre du projet « Gestion et Optimisation de la Chaîne Documentaire », projet labellisé par le Pôle de compétitivité des Industries du Commerce. Le projet a pour but de concevoir et de développer un nouveau workflow et un outil d’aide à la décision. Ce système doit être capable de gérer et d’optimiser le flux complet dématérialisé de contrats reçus à COFIDIS.Nous présentons d’abord le framework retenu dans le cadre du projet pour modéliser et implémenter le workflow. En phase de conception BPMN a été choisi. Pour la partie développement, l’utilisation de BPEL a été préconisée pour implémenter et exécuter l'application finale (services web).Cependant la flexibilité offerte par BPMN peut conduire à des propriétés indésirables du processus telles que blocage et inaccessibilité. De plus, BPMN a été conçu pour fournir des modèles Orientés Process. Les données ou les ressources y sont donc peu représentées. En conséquence, l'analyse de performance sur un modèle BPMN est quasi inexistante.Afin de surmonter ces problèmes nous proposons d’insérer dans le framework deux nouvelles phases. Ces deux phases sont appliquées au modèle BPMN. La première est une phase de vérification et de validation et la deuxième une phase d'optimisation. Ces deux phases sont réalisées en transformant le modèle BPMN vers un langage formel. Notre choix dans ce travail a été d'utiliser les réseaux de Petri. Ce qui nous a permis de vérifier et de valider de bonnes propriétés du process. Quant à l’optimisation, nous avons défini une nouvelle variante du problème d’affectation (bin packing problem) et proposé une résolution à intégrer dans le processus d’aide à la décision
-Workflow
-Bpmn
-Management de processus métier
-Réseaux de Petri
-Vérification
-Optimisation
-Problème de Bin Packing
-Bpel
This thesis has been realized as a part of the project GOCD (French acronym for Management and optimization of document life cycle) and within the context of the French competitive cluster PICOM. The project aims to design and develop a new paperless workflow system and decision making tool to replace the current paper based system. The new workflow system must manage and optimize received credit demands at COFIDIS.The first part of this thesis presents and discusses a framework to model and implement workflow systems. The proposed framework allows more flexibility in workflow reengineering process and operational analysis for different business process. The proposed framework uses the most recent and promising language to model and execute workflow the Business Process Modeling Notation (BPMN) and Business Process Execution Language (BPEL).The flexibility offered by BPMN can also lead to undesirable properties for business process such as deadlocks and unreachablity. More, BPMN notation was designed to model business process, and little consideration was concentrated to represent data and resources. As a result, carrying out performance analysis on a BPMN model is also limited.To overcome these problems, we propose two additional phases in the reengineering process. They are applied to the target BPMN model. The first phase is verification and validation and the second one is optimization. These two phases are realized by transforming the BPMN model to a formal language, Petri nets. As for optimization, a new variant of bin packing problem has been defined. And we propose to integrate its resolution in a decision making tool
-Workflow
-Bpmn
-Business process management
-Petri nets
-Verification
-Optimization
-Bin Packing Problem
-Bpel
Source: http://www.theses.fr/2009ECLI0021/document
Voir plus Voir moins

SPI
Directeur
Examinateur
072
vité
d'or
l
dr
de
e
Co-directeur
:
au
1
orteur
1
Professeur,
1
à
ÉCOLE
conférences
CENTRALE
à
DE
Conférences
LILLE
em
THÈSE
LA
présen
Cézanne
tée
à
en
aris
vue
herc
d'obtenir
Maître
le
,
grade
rançois
de
d'Ingénieurs
DOCTEUR
ascal
en
n
Sp
é
é
trale
cialité
UT
:
Ok
A
o
utomatique
ctorale
et
P
Informatique
Marseille
Industriel
BOCQUET
le
Cen
par
de
Ahmad
Jean-Claude
SHRAIDEH
de
Do
au
ctorat
hel
déli
conférences
v
G

Cen
par
Examinateur
l'École
Maître
Cen
l'École
trale
T
de
thèse
Lille
Profe
Analyse
C
et
de
optimisation
thèse
d'un
Maître
pro
l'École
cessus
Lille
à
B
partir
Dév
d'un
t
mo
Thèse
dèle
des
BPMN
a
dans
École
une
l'Univ
démarc
é
he
aul
globale
à
de
Rapp
conception
Jean-Claude
et
Professeur
de
l'École
dév
tra
elopp
e
emen
P
t
Examinateur
d
HENNET
'un
Directeur
pro
Rec
cessus
he
métier:
CNRS
Application
Mic
à
BIGAND
la
de
dématérialisation
HdR
de
l'ER
ux
I
cour
Ecole
rier
trale
du
Lille
pro
F
jet
PÉRÈS
GOCD
de
(PICOM)
à
Souten
Nationale
ue
de
le
ARBES
8
de
déc
P
em
YIM
bre
sseur
2009
l'École
dev
e
a
trale
n
Lille
t
de
le
Herv
jury
CAMUS
d'examen
de
:
à
Présiden
Cen
t
de
Jean-Claude
In
GENTINA
Olivier
Professeur
ER
à
Directeur
l'École
elopp
Cen
en
trale
à
de
aidi
Lil
préparée
le
sein
Rapp
Lab
orteur
r
Isab
toires
el
GIS
DEMONGODIN
Do
Professeur
ersit
à
N

tel-00579520, version 1 - 24 Mar 2011tel-00579520, version 1 - 24 Mar 2011euple
s÷urs
es
mes
u
p
Palestinien
ar
et
ents
A
À
p
mes
èr
fr
À
tel-00579520, version 1 - 24 Mar 2011près
da
our
ts
si
En
collègues,
premier
on
lieu,
Ces
je
p
tiens
ce
à
et
exprimer
disp
ma
cette
profonde
b
gratitude
seraien
aux
ciais
directeurs
t
de
à
cette
,
thèse
ersonnel
le
trale
Professeur
h
P
4
a
fait
sc
se
al
s
YIM
h
et
ts
à
pas
He
n'y
rv
toutes
é
qui
CAMUS,
tribué
Maître
de
de
réalisation
Con-
v
férences.
particulier,
Je
le
v
LA
eux
l'École
les
Lille
remercier
b
p
et
our
umaines
leur
qui
encadremen
t
t
que
plein
thèse
d'en
passe
thousiasme
n
et
la
de
onne
rigueur
umeur.
et
remerciemen
p
ne
our
t
la
complets
conance
je
don
asso
t
pas
ils
les
on
ersonnes
t
on
fait
con
preuv
de
e
ou
à
loin
mon
la
égard.
de
De
tra
plus,
ail
j
en
e
mes
tiens
tout
à
p
leu
du
r
GIS
manifester
de
ma
Cen
sincèr
de
e
p
reconnaissance
leur
p
onne
our
umeur
leurs
leur
grandes
onibilité.
qualités
h
Remerciemen
tel-00579520, version 1 - 24 Mar 2011.
.
.
ten
.
ts
.
List
.
of
BPEL
Figures
.
9
.
List
.
of
.
T
.
ables
.
10
.
Résumé
Ev
12
t
In
ol
tro
54
duction
.
21
33
1
.
F
.
rom
.
business
.
pro
.
cess
42
mo
.
deling
.
to
.
w
based
orko
1.3.2.2
w
.
a
49
nalysis
.
and
.
optimization
.
28
.
1.1
.
In
.
tro
BPMN
duction
.
.
.
.
.
.
.
.
.
.
1.3.1.2
.
.
.
.
.
.
.
.
.
.
.
BPMN
.
.
.
.
.
.
.
.
.
.
.
46
.
t
.
.
.
.
.
attern
.
ormation
.
.
.
.
.
BPMN2BPEL
.
.
.
.
.
.
28
.
1.2
5
Problematic:
.
mail
.
o
.
w
.
optimization
.
COFIDIS
.
.
.
.
1.3.1.1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
.
1.3
.
W
.
orko
.
w
34
reengineering
WS-BPEL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.3.2
.
to
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
.
1.3.1
1.3.2.1
Prop
en
osed
handler
standards
transformation
to
.
b
.
e
48
used
P
in
based
w
ransf
orko
.
w
.
reengineer-
.
ing
.
pro
.
c
1.3.2.3
ess
to
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Con
tel-00579520, version 1 - 24 Mar 2011.
problem
.
pro
.
cess
.
optimization
.
and
.
mo
.
deling
2.4.3
1.3.3
6
BPMN
.
limits
.
.
of
.
z
.
.
.
h
.
.
.
.
.
.
.
.
.
2.2
.
.
.
king
.
.
.
.
.
con
.
.
.
rst-used
.
.
.
and
.
.
.
.
.
rm
.
.
.
.
56
Conclusion
1.4
.
Prop
Conclusion
osed
.
framew
.
ork
.
for
.
w
.
orko
.
w
88
reengineering
.
.
.
.
2.2.2
.
.
.
2.2.3
.
to
.
problem
.
.
.
2.3
57
problem
1.4.1
.
F
.
ramew
.
ork
.
for
ol
w
.
orko
97
w
.
reengineering
.
.
99
.
.
.
.
.
.
.
test
.
.
.
.
.
.
.
.
57
.
1.4.2
.
P
ectiv
etri
.
ne
.
ts
.
.
.
.
.
.
.
.
Problems
.
.
.
.
.
.
.
.
.
.
.
.
.
Bin
.
BPP
.
.
.
.
.
.
.
.
.
assignmen
.
.
.
.
.
.
.
suitabilit
.
and
.
t
.
assignmen
.
.
60
.
1.4.2.1
.
Colored
.
P
Ge
etri
assignmen
nets
iden
.
(GAPIFB)
.
.
.
.
.
.
.
.
.
.
.
.
.
2.4
.
making
.
.
.
.
.
.
.
.
.
Short-term
.
.
64
.
1.4.2.2
.
Timed
.
P
.
etri
M
nets
h
.
.
.
.
.
.
.
.
.
.
.
ulation
.
.
.
.
.
.
.
.
.
109
.
.
.
.
.
.
.
.
.
.
64
.
1.5
.
Mo
113
deling
p
and
116
op
.
erational
.
analysis
.
for
.
the
.
curren
.
t
.
w
.
orko
.
w
.
at
.
COFIDIS
87
.
Related
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2.1
.
pac
.
problem
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
88
.
Generalized
65
t
1.6
GAP
W
.
orko
.
w
.
analysis
.
.
90
.
The
.
y
.
BPP
.
GAP
.
represen
.
COFIDIS
.
tracts
.
t
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
.
The
.
nerali
.
ed
.
t
.
with
.
tied
.
bins
.
.
70
.
1.7
.
W
.
orko
.
w
.
optimization
.
.
.
.
.
.
.
.
.
.
.
.
.
.
94
.
GAPIFB
.
decision
.
to
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.4.1
.
approac
.
.
.
.
75
.
1.8
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
2.4.2
.
id-te
.
approac
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
.
Sim
.
and
.
results
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
.
2
2.5
Business
.
pro
.
cess
.
optimization
.
and
.
h
.
e
.
lp
.
in
.
decision
.
taking
.
87
.
2.1
.
In
.
tro
.
duction
3
.
and
.
ersp
.
es
.
.
.
Business
tel-00579520, version 1 - 24 Mar 2011Bibliograph
7
129
pro
deling
cess
y
optimization
mo
and
Business
tel-00579520, version 1 - 24 Mar 201163
.
ts
of
.
Figures
B
1
Quasi
Pro
.
cess
1.17
lifecycle
.
.
.
.
example
.
53
.
as
.
1.15
.
.
.
.
.
.
.
.
.
.
.
44
.
.
.
.
.
.
.
neither
.
in
.
al.
.
.
.
orko
.
P
.
.
.
.
.
.
.
.
.
.
.
.
22
41
1.1
.
W
.
orko
.
w
ell-structu
reengineering
.
pr
51
o
F
cess
.
.
onan
.
.
.
acyclic
.
un
.
1.14
.
BPM
.
y
.
.
.
.
.
.
.
framew
.
.
.
1.16
.
.
.
.
.
.
.
Net
33
.
1.2
.
W
.
orko
BPM
w
.
reengineering
.
pro
.
cess
.
with
.
prop
.
osed
Example
standard
Pro
and
.
tec
.
hnologies
.
.
.
.
.
.
Mapping
.
comp
.
to
.
.
.
.
.
A
.
using
.
function
.
.
.
52
.
d
.
transformation
.
.
.
.
.
Example
.
onan
.
nor
.
.
.
.
.
del
.
to
.
to
.
osed
.
au
.
.
.
.
35
.
1.3
.
Ev
.
en
.
ts
ose
Ob
for
jects
reengineering
.
.
.
.
.
example
.
nets.
.
.
.
.
.
.
.
.
.
.
.
orko
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
N
.
.
.
.
.
.
.
.
.
.
.
.
.
.
38
.
1.4
.
A
.
ctivities
.
Ob
.
jects
1.9
.
of
.
PEL
.
cess
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.10
.
w
.
red
.
onan
.
in
.
BPEl
.
.
.
.
.
.
.
.
.
1.11
.
complete
39
in
1.5
the
Gate
OLD
W
.
a
.
ys
.
Ob
.
jects
1.12
.
Structure
.
comp
.
ts
.
.
.
.
.
.
.
.
.
.
.
1.13
.
of
.
comp
.
t
.
safe
.
so
.
d
.
.
.
.
.
54
.
Mo
.
transformation
.
order
.
use
.
N2BPEL
.
ol
39
prop
1.6
b
Connecting
P
Ob
et
jects
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
.
Prop
.
d
.
ork
.
w
.
w
.
.
.
.
.
.
.
.
.
59
.
An
.
of
.
etri
40
.
1.7
.
Swimlanes(P
.
o
.
ol
.
and
.
Lanes)
.
.
.
.
.
.
.
.
61
.
W
.
w
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
.
1.8
in
Artifacts
List
tel-00579520, version 1 - 24 Mar 2011.
.
op
pro
106
cess
.
optimization
.
and
.
mo
Beha
deling
ha
1.18
.
Timed
con
P
.
etri
cisi
nets
da
.
.
.
.
.
part
.
o
.
.
.
nets
.
cessing
.
.
.
.
.
orko
.
.
.
.
.
con
.
.
.
onse.
.
.
.
analysis
.
.
.
.
.
P
.
con
.
stamp
.
.
.
.
.
78
65
w
1.19
cor-
Curren
w
t
e(RED,
mails
.
w
.
orko
.
w
82
within
making
COFIDIS
.
.
te
.
.
.
.
.
2.3
.
o
.
.
.
.
.
t
.
.
.
.
.
74
.
and
66
.
1.20
.
New
.
prop
.
osed
1.26
mails
the
w
nets
orko
sim
w
w
.
at
.
.
.
.
.
.
.
.
.
.
.
.
.
P
.
ting
.
en
.
and
.
onding
.
for
.
dieren
.
t
.
.
.
.
.
.
68
.
1.21
.
The
.
mapping
.
of
.
task,
New
ev
with
en
ort
ts,
.
and
.
gatew
2.2
a
e
ys
pro
to
.
P
.
etri-net
.
as
.
prop
ostp
osed
o
b
er
y
.
D
.
i
.
jkman
.
.
9
.
resp
.
.
.
.
.
.
.
.
.
.
.
1.25
.
vioral
.
structural
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
.
A
.
of
.
colored
.
etri
71
t
1.22
t
F
ulate
unding
tracts
pro
ork-
ject
w
pro
time
ce
80.
ss
.
and
.
the
.
corresp
.
onding
.
P
.
etri
.
nets
.
mo
.
del
.
73
.
1.23
1.27
Mo
etri
died
represen
P
t
etri
o
n
terprises
ets
erators
mo
their
del
resp
to
pro
represen
time
t
t
con
o
tin
t
uous
tract
funding
yp
pro
BLUE).
ject
.
pro
.
cess
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.1
.
w
.
w
.
decision
.
supp
.
.
.
.
.
.
.
.
.
.
.
98
.
In
.
ractiv
.
de
73
on-making
1.24
cess
P
.
etri
.
ne
.
ts
.
mo
.
del
.
for
.
the
100
prop
P
osed
oned
w
tracts
orko
w
w.
v
a)
D
Handling
ys
a
.
con
.
tract
.
b
.
y
.
a
.
collab
.
orator.
Clien
b)
Business
tel-00579520, version 1 - 24 Mar 2011.
.
approac
of
er
T
.
ables
ac
1.1
.
Comp
.
etence
.
matrix
79
e
First
xam
.
ple
.
.
prot
.
.
.
.
.
w
.
.
.
.
.
results
.
rst
.
the
.
mid-
.
.
.
.
.
.
.
2.3
.
approac
.
.
.
.
.
.
.
.
30
10
1.2
time
Daily
.
tasks
.
tabl
.
e
.
example
Sim
for
the
t
for
w
110
o
results
services
appr
.
and
.
approac
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
v
.
using
31
o
1.3
random
Results
.
extracted
.
from
.
sim
.
ulating
.
con
.
tracts
.
assignmen
112
t
of
pro-
ork
cess
units.
using
.
c
.
o
.
lored
.
P
.
etri
.
nets.
.
.
.
.
2.1
.
ulation
.
of
.
short-term
.
h
.
the
.
stage
.
2.2
.
stage
.
for
.
short-term
.
o
.
h
.
the
.
term
.
h
.
.
.
.
78
.
1.4
.
Result
.
from
.
t
.
w
.
o
.
dieren
.
t
.
con
.
tracts
.
assi
112
gnmen
A
ts
erage
for
of
the
mid-term
same
h
con
v
tracts
10
sampl
samples
e
.
.
.
Dieren
.
t
.
con
.
tract
.
s
.
assignmen
.
ts
.
needed
.
dif
.
-
.
feren
.
t
.
n
.
um
er
b
List
tel-00579520, version 1 - 24 Mar 2011