Les procédés métiers : conception, modélisation et systèmes Claude Godart Université de Lorraine - Esstin 1.

Slides:



Advertisements
Présentations similaires
Théorie des graphes.
Advertisements

Material/Sources: Daniel Bardou, Julie Dugdale &
Classification et prédiction
Modélisation des flux physiques et des flux d ’informations dans les procédés batchs Hervé PINGAUD Good afternoon. My name is BP and I ’ve been working.
Conception de Programmes Evolutifs Pré Soutenance de TER Année Encadrants : Cathy Escazut et Michel Gautero Auteurs: Paul-Kenji Cahier Sylvain.
Les TESTS STATISTIQUES
Yann Chevaleyre et Jean-Daniel Zucker
Notions de variable aléatoire et de probabilité d’un événement
Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), d’opérations (+, ), de relations (=, ) Axiomes : ce sont.
ACS et Séquences Comportementales en environnements non-markoviens
"Recherche de scénarios redoutés à partir d'un modèle réseau de Petri"
INTRODUCTION.
Chapitre II.Rappels mathématiques et complexité
                                        République Algérienne Démocratique et Populaire Ministère de l’Enseignement Supérieur et de la Recherche Scientifique.
To Tune or not to Tune? To Tune or not to Tune? A Lightweight Physical Design Alerter Costa Jean-Denis Le Yaouanc Aurélie Mécanismes de SGBD 2007.
Diagrammes d’activités
Algorithmes Branch & Bound
Diagnostic des Systèmes à Evénements Discrets
Modèle Logique de Données
Etude globale de système.
Coloration gap sommet identifiante de graphes
Rappels de logique des prédicats du 1er ordre
IFT Complexité et NP-complétude
Recherche Opérationnelle
Initiation à la conception des systèmes d'informations
Analyse des Algorithmes
Architecture d’un système expert
Méthodes de Biostatistique
Vers un nouvel empirisme: l’ancien et le nouvel empirisme John Goldsmith Université de Chicago CNRS MoDyCo.
INTRODUCTION.
22 Créer son outil de modélisation de processus métier en utilisant Workflow Foundation 4 09/02/10 Julien Balouka Consultant – Formateur Winwise Nicolas.
Cours n°2UE102e(S. Sidhom) UE 102e. M1.IST-IE cours n°2 Systèmes à base de règles Par : Sahbi SIDHOM MCF. Université Nancy 2 Équipe de recherche SITE –
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Les processus métiers : concepts, modèles et systèmes
Les processus métiers : concepts, modèles et systèmes
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Algorithmes Branch & Bound
STATISTIQUES – PROBABILITÉS
1 © Maris, IRIT 2009 Planification Temporelle Frédéric MARIS IRIT – Université Paul Sabatier – Toulouse.
Que sont les fichiers de mobilité de l’INSEE?
Les processus métiers : concepts, modèles et systèmes Claude Godart Université de lorraine. Esstin
J. Cardoso — C. Sibertin-Blanc — C
ETNA – 1ème année Guillaume Belmas –
Initiation à la conception des systèmes d'informations
© Petko ValtchevUniversité de Montréal Février IFT 2251 Génie Logiciel Spécification de Processus Concurrents Hiver 2002 Petko Valtchev.
Modèles d’entrelacement
Recherches locales et méta-heuristiques
Modélisation des flux Introduction et définition
Hiver 2004SEG2501 Chapître 41 Chapître 4 SDL – structure d’un système et son comportement.
Méthode des moindres carrés (1)
Systèmes et Logiciels Embarqués : l'informatisation des objets Gestion de l'énergie (bâtiment intelligent) Ferroviaire (trains, métro autom.,...) Equipements.
> MASTER VS2i Veille Stratégique et Intelligence Industrielle 28 Février 2005 Université de Lille 1 FRANCE PROPRIETE INTELLECTUELLE Chamroeun LOCH.
Structures de données avancées : MLH (Multidimensional linear hashing) D. E ZEGOUR Institut National d ’Informatique.
Vers l’exploitation de grandes masses de données Encadré par : Mme L.Lamarini Présenté par: Rhaz Yassine Smiri Safae Un article de: Raphaeil Féraud,Maroc.
Séries chronologiques univariées (STT-6615)
LOGIQUE ET PROGRAMMATION LOGIQUE
=> opportunité unique de smart city par la conception d’un
Initiation aux bases de données et à la programmation événementielle
Réseaux de Petri et suivi du joueur
Algorithmes parallèles
IFT 703 Informatique cognitive ACT-R Modèle symbolique et perceptuel
Flash – séance 2 Interactions avec Action Script.
Algorithmes Branch & Bound Module IAD/RP/RO Master d ’informatique Paris 6 Philippe Chrétienne.
Cours de Systèmes de Gestion de Données - Licence MIAGE – 2003/20041 Cours n°2 La conception d ’un schéma relationnel (suite) Chantal Reynaud Université.
Diagrammes de comportement Présentation. Diagramme de séquence  Permet de modéliser les envois de messages entre objets chronologiquement.  Modélisation.
Schéma de base de données Présentation. Conception du schéma logique  Transformation du schéma conceptuel en structures de données supportées par les.
On the analysis of CMMN expressiveness: revisiting workflow patterns Renata Carvalho Hafedh Mili.
Processus ponctuels Caractéristiques et Modèles de répartitions spatiales.
Les procédés métiers : conception, modélisation et systèmes
Transcription de la présentation:

Les procédés métiers : conception, modélisation et systèmes Claude Godart Université de Lorraine - Esstin 1

Organisation du cours Introduction Concepts et notations Modélisation des processus Analyse qualitative des processus Analyse quantitative des processus Systèmes de gestion de processus Découverte de processus Processus transactionnels Conclusion

Chapitre 6 Découverte de la logique des processus 3 Claude Godart Université de lorraine. Esstin

Idée de base découverte de workflow Traces de workflow ERP, billetterie … 4

Motivations Trouver le modèle d’un processus Trouver le comportement exact d’un processus déjà modélisé –Pour diagnostiquer, –Améliorer  business intelligence 5

Exemples de traces 6 Log format –(caseID, activity) Example –Check Invoice for Invoice No completed on at 9:19:57 –Function StoreCustomerData(„Müller“, c1987, „Bad Bentheim“) completed on at 9:22:24 –Send Invoice for Invoice No completed on at 9:23:18 Resulting Log –(4567, Check Invoice), (c1987, StoreCustomerData), (4567, Send Invoice), etc.

Structure des traces d’exécution 7 Une structure indépendante, compatibles avec la plupart des SGWFs actuels

Structure des traces d’exécution (basique) 8

Structure des traces d’exécution (Exemple d’extension) Participant 9

Un seuil minimal sur la qualité et la quantité d’information Qualité de l’information (i.e. structure minimale): Absence de bruit (traces d’exécution incorrectes ou inachevées) Événement atomique (i.e. absence d’états, et de temps d’exécution) Quantité de l’information (i.e. nombre d’instances différentes): Nombre minimale égale à 1 Ajouter n instances pour un choix parmi n activités Ajouter  (ji+i) pour un parallélisme ente n flux contenant chacun ji activités Prouvé suffisant pour la découverte du flot de contrôle Conditions minimales sur les traces d'exécutions STP VSC ER VD MJR AE RP RD LD Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD 1+3+1*(4+1)=9 10

The « α algorithme » 11

Soit T un ensemble d’activités.   T * est une trace d’une instance d’exécution de workflow et W  T * est un log de workflow. Soit a,b  T: –a > W b ssi il y a une trace  = t 1 t 2 t 3  t n-1 et i  {1, , n-2} telque   W et t i = a et t i+1 = b, –a  W b ssi a > W b et not (b > W a), –a # W b ssi not(a > W b) et not(b > W a), and –a  W b ssi a > W b et b > W a. α algorithme : relations d’ordre 12

α algorithme : Exemple 1 case 1 : task A case 2 : task A case 3 : task A case 3 : task B case 1 : task B case 1 : task C case 2 : task C case 4 : task A case 2 : task B case 2 : task D case 5 : task A case 4 : task C case 1 : task D case 3 : task C case 3 : task D case 4 : task B case 5 : task E case 5 : task D case 4 : task D W = { A B C D, A C B D, A E D} A > W B A > W C A > W E B > W C B > W D C > W B C > W D E > W D A  W B A  W C A  W E B  W D C  W D E  W D B  W C C  W B # W : rest Log is complete if this relation cannot be extended X  W Y xor Y  W X xor X  W Y xor X # W Y 13

W = { A B C D, A C B D} est complet A > W B A > W C B > W C B > W D C > W B C > W D A  W B A  W C B  W D C  W D B  W C C  W B # W : rest α algorithme : Exemple 2 14

W = { A B D, A C D} est complet A > W B A > W C B > W D C > W D A  W B A  W C B  W D C  W D  W :aucun # W : le reste α algorithme : Exemple 3 15

α algorithme – Principe (a) xyxy 16

α algorithme – Principe (b) x  y, x  z, and y#z 17

α algorithme – Principe (c) x  z, y  z, and x#y 18

α algorithme – Principe (d) x  y, x  z, and y||z 19

α algorithme – Principe (e) x  z, y  z, and x||y 20

α algorithme : Règles de construction d’un RdP Soit W log workflow sur l’ensemble T. 1.T W = { t  T     W t   }, 2.T I = { t  T     W t = first(  ) }, 3.T O = { t  T     W t = last(  ) }, 4.X W = { (A,B)  A  T W  B  T W   a  A  b  B a  W b   a1,a2  A a 1 # W a 2   b1,b2  B b 1 # W b 2 }, 5.Y W = { (A,B)  X   (A,B)  X, A  A  B  B  (A,B) = (A,B) }, 6.P W = { p (A,B)  (A,B)  Y W }  {i W,o W }, 7.F W = { (a,p (A,B) )  (A,B)  Y W  a  A }  { (p (A,B),b)  (A,B)  Y W  b  B }  { (i W,t)  t  T I }  { (t,o W )  t  T O }, and  (W) = (P W,T W,F W ). 21

α algorithme : exemple Ensemble minimal des traces d’exécution : –A 1, A 2, A 3, A 4, A 5, A 6, A 9 –A 1, A 2, A 3, A 4, A 5, A 7, A 9 –A 1, A 2, A 3, A 4, A 5, A 8, A 9 –A 1, A 2, A 4, A 3, A 5, A 6, A 9 –A 1, A 2, A 4, A 3, A 5, A 7, A 9 –A 1, A 2, A 4, A 3, A 5, A 8, A 9 –A 1, A 4, A 2, A 3, A 5, A 6, A 9 –A 1, A 4, A 2, A 3, A 5, A 7, A 9 –A 1, A 4, A 2, A 3, A 5, A 8, A 9 22

α algorithme : exemple 1.T W = {A 1, A 2, A 3, A 4, A 5, A 6, A 7, A 8, A 9 }, 2.T I = {A 1 }, 3.T O = {A 9 }, 4.X W = {(A 1, A 2 ), (A 1, A 4 ), (A 2, A 3 ), (A 3, A 5 ), (A 4, A 5 ), (A 5, A 6 ), (A 5, A 7 ), (A 5, A 8 ), (A 6, A 9 ), (A 7, A 9 ), (A 8, A 9 ), (A 5, (A 6, A 7 )), (A 5, (A 6, A 8 )), (A 5, (A 7, A 8 )), (A 5, (A 6, A 7, A 8 )), ((A 6, A 7 ), A 9 ), ((A 6, A 8 ), A 9 ), ((A 7, A 8 ), A 9 ), ((A 6, A 7, A 8 ), A 9 ) 5.Y W = {(A 1, A 2 ), (A 1, A 4 ), (A 2, A 3 ), (A 3, A 5 ), (A 4, A 5 ), (A 5, (A 6, A 7, A 8 )), ((A 6, A 7, A 8 ), A 9 ) 6.P W = { p(A 1 ), p(A 1, A 2 ), p(A 1, A 4 ), p(A 2, A 3 ), p(A 3, A 5 ), p(A 4, A 5 ), p(A 5, A 678 ), p(A 678, A 9 ), p(A 9 ) } 7.F W = {(p(A 1 ), A 1 ), (A 1, p(A 1, A 2 )), (p(A 1, A 2 ), A 2 ), (A 1, p(A 1, A 4 )), (p(A 1, A 4 ), A 4 ), (A 2, p(A 2, A 3 )), (p(A 2, A 3 ), A 3 ), (A 3, p(A 3, A 5 )), (p(A 3, A 5 ), A 5 ), (A 5, p(A 4, A 5 ), (p(A 4, A 5 ), A 5), (A 5, p(A 5, A 678 )), (p(A 5, A 678 ), A 6 ), (p(A 5, A 678 ), A 7 ), (p(A 5, A 678 ), A 8 ), (A 6, p(A 678, A 9 )), (A 7, p(A 678, A 9 )), (A 8, p(A 678, A 9 )), (p(A 678, A 9 ), A 9 ), (A 9, p(A 9 ))  (W) = (P W,T W,F W ). 23

α algorithme : exemple 24

Patterns mining 25

VSC précède 2 fois ER dans les 3 traces où ER apparaît Pour chaque activité A dans les traces d’exécution : le nombre d'occurrences global de cette activité (dénotée #A) les dépendances directes aux activités précédentes Bi (dénoté P(A\Bi)) Construction de la table de dépendance statistique (TDS) Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STPVSCERMJRAERPVDRDSD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # SD= MJR précède 2 fois RD dans les 9 traces où RD apparaît

Pour chaque activité A dans les traces d’exécution : le nombre d'occurrences global de cette activité (dénotée #A) les dépendances directes aux activités précédentes Bi (dénoté P(A\Bi)) Construction de la table de dépendance statistique (TDS) Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STPVSCERMJRAERPVDRDSD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # SD=

Pour chaque activité A dans les traces d’exécution : le nombre d'occurrences global de cette activité (dénotée #A) les dépendances directes aux activités précédentes Bi (dénoté P(A\Bi)) Construction de la table de dépendance statistique (TDS) Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STPVSCERMJRAERPVDRDSD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD=

Élimination des dépendances erronées Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STPVSCERMJRAERPVDRDSD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= STP VSC ER VD MJR AE RP RD LD P(RP\VD) <> 0.25  P(VD\RP) <>

Élimination des dépendances erronées STPVSCERMJRAERPVDRDSD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= STP VSC ER VD MJR AE RP RD LD Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD 30

Élimination des dépendances erronées STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= Deux activités A et B sont concurrentes ssi les entrées P(A\B) et P(B\A) dans TDS sont non nulles. Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD 31

Élimination des dépendances erronées STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= Fenêtres de concurrence Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD 32 VSC est en concurrence avec 1 activité, on va chercher ses dépendances indirectes avec une fenêtre de 3; VD est en concurrence avec 6 activités.

Découverte des dépendances indirectes Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STP VSC ER VD MJR AE RP RD LD Comportement concurrentiel STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD=

Découverte des dépendances indirectes Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD STP VSC ER VD MJR AE RP RD LD Comportement concurrentiel STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD=

Découverte des dépendances indirectes: Fenêtre de concurrence STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= Nous ne considérons pas seulement les activités qui précédent directement mais toutes les activités couvertes par la fenêtre de concurrence ayant une dépendance statistique non nulle. Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD On choisit TFC[MJR]=3 35

Patterns mining : Découverte des dépendances indirectes: Fenêtre de concurrence STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD= Nous ne considérons pas seulement les activités qui précédent directement mais toutes les activités couvertes par la fenêtre de concurrence ayant une dépendance statistique non nulle. Instances 1STP VSC ER VD MJR RD LD 2STP VSC AE VD RD LD 3STP VSC VD RP RD LD 4STP VSC VD ER MJR RD LD 5STP VSC ER MJR VD RD LD 6STP VSC VD AE RD LD 7STP VSC RP VD RD LD 8STP VD VSC RP RD LD 9STP VSC RP RD VD LD 36

P1: Propriété de comportement de dépendance mutuelle exclusive P2: Propriété de concurrence Concurrence globale Concurrence partielle Pas de Concurrence P3: Propriété de choix Pas de Concurrence choix unique pas de choix Corrélation entre TDS et les dépendances inter-activités depNrm(A; B)  P(B\A)>0  P(A\B)=0 Prouvé formellement Propriétés statistiques des patrons de workflow 37

Patterns mining : Découverte des patrons de workflows 38

Patterns mining : Découverte des patrons de workflows STP VSC ER VD MJR AE RP RD LD STPVSCERMJRAERPVDRDLD #STP= # VSC= # ER= # MJR= # AE= # RP= # VD= # RD= # LD=