Professional Documents
Culture Documents
Organisation du cours
Concepts et notations
Modlisation des processus
Systmes de gestion de processus
Processus transactionnels
Dcouverte de processus
Intelligence des processus
processus interentreprises
processus sur le Web
Validation des modles de processus
Dimension managriales des processus
Conclusion
11/10/2013
Chapitre 3 :
Modlisation des processus
Dimensions de la modlisation
11/10/2013
Contenu (1)
De fait, il existe assez peu dapproches de
modlisation spcifiques aux processus mtiers
oprationnelles couvrant toutes ces dimensions
(voir cependant OSSAD http://dumas.univtln.fr/Ossad/Appel%20vol%201.htm )
Aussi, le chapitre prsente plus des notations
formelles quune mthodologie
danalyse/conception
Mais, le fait de modliser en se demandant si le
processus est bien structur, bien parenthse,
choix libre supporte une discipline de
conception efficace
Les processus mtiers: concepts, modles et systmes
Contenu (2)
Le chapitre introduit la notion de
processus bien structur et bien
parenths
Il prsente lessentiel des concepts des
modles Rseaux de Petri, UML et EPC
pour modliser des processus bien
structurs
11/10/2013
11/10/2013
[SAD 00]
Les processus mtiers: concepts, modles et systmes
11/10/2013
[SAD 00]
Les processus mtiers: concepts, modles et systmes
Processus corrects
[SAD 00]
Les processus mtiers: concepts, modles et systmes
11/10/2013
11/10/2013
A structurer !?
Modliser avec
des Rseaux de Ptri (RdP)
11/10/2013
RdP
Principes de modlisation
11/10/2013
Dfinition
On appelle rseau de Petri places/transition tout
triplet N = (P,T,W) o :
P est un ensemble fini de places : P = {p1, , pn}
T est un ensemble fini de transitions, disjoint de P : T
= {t1, , tm}
W : PxT U TxP N (entiers naturels) est la fonction
de valuation des arcs
Graphiquement, par convention, les arcs de valuation nulle ne sont pas
reprsents; les valuations gales 1 sont omises (valeur par
dfaut); dans les autres cas, les valuations sont explicites.
Les processus mtiers: concepts, modles et systmes
10
11/10/2013
Exemple Service
Modlisation dun service (imprimante,
coiffeur)
Service
Service fait
Demande
Demande
Service fait
En_cours
Libre
Service fait
Demande
En_cours
Les processus mtiers: concepts, modles et systmes
11
11/10/2013
Exemple Service ( t, t )
12
11/10/2013
1er pas :
m(Demande) = m(Demande) w(Demande, Dbut_service)
+ w(Dbut_service, Demande) = 3 -1 + 0 = 2
m(Libre) = m(Libre) w(Libre, Dbut_service) +
w(Dbut_service, Libre) = 1 -1 + 0 = 0
m(En_cours) = m(En_cours) w(En_cours, Dbut_service)
+ w(Dbut_service , En_cours) = 0 -0 + 1 = 1
Les processus mtiers: concepts, modles et systmes
13
11/10/2013
14
11/10/2013
15
11/10/2013
Demande
Demande
Service fait
En_cours
16
11/10/2013
Exemple
17
11/10/2013
permettent de
Plier/dplier un modle
De reprsenter le raffinement dune
activit compose en sous-activit
18
11/10/2013
permettent de
De qualifier les jetons avec des attributs
De distinguer les cas
Sur lesquelles peuvent porter des
conditions de franchissement
19
11/10/2013
permettent de
Dassocier des timestamps aux jetons
(date partir de laquelle un jeton peut tre
consomm)
Dassocier des temps de franchissement
aux transitions (dexcution aux activits)
Dajouter des dlais aux activits
Pour faire de la simulation temporelle
Les processus mtiers: concepts, modles et systmes
20
11/10/2013
RdP
Modlisation du flot de contrle
21
11/10/2013
Exclusion mutuelle
y
x
z
22
11/10/2013
RdP
Modlisation du flot de donnes
23
11/10/2013
RdP
Modlisation des ressources
24
11/10/2013
25
11/10/2013
RdP
Proprits classiques
26
11/10/2013
RdP born
Labsence dune borne limite pour le nombre de
jetons dans une place est gnralement source
de problme
Un RdP est k-born si, depuis le marquage
initial, il ne peut atteindre aucun marquage dans
lequel il y a plus de k jetons; dans le cas
contraire, il est non born
Un RdP born a toujours un nombre de
marquages fini
27
11/10/2013
RdP vivace
Une transition est morte si et seulement si elle
nest pas tire dans aucun marquage possible
Une transition est vivante si, depuis nimporte
quel marquage, on peut atteindre un marquage
dans lequel la transition est tirable
Un RdP est vivace si et seulement si toutes ses
transitions sont vivantes
Vivacit et terminaison sexcluent.
28
11/10/2013
(RdP rversible)
Un marquage a la proprit home-marking
sil peut toujours tre nouveau atteint
Un RdP est rversible si son tat initial est
un home-marking
RdP
Validation
29
11/10/2013
WF-Net
Un WF-Net est un RdP qui a les proprits
suivantes :
Une seule place dentre et une seule place
de sortie
Chaque place et chaque transition se trouve
sur un chemin allant de la place initiale la
place finale
La consommation dun jeton dans la place
initiale produit un et un seul jeton dans la
place finale
Les processus mtiers: concepts, modles et systmes
Processus sain
Un processus sain est un processus qui
ne contient pas dactivit inutile et o
chaque cas se termine compltement
sans laisser de rfrence lui-mme
La vrification brute de cette proprit
conduit une explosion combinatoire
Mais un WF-net vivace (sans blocage et
sans boucle) et born est sain
On sait vrifier ces proprits
Les processus mtiers: concepts, modles et systmes
30
11/10/2013
31
11/10/2013
32
11/10/2013
WF-Net
Un WF-Net est un RdP qui a les proprits
suivantes :
Une seule place dentre et une seule place
de sortie
Chaque place et chaque transition se trouve
sur un chemin allant de la place initiale la
place finale
La consommation dun jeton dans la place
initiale produit un et un seul jeton dans la
place finale
Les processus mtiers: concepts, modles et systmes
33
11/10/2013
Well-structured WF-Net
Un WF-Net bien structur est un WF-Net
bien parenths
34
11/10/2013
35
11/10/2013
36
11/10/2013
Et celui-ci ?
37
11/10/2013
Analyse quantitative
Analyse par simulation
valuation de proprits recherches
par visualisation de cas
valuation de traces dexcution
Exemple (2)
38
11/10/2013
Exemple (2)
Dans la variante (a), plusieurs activits de
rservation dhtels et de vols sexcutent
en parallle, dans la variante (b) une seule
activit pour toutes les rservations
Lanalyse peut permettre dvaluer quelle
est la stratgie la plus efficace,
ventuellement en fonction de circonstances
Conclusion RdP
Certainement le fondement principal pour
la gestion des flots de contrle
Quelques outils utiles, mais la validation
automatique est loin dtre atteinte
en particulier pour les rseaux colors
Les RdP sont souvent embarqus de
faon cache dans bons nombres doutils
associs aux SGWf.
Les processus mtiers: concepts, modles et systmes
39
11/10/2013
Modliser avec
Unified Modelling Language
(UML)
40
11/10/2013
UML
Modlisation du flot de contrle.
Les diagrammes dactivit
Discordance du vocabulaire
Processus Activit en UML
Activit Action en UML
41
11/10/2013
42
11/10/2013
43
11/10/2013
UML
Modlisation du flot de donnes
44
11/10/2013
Diagramme de classes
Classique
Indispensable la modlisation du flot de
donnes
Utilis pour la mta-modlisation
(modlisation des modles de processus)
Et la modlisation du modle
organisationnel
Les processus mtiers: concepts, modles et systmes
45
11/10/2013
Diagramme de squence
Les diffrents scnarios permettent de
dcouvrir les diffrentes alternatives dans
le flot de contrle
46
11/10/2013
47
11/10/2013
UML
Modlisation du modle
organisationnel
48
11/10/2013
Mta-modle organisationnel
49
11/10/2013
Swimlanes
Diffrentes organisations
50
11/10/2013
Validation
Le processus est-il bien structur ?
Est-il sain (sans blocage, born) ? Peu
outill, mais se poser nanmoins la
question et utiliser des principes de
modlisation qui limite les risques en
sinspirant des RdP
51
11/10/2013
Conclusion UML
Moins adapt et outill que les RdP
Mais les diagrammes dactivits
empruntent aux RdP
Permettent une bonne intgration
lanalyse et la conception avec les
autres aspects dun logiciel, en particulier
dans le contexte de dveloppement
orient objet
Les processus mtiers: concepts, modles et systmes
Modliser avec
Event Process Chain (EPC)
52
11/10/2013
Principes de modlisation
4 perspectives :
Organisationnelle
Donne
Activit
Contrle
3 niveaux dabstraction
Dfinition des besoins
Conception
Implantation
Les processus mtiers: concepts, modles et systmes
Perspectives et niveaux
dabstractions
53
11/10/2013
Elments de notation
54
11/10/2013
Connecteur ET (1)
55
11/10/2013
Connecteur ET (2)
56
11/10/2013
Connecteur OU (1)
57
11/10/2013
Connecteur OU (1)
Chemin de processus
58
11/10/2013
Conclusion EPC
Trs utilis dans le monde ERP, SAP
Fondement dans les RdP
59
11/10/2013
60
11/10/2013
61
11/10/2013
Conclusion (1)
Le chapitre prsente plus des notations
formelles quune mthodologie
danalyse/conception comme introduite dans
Cependant, le fait de modliser en se
demandant si le processus est bien structur,
bien parenthse, choix libre supporte une
discipline de conception efficace
De fait, il existe assez peu dapproches de
modlisation spcifiques aux processus mtiers
oprationnelles (voir cependant OSSAD
http://dumas.univ-tln.fr/Ossad/Appel%20vol%201.htm )
Les processus mtiers: concepts, modles et systmes
62
11/10/2013
Conclusion (2)
RdP est probablement le modle formel le
mieux outill
UML est utilis en phase danalyse et de
conception lorsque le processus est
embarqu dans un contexte logiciel plus large
EPC est trs utilis en pratique dans le
contexte ERP, mais les outils EPC
emballent les concepts des RdP
Les processus mtiers: concepts, modles et systmes
Rfrences
[AAL 00] VAN DER AALST W. M. P., TER HOFSTEDE A. H. M., Verification of Workflow Task
Structures : A Petri-net-baset Approach , Inf. Syst., vol. 25, n 1, p. 43-69, 2000.
[AAL 02] VAN DER AALST W. M. P., VAN HEE K. M., Workflow Management : Models, Methods,
and Systems, MIT Press, Cambridge, 2002.
[AAL 11] VAN DER AALST W. M. P., STAHL C. Modelling Business Processes : A Petri NetOriented Aproach, MIT Press, Cambridge, 2011.
[DON 05] VAN DONGEN B. F., VAN DER AALST W. M. P., VERBEEK H. M. W., Verification of
EPCs : Using Reduction Rules and Petri Nets , CAiSE, p. 372-386, 2005.
[DUM 12a] DUMAS M. and al. Understanding Business Process Models: The Costs and Benefits
of Structuredness, CAISE 2012
[DUM 90a] DUMAS P., CHARBONNEL G., La mthode OSSAD : pour matriser les technologies
de linformation - Tome I : Principes, Editions dOrganisation, Paris, 1990.
[DUM 90b] DUMAS P., CHARBONNEL G., La mthode OSSAD : pour matriser les technologies
de linformation - Tome II : Guide pratique, Editions dOrganisation, Paris, 1990.
[EPC 08] EPC, Event-driven Process Chain , en.wikipedia.org/wiki/Event-driven_ProcessChains, 2008.
[FAW 97] FAWLER M., Uml distilled. Applying the standard object modeling language, AddisonWesley, Reading, 1997.
[FAW 05] FAWLER M., Uml distilled. A brief guide to the standard object modeling language,
Addison-Wesley, Reading, 2005.
[FOS 05] FOSTER H., UCHITEL S., MAGEE J., KRAMER J., HU M., Using a Rigorous
Approach for Engineering Web Service Compositions : A Case Study , IEEE Service Computing
Conference, p. 217-224, 2005.
[FU 04] FU X., BULTAN T., SU J., Analysis of interacting BPEL web services , Wold Wide Web
conference, p. 621-630, 2004.
[GEF 08] GEFFROY J. C., Introduction aux rseaux de Petri,
cyranac.free.fr/pub/cours/cnamMOCA/CH10.pdf, 2008.
63
11/10/2013
Rfrences
[LIA 07] LIANG-JIE ZHANG JIA ZHANG H. C., Services Computing, Springer, Berlin, 2007.
[MAR 95] MARSAN M. A., BALBO G., DONATELLI S., FRANCESCHINIS G., Modelling with
Generalized Stochastic Petri Nets, Springer-Verlag, Heidelberg, 1995.
[OBE 96] OBERWEIS A., SANDER P., Information system behavior specification by high level
Petri nets , ACM Transactions on Information Systems, vol. 14, n 4, p. 380-420, ACM, 1996.
[OMG 06] OMG, Business Process Definition Metamodel , www.omg.org/docs/bei/03-0106.pdf, 2006.
[PAP 07] PAPAZOGLOU M. P., VAN DEN HEUVEL W. J., Business process development life
cycle methodology , Communication of ACM, vol. 50, n 10, p. 79-85, 2007.
[PET 08] PETRI, Rseaux de Petri , fr.wikipedia.org/wiki/R%C3%A9seau_de_Petri, 2008.
[RUM 00] RUMBAUGH J., BOOCH G., JACOBSON I., Le guide de lutilisateur UML, Eyrolles,
Paris, 2000.
[SAD 00] SADIQ W., ORLOWSKA M. E., Analysing Process Models Using Graph
ReductionTechniques , Information Systems, vol. 25-2, p. 117-134, 2000.
[SAL 04] SALAN G., BORDEAUX L., SCHAERF M., Describing and Reasoning on Web
Services using Process Algebra , International conference on Web Services, 2004.
[SAP 08a] SAP, SAP NetWeaver , en.wikipedia.org/wiki/NetWeaver, 2008.
[SAP 08b] SAP, SAP R/3 , en.wikipedia.org/wiki/SAP_R/3, 2008.
[SCH 98] SCHEER A. W., Business Process Engineering : Reference Models for Industrial
Enterprises, Springer-Verlag, Heidelberg, 1998.
[TUR 07] TURNER K. J., Representing and analysing composed web services using Cress , J.
Network and Computer Applications, vol. 30, n 2, p. 541-562, 2007
64