You are on page 1of 64

11/10/2013

Les processus mtiers :


concepts, modles et systmes

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

11/10/2013

Chapitre 3 :
Modlisation des processus

Les processus mtiers: concepts, modles et systmes

Dimensions de la modlisation

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

11/10/2013

Notion de processus bien structur (1)


Un seul point dentre et un seul point de
sortie
Toute activit est sur un chemin allant du
point dentre au point de sortie
Les connecteurs de flot de contrle sont
bien parenthss (AND-Split-AND-Join;
XOR-Split, XOR-Join; OR-Split-Jonction )

Les processus mtiers: concepts, modles et systmes

Notion de processus bien structur (2)

Les processus mtiers: concepts, modles et systmes

11/10/2013

Notion de processus bien structur (3)


Dans le cas (a), une parenthse OR-Split est
ferme par une parenthse AND-Join, il y a
risque de blocage : si une seule branche est
active, la porte AND-JOIN nest jamais franchie
Le graphe de processus contient une impasse

Dans le cas (b), une parenthse AND-Split est


ferme par une parenthse OR-Split. quel est
linterprtation de cet OR-Split ?
Le graphe de processus manque de
synchonisation
Les processus mtiers: concepts, modles et systmes

Processus avec blocage (impasse)

[SAD 00]
Les processus mtiers: concepts, modles et systmes

11/10/2013

Processus avec manque de


synchonisation

[SAD 00]
Les processus mtiers: concepts, modles et systmes

Processus corrects

[SAD 00]
Les processus mtiers: concepts, modles et systmes

11/10/2013

Tout processus peut-il tre transform un


processus bien structur ?
(Presque) oui
Certains ne peuvent tre transforms
quen dupliquant des activits
Il existe des cas non transformables
mais trs particuliers

Les processus mtiers: concepts, modles et systmes

Duplication dune activit

Les processus mtiers: concepts, modles et systmes

11/10/2013

A structurer !?

Les processus mtiers: concepts, modles et systmes

Modliser avec
des Rseaux de Ptri (RdP)

Les processus mtiers: concepts, modles et systmes

11/10/2013

Pourquoi les RdP ?


Fondements mathmatiques techniques
danalyse
Notations graphiques plus facilement
accessible des non spcialistes
Similarits avec les langages et outils BPM
choisi pour dvelopper une smantique formelle
de ces langages (EPC, diagrammes dactivit
UML, WS-BPEL)
Plus implicite et compacte que les modles
transitions
Les processus mtiers: concepts, modles et systmes

RdP
Principes de modlisation

Les processus mtiers: concepts, modles et systmes

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

Symboles et principes de base

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

Exemple Service (P,T,W)


P = {Demande, Libre, En_cours, Service
fait}
T = {Dbut_service, Fin _service}
W = {{Demande, Dbut_service, 1}, {Libre,
Dbut_service, 1}, {Dbut_service,
En_cours, 1}, {En_cours, Fin_service, 1},
{Fin_service, Libre, 1}, {Fin_service,
Services fait, 1}}
Les processus mtiers: concepts, modles et systmes

11

11/10/2013

Place dentre et place de sortie


Une place p est une place dentre dune
transition t si (p,t) appartient W.
lensemble t = {(p,t,?) de W} dfinit les
places dentre de t

Une place p est une place de sortie dune


transition t si (t,p,?) appartient W
Lensemble t = {(t,p, ?) de W} dfinit les
places de sortie de t
Les processus mtiers: concepts, modles et systmes

Exemple Service ( t, t )

Dbut_service = {Demande, Libre}


Fin _service = { En_cours}
Dbut_service = {En_cours}
Fin_service = {Service fait, Libre}

Les processus mtiers: concepts, modles et systmes

12

11/10/2013

Marquage, transition tirable,


franchissement dune transition
On appelle marquage dun RdP (P,T,W) toute
fonction m : P N (entiers naturels).
Dans un RdP (P,T,W), une transition t est tirable
dans un marquage M si et seulement si, pour
toute place p de t, m(p) > w(p,t)
Le franchissement dun transition t conduit un
nouveau marquage tel que :
m(p) = m(p) w(p,t) + w(t,p)
Les processus mtiers: concepts, modles et systmes

Exemple Service (Marquage)


Marquage initial :
{m(Demande) =3, m(Libre) =1, m(En_cours) = 0, M(Service
fait) = 0}

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

Modliser des processus


avec des rseaux de Petri.

Les processus mtiers: concepts, modles et systmes

Rle des jetons


Un jeton peut reprsenter :
Un objet (un produite, une personne )
Une information (message, signal )
Un indicateur dtat (dun artefact, dune
activit, dun processus )
Un indicateur de condition (la prsence dun
jeton dit si une condition ou une partie de
condition est remplie, y compris pour la mise
en uvre de patron de flot de contrle )

Les processus mtiers: concepts, modles et systmes

14

11/10/2013

Rle des places


Une place peut reprsenter :
un media de communication
un buffer (une queue de messages )
un emplacement gographique
un tat, un vnement

Les processus mtiers: concepts, modles et systmes

Le rle des transitions


Une transition reprsente :
une activit en gnral
Un vnement : le dbut, la fin dune activit
La transformation dun objet
Le transport dun objet

Les alineas 1 et 2 prsentent-il deux


approches de modlisation diffrentes ?
(cf. Exemple Service )
Les processus mtiers: concepts, modles et systmes

15

11/10/2013

Processus vs. Rseau de Ptri


Les activits sont reprsentes par des
transitions, ou des sous RdP
Les connecteurs de flots de contrle sont
reprsents par des (sous)-RdP
Les cas sont reprsents par des jetons

Les processus mtiers: concepts, modles et systmes

Reprsentation des activits :


Une activit comme une transition
Une activit comme un RdP
Service
Service fait

Demande

Demande

Service fait
En_cours

Les processus mtiers: concepts, modles et systmes

16

11/10/2013

Exemple

Les processus mtiers: concepts, modles et systmes

Limites des RdP classiques


Passage lchelle
Pouvoir dexpression limit
Pas de modlisation du temps
RdP hierarchiss
RdP colors
RdP temporiss
Les processus mtiers: concepts, modles et systmes

17

11/10/2013

Les RdP hirarchiss

Les processus mtiers: concepts, modles et systmes

permettent de
Plier/dplier un modle
De reprsenter le raffinement dune
activit compose en sous-activit

Les processus mtiers: concepts, modles et systmes

18

11/10/2013

Les RdP colors


Associer htel
et vol avec un
mme numro
de dossier

Les processus mtiers: concepts, modles et systmes

permettent de
De qualifier les jetons avec des attributs
De distinguer les cas
Sur lesquelles peuvent porter des
conditions de franchissement

Les processus mtiers: concepts, modles et systmes

19

11/10/2013

Les RdP temporiss

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

Constructions classiques des


RdP
Causalit : la transition y ne peut tre
franchie quaprs la transition x
x

Concurrence : y et z sont concurrente


y
x
z
Les processus mtiers: concepts, modles et systmes

21

11/10/2013

Constructions classiques des RdP


Synchronisation :
y
x
z

Exclusion mutuelle
y

x
z

Les processus mtiers: concepts, modles et systmes

Patrons de base avec des RdP

Les processus mtiers: concepts, modles et systmes

22

11/10/2013

Patrons avancs avec des RdP

Les processus mtiers: concepts, modles et systmes

RdP
Modlisation du flot de donnes

Les processus mtiers: concepts, modles et systmes

23

11/10/2013

Reprsentation du flot de donnes


Le flot de donnes est port par :
les couleurs associes aux jetons
le flot des jetons dans le RdP et les conditions
associes aux transitions

Remarquons que plus les jetons portent


dinformation, et plus les RdP ont
tendance perdre leur lisibilit (graphique)

Les processus mtiers: concepts, modles et systmes

RdP
Modlisation des ressources

Les processus mtiers: concepts, modles et systmes

24

11/10/2013

Les rles comme des places, les


ressources comme des jetons
On ajoute des places spcifiques pour dfinir les
rles
Les ressources sont les jetons dans ces places
spcifiques
Les transitions qui reprsentent les activits
consomment ces ressources
On peut associer des places/ressources
plusieurs transitions
Lajout de ces places complexifie le RdP qui
devient moins lisible et plus difficile valider
Les processus mtiers: concepts, modles et systmes

Modlisation de ressources avec


des RdP

Les processus mtiers: concepts, modles et systmes

25

11/10/2013

Validation dun modle de


processus RdP

Les processus mtiers: concepts, modles et systmes

RdP
Proprits classiques

Les processus mtiers: concepts, modles et systmes

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

SI K=1, le RdP est dit sr.


Les processus mtiers: concepts, modles et systmes

RdP qui termine


Un RdP termine sil atteint toujours un
marquage terminal duquel aucune
transition ne peut tre tire
Un RdP avec graphe datteignabilit fini et
acyclique termine

Les processus mtiers: concepts, modles et systmes

27

11/10/2013

RdP sans deadlock


Un RdP est sans deadlock si et seulement
si au moins une transition peut tre tire
dans nimporte quel tat

Les processus mtiers: concepts, modles et systmes

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.

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

RdP
Validation

Les processus mtiers: concepts, modles et systmes

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

Blocage, Boucle , Borne


Un RdP est sans blocage sil ny a pas de
cas o lactivit finale ne peut pas
sexcuter et o le processus ne peut plus
progresser
Un RdP est sans boucle si tous les cas
terminent
Un RdP est born sil nexiste pas un cas
o le nombre de jeton croit indfiniment
Les processus mtiers: concepts, modles et systmes

Blocage, Boucle, Borne

Les processus mtiers: concepts, modles et systmes

31

11/10/2013

Processus-RdP bien structur


Bonnes pratiques qui liminent
par construction bien des risques

Les processus mtiers: concepts, modles et systmes

Bonnes et mauvaises structurations


de rseaux avec des RdP (1)

Les processus mtiers: concepts, modles et systmes

32

11/10/2013

Bonnes et mauvaises structurations


de rseaux avec des RdP (2)
(a) combine un AND_Split et un AND-join,
(b) combine un XOR-Split et un XOR-JOIN
(a) et (b) sont bien structurs
(c) et (d) sont mal structurs

Les processus mtiers: concepts, modles et systmes

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

WF-net libre choix

Un WF-net est en libre choix si toutes les


transitions en concurrence dpendent des
mmes places
(a) nest pas libre choix, (b) lest
Les processus mtiers: concepts, modles et systmes

Well-structured WF-Net
Un WF-Net bien structur est un WF-Net
bien parenths

Les processus mtiers: concepts, modles et systmes

34

11/10/2013

RdP sains par construction


On connat un ensemble de RdP de base
sains
Leur composition produit un RdP sain
Application : ayant un RdP, peut-on le
reconstruire en itrant la composition de
RdP de base sains
Les processus mtiers: concepts, modles et systmes

RdP de base sains

Les processus mtiers: concepts, modles et systmes

35

11/10/2013

Les processus mtiers: concepts, modles et systmes

Les processus mtiers: concepts, modles et systmes

36

11/10/2013

Les processus mtiers: concepts, modles et systmes

Et celui-ci ?

Les processus mtiers: concepts, modles et systmes

37

11/10/2013

Analyse quantitative
Analyse par simulation
valuation de proprits recherches
par visualisation de cas
valuation de traces dexcution

Rseaux temporiss pour lvaluation de


performance
Rseaux stochastiques pour lvaluation
de probabilits de franchissement dune
transition
Les processus mtiers: concepts, modles et systmes

Exemple (2)

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

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)

Les processus mtiers: concepts, modles et systmes

UML : Principes de modlisation


Ce sont les diagrammes dactivit qui sont au cur de la
modlisation des processus mtiers, en particulier du flot
de contrle
Les diagrammes de classes et dobjets sont
indispensables la modlisation des flots de donnes
Les diagrammes de squence permettent ici dtudier
les flots de contrle alternatifs
Mais tous les diagrammes peuvent tre utiliss de faon
classique, en particulier dans une dmarche
danalyse/conception globale dun logiciel plus large que
la modlisation dun processus

Les processus mtiers: concepts, modles et systmes

40

11/10/2013

UML
Modlisation du flot de contrle.
Les diagrammes dactivit

Les processus mtiers: concepts, modles et systmes

Discordance du vocabulaire
Processus Activit en UML
Activit Action en UML

Les processus mtiers: concepts, modles et systmes

41

11/10/2013

UML : concepts de base (1)

Les processus mtiers: concepts, modles et systmes

UML : concepts de base (2)

Les processus mtiers: concepts, modles et systmes

42

11/10/2013

Modlisation du flot de contrle

Les processus mtiers: concepts, modles et systmes

Patrons avancs (1)

Les processus mtiers: concepts, modles et systmes

43

11/10/2013

Patrons avancs (2)

Les processus mtiers: concepts, modles et systmes

UML
Modlisation du flot de donnes

Les processus mtiers: concepts, modles et systmes

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

Diagrammes de classes (Exemple)

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

Les processus mtiers: concepts, modles et systmes

Diagrammes de squence (1)

Les processus mtiers: concepts, modles et systmes

46

11/10/2013

Diagrammes de squence (2)

Les processus mtiers: concepts, modles et systmes

Flots dobjets (1)

Les processus mtiers: concepts, modles et systmes

47

11/10/2013

Flots dobjets (2)

Les processus mtiers: concepts, modles et systmes

UML
Modlisation du modle
organisationnel

Les processus mtiers: concepts, modles et systmes

48

11/10/2013

Mta-modle organisationnel

Les processus mtiers: concepts, modles et systmes

Instance du modle organisationnel

Les processus mtiers: concepts, modles et systmes

49

11/10/2013

Swimlanes

Les processus mtiers: concepts, modles et systmes

Diffrentes organisations

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

Processus UML bien structur (2)

Les processus mtiers: concepts, modles et systmes

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)

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

53

11/10/2013

Elments de notation

Les processus mtiers: concepts, modles et systmes

Flot de donnes et flot organisationnel

Les processus mtiers: concepts, modles et systmes

54

11/10/2013

lments du flot de contrle


Un modle EPC est un graphe ordonn
dvnements et dactivits alterns et
connects par des connecteurs de flot de
contrle

Les processus mtiers: concepts, modles et systmes

Connecteur ET (1)

Les processus mtiers: concepts, modles et systmes

55

11/10/2013

Connecteur ET (2)

Les processus mtiers: concepts, modles et systmes

Connecteur OU Exclusif (1)

Les processus mtiers: concepts, modles et systmes

56

11/10/2013

Connecteur OU Exclusif (2)

Les processus mtiers: concepts, modles et systmes

Connecteur OU (1)

Les processus mtiers: concepts, modles et systmes

57

11/10/2013

Connecteur OU (1)

Les processus mtiers: concepts, modles et systmes

Chemin de processus

Les processus mtiers: concepts, modles et systmes

58

11/10/2013

Flot de donnes et flot organisationnel

Les processus mtiers: concepts, modles et systmes

Conclusion EPC
Trs utilis dans le monde ERP, SAP
Fondement dans les RdP

Les processus mtiers: concepts, modles et systmes

59

11/10/2013

Exemple rcap. (1)


Une compagnie dassurance souhaite modliser le
processus dfini comme suit :
A larrive dune dclaration de sinistre, elle fait en parallle
deux vrifications dans deux dpartements diffrents : la
police dassurance couvret-elle le sinistre ? La
dclaration permet-elle de dcider du remboursement ?
Si la police dassurance couvre le sinistre (police
accepte) et que la dclaration est accepte, lassurance
paye. Dans le cas o soit la police dassurance nest pas
valide, soit la dclaration nest pas accepte, un courrier
est envoy ladhrent.
Les processus mtiers: concepts, modles et systmes

Exemple rcap. (2)


En donner un modle BPMN!

Les processus mtiers: concepts, modles et systmes

60

11/10/2013

Exemple rcap. (3)


En donner un modle BPMN!

Les processus mtiers: concepts, modles et systmes

Exemple rcap. (4)


Un concepteur a fait le rseau de Ptri suivant :
commentaires !

Les processus mtiers: concepts, modles et systmes

61

11/10/2013

Exemple rcap. (5)


Autre solution

Les processus mtiers: concepts, modles et systmes

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.

Les processus mtiers: concepts, modles et systmes

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

Les processus mtiers: concepts, modles et systmes

64

You might also like