SlideShare une entreprise Scribd logo

Soutenance (thèse de doctorat de Aymen BAOUAB)

B
baouab

Soutenance (thèse de doctorat de Aymen BAOUAB) Gouvernance et supervision décentralisée des chorégraphies de services web

1  sur  64
Télécharger pour lire hors ligne
1

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Soutenance de thèse

Gouvernance et supervision décentralisée des chorégraphies
inter-organisationnelles
Aymen BAOUAB
Membres du jury
Daniela Grigori, Professeur à l’Université de Paris Dauphine, LAMSADE
Ladjel Bellatreche, Professeur à l’Université de Poitiers, ENSMA
Pascal Poizat, Professeur à l’Université de Paris Ouest Nanterre La Défense, LIP6
Christophe Cerisara, Chargé de recherche CNRS (HDR), LORIA
Claude Godart, Professeur à l’Université de Lorraine, LORIA
Olivier Perrin, Professeur à l’Université de Lorraine, LORIA

27 Juin 2013
Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles
2

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Plan de la présentation

1

Introduction, problématique et état de l’art
Introduction / Problématique
Les approches de supervision des compositions de services

2

Contributions de la thèse
Modèle formel et architectural
Supervision décentralisée et échange de notifications entre partenaires
Génération automatique et optimisée de requêtes de supervision

3

Expérimentations
Le projet ChorEM (environnement CEP: Java + Esper)
Simulation et génération aléatoire de séquences

4

Bilan et perspectives

Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles
3

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Introduction / Problématique

Introduction

Processus inter-organisationnels, complexes, longs, répartis et
dynamiques. Environnement hétérogène(B2B, sous-traitance et
externalisation).

Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles
4

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Introduction / Problématique

Les chorégraphies inter-organisationnelles
La chorégraphie régit l’ordre et la structure des messages échangés afin
d’aboutir à un comportement collaboratif coordonné entre deux ou
plusieurs participants en interaction.

Transporteur
(T1)
Revendeur
(R)

Fournisseur
(F)
Transporteur
(T2)

Figure: Exemple de chorégraphie

Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles
5

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Exemple de motivation

Problématique (exemple)

Transporteur
(T1)
Revendeur
(R)

Fournisseur
(F)
Transporteur
(T2)

Risques d’occurrence d’exceptions, comportements malhonnêtes,
délais trop longs, manque de transparence, perte de maitrise...
Sans coordinateur central, détecter tout comportement anormal.
Contrôle des E/S au niveau de chaque participant et échange de
données de supervision.
Suivi instantané de toutes les instances.
Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles
5

Introduction / état de l’art

Formel et Archi. / Echange de notifica. / Génération de règles

Expérimentations

Bilan / perspectives

Exemple de motivation

Problématique (exemple)

Transporteur
(T1)
Revendeur
(R)

Fournisseur
(F)
Transporteur
(T2)

Risques d’occurrence d’exceptions, comportements malhonnêtes,
délais trop longs, manque de transparence, perte de maitrise...
Sans coordinateur central, détecter tout comportement anormal.
Contrôle des E/S au niveau de chaque participant et échange de
données de supervision.
Suivi instantané de toutes les instances.
Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine

Supervision décentralisée des chorégraphies inter-organisationnelles

Recommandé

Slides de présentation de la thèse du doctorat
Slides de présentation de la thèse du doctoratSlides de présentation de la thèse du doctorat
Slides de présentation de la thèse du doctoratZyad Elkhadir
 
Soutenance de thèse valentin
Soutenance de thèse valentinSoutenance de thèse valentin
Soutenance de thèse valentinJérémie34
 
Structure du rapport d'etat d'avancement doctorat
Structure du rapport d'etat d'avancement doctoratStructure du rapport d'etat d'avancement doctorat
Structure du rapport d'etat d'avancement doctoratIkram Benabdelouahab
 
Présentation de thèse de doctorat
Présentation de thèse de doctoratPrésentation de thèse de doctorat
Présentation de thèse de doctoratABDERRAHMANE REGGAD
 
Avancement de mon doctorat (Damien Clauzel, janvier 2009)
Avancement de mon doctorat (Damien Clauzel, janvier 2009)Avancement de mon doctorat (Damien Clauzel, janvier 2009)
Avancement de mon doctorat (Damien Clauzel, janvier 2009)Damien Clauzel
 
Présentation projet de fin d'étude
Présentation projet de fin d'étudePrésentation projet de fin d'étude
Présentation projet de fin d'étudeDonia Hammami
 

Contenu connexe

Tendances

RECHERCHE OPÉRATIONNELLE SEMESTRE 6
RECHERCHE OPÉRATIONNELLE SEMESTRE 6RECHERCHE OPÉRATIONNELLE SEMESTRE 6
RECHERCHE OPÉRATIONNELLE SEMESTRE 6Jamal Yasser
 
présentation soutenance PFE.ppt
présentation soutenance PFE.pptprésentation soutenance PFE.ppt
présentation soutenance PFE.pptMohamed Ben Bouzid
 
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie Moustapha Mahamat Hissein
 
Soutenance mémoire de fin d'études
Soutenance mémoire de fin d'étudesSoutenance mémoire de fin d'études
Soutenance mémoire de fin d'étudesFabrice HAUHOUOT
 
Démarche de la recherche scientifique
Démarche de la recherche scientifiqueDémarche de la recherche scientifique
Démarche de la recherche scientifiqueMATENE ELHACENE
 
Cours master methodologie de recherche 2018
Cours master methodologie de recherche 2018Cours master methodologie de recherche 2018
Cours master methodologie de recherche 2018fikri khalid
 
La soutenance du mémoire
La soutenance du mémoireLa soutenance du mémoire
La soutenance du mémoireS/Abdessemed
 
Présentation de mon PFE
Présentation de mon PFEPrésentation de mon PFE
Présentation de mon PFENadir Haouari
 
Soutenance de stage Ingénieur
Soutenance de stage IngénieurSoutenance de stage Ingénieur
Soutenance de stage IngénieurFaten Chalbi
 
Présentation Mémoire Master de Recherche
Présentation Mémoire Master de RecherchePrésentation Mémoire Master de Recherche
Présentation Mémoire Master de RechercheRouâa Ben Hammouda
 
Présentation de stage PFE a OCP Benguerir 2019
Présentation de stage PFE a  OCP Benguerir 2019Présentation de stage PFE a  OCP Benguerir 2019
Présentation de stage PFE a OCP Benguerir 2019Mohammed Amine ARAHHAL
 
Cours epistémologie outils méthodologiques
Cours epistémologie outils méthodologiquesCours epistémologie outils méthodologiques
Cours epistémologie outils méthodologiquesbouchra elabbadi
 
Soutenance de thèse en sciences de l'information
Soutenance de thèse en sciences de l'information Soutenance de thèse en sciences de l'information
Soutenance de thèse en sciences de l'information Elsa Drevon
 
Organiser son Doctorat
Organiser son DoctoratOrganiser son Doctorat
Organiser son Doctoratlorraine2
 
Rapport stage pfe
Rapport stage  pfe Rapport stage  pfe
Rapport stage pfe rimeh moussi
 
Soutenance De Stage
Soutenance De StageSoutenance De Stage
Soutenance De Stageguesta3231e
 
Carte sanitaire
Carte sanitaire Carte sanitaire
Carte sanitaire Jamal Ti
 

Tendances (20)

RECHERCHE OPÉRATIONNELLE SEMESTRE 6
RECHERCHE OPÉRATIONNELLE SEMESTRE 6RECHERCHE OPÉRATIONNELLE SEMESTRE 6
RECHERCHE OPÉRATIONNELLE SEMESTRE 6
 
présentation soutenance PFE.ppt
présentation soutenance PFE.pptprésentation soutenance PFE.ppt
présentation soutenance PFE.ppt
 
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie
Mémoire powerpoint de MOUSTAPHA Mahamat Hissein à 2ie
 
Soutenance mémoire de fin d'études
Soutenance mémoire de fin d'étudesSoutenance mémoire de fin d'études
Soutenance mémoire de fin d'études
 
Présentation PFE
Présentation PFEPrésentation PFE
Présentation PFE
 
Démarche de la recherche scientifique
Démarche de la recherche scientifiqueDémarche de la recherche scientifique
Démarche de la recherche scientifique
 
Cours master methodologie de recherche 2018
Cours master methodologie de recherche 2018Cours master methodologie de recherche 2018
Cours master methodologie de recherche 2018
 
La soutenance du mémoire
La soutenance du mémoireLa soutenance du mémoire
La soutenance du mémoire
 
Présentation de mon PFE
Présentation de mon PFEPrésentation de mon PFE
Présentation de mon PFE
 
Soutenance de stage Ingénieur
Soutenance de stage IngénieurSoutenance de stage Ingénieur
Soutenance de stage Ingénieur
 
Présentation Mémoire Master de Recherche
Présentation Mémoire Master de RecherchePrésentation Mémoire Master de Recherche
Présentation Mémoire Master de Recherche
 
Présentation de stage PFE a OCP Benguerir 2019
Présentation de stage PFE a  OCP Benguerir 2019Présentation de stage PFE a  OCP Benguerir 2019
Présentation de stage PFE a OCP Benguerir 2019
 
Cours epistémologie outils méthodologiques
Cours epistémologie outils méthodologiquesCours epistémologie outils méthodologiques
Cours epistémologie outils méthodologiques
 
Soutenance de thèse en sciences de l'information
Soutenance de thèse en sciences de l'information Soutenance de thèse en sciences de l'information
Soutenance de thèse en sciences de l'information
 
Présentation Projet de fin d'études
Présentation Projet de fin d'étudesPrésentation Projet de fin d'études
Présentation Projet de fin d'études
 
Organiser son Doctorat
Organiser son DoctoratOrganiser son Doctorat
Organiser son Doctorat
 
Rapport stage pfe
Rapport stage  pfe Rapport stage  pfe
Rapport stage pfe
 
Soutenance De Stage
Soutenance De StageSoutenance De Stage
Soutenance De Stage
 
Carte sanitaire
Carte sanitaire Carte sanitaire
Carte sanitaire
 
Tableau de bord prospectif
Tableau de bord prospectifTableau de bord prospectif
Tableau de bord prospectif
 

Similaire à Soutenance (thèse de doctorat de Aymen BAOUAB)

JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...
JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...
JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...ABES
 
Opquast reporting : pilotage de parc et aide à l'audit expert
Opquast reporting : pilotage de parc et aide à l'audit expertOpquast reporting : pilotage de parc et aide à l'audit expert
Opquast reporting : pilotage de parc et aide à l'audit expertElie Sloïm
 
Criteres d evaluation des SAGE Slideshow
Criteres d evaluation des SAGE SlideshowCriteres d evaluation des SAGE Slideshow
Criteres d evaluation des SAGE SlideshowGregoire Macqueron
 
Criteres d evaluation des Sage
Criteres d evaluation des SageCriteres d evaluation des Sage
Criteres d evaluation des SageGregoire Macqueron
 
Unifier les équipes “projet” et “support” grâce à la formation
Unifier les équipes “projet” et “support” grâce à la formationUnifier les équipes “projet” et “support” grâce à la formation
Unifier les équipes “projet” et “support” grâce à la formationitSMF France
 
Réflexivité et visualisation interactive de traces
Réflexivité et visualisation interactive de tracesRéflexivité et visualisation interactive de traces
Réflexivité et visualisation interactive de tracesYannick Prié
 
Loic sarton seance 9
Loic sarton seance 9Loic sarton seance 9
Loic sarton seance 9Loic Sarton
 
Web-formation | Les outils Lean d'amélioration du poste de travail
Web-formation | Les outils Lean d'amélioration du poste de travailWeb-formation | Les outils Lean d'amélioration du poste de travail
Web-formation | Les outils Lean d'amélioration du poste de travailXL Groupe
 
201502 ucad p_parrend_lean_complex_systems_share
201502 ucad p_parrend_lean_complex_systems_share201502 ucad p_parrend_lean_complex_systems_share
201502 ucad p_parrend_lean_complex_systems_sharePierre Parrend
 
Cours bda1
Cours bda1Cours bda1
Cours bda122vieux
 
Chap I : Cours de Modélisation & Simulation des processus
Chap I : Cours de Modélisation & Simulation des processusChap I : Cours de Modélisation & Simulation des processus
Chap I : Cours de Modélisation & Simulation des processusMohammed TAMALI
 
Organisation méthode de diagnostic
Organisation méthode de diagnosticOrganisation méthode de diagnostic
Organisation méthode de diagnosticmaheddoun
 
Présentation lyon octobre 2018 karuta eportfolio
Présentation lyon octobre 2018 karuta eportfolioPrésentation lyon octobre 2018 karuta eportfolio
Présentation lyon octobre 2018 karuta eportfolioEric Giraudin
 
Les erp changent la fonction de controle de gestion
Les erp changent la fonction de controle de gestionLes erp changent la fonction de controle de gestion
Les erp changent la fonction de controle de gestionAlexandre Blondeau
 
Learning analytics&classejanvier2017
Learning analytics&classejanvier2017Learning analytics&classejanvier2017
Learning analytics&classejanvier2017Vanda Luengo
 
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...Le déploiement d’outils financiers dans le cadre de la réforme du système de ...
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...ESCP Europe
 
Jabes 2009 - Session : projets innovants "L'indexation des ressources numéri...
Jabes 2009  - Session : projets innovants "L'indexation des ressources numéri...Jabes 2009  - Session : projets innovants "L'indexation des ressources numéri...
Jabes 2009 - Session : projets innovants "L'indexation des ressources numéri...ABES
 
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...Conférence IC 2009
 

Similaire à Soutenance (thèse de doctorat de Aymen BAOUAB) (20)

JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...
JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...
JABES 2018 - Atelier : bien se préparer aux prochaines évolutions de consigne...
 
Opquast reporting : pilotage de parc et aide à l'audit expert
Opquast reporting : pilotage de parc et aide à l'audit expertOpquast reporting : pilotage de parc et aide à l'audit expert
Opquast reporting : pilotage de parc et aide à l'audit expert
 
Criteres d evaluation des SAGE Slideshow
Criteres d evaluation des SAGE SlideshowCriteres d evaluation des SAGE Slideshow
Criteres d evaluation des SAGE Slideshow
 
Criteres d evaluation des Sage
Criteres d evaluation des SageCriteres d evaluation des Sage
Criteres d evaluation des Sage
 
Unifier les équipes “projet” et “support” grâce à la formation
Unifier les équipes “projet” et “support” grâce à la formationUnifier les équipes “projet” et “support” grâce à la formation
Unifier les équipes “projet” et “support” grâce à la formation
 
Réflexivité et visualisation interactive de traces
Réflexivité et visualisation interactive de tracesRéflexivité et visualisation interactive de traces
Réflexivité et visualisation interactive de traces
 
Loic sarton seance 9
Loic sarton seance 9Loic sarton seance 9
Loic sarton seance 9
 
Web-formation | Les outils Lean d'amélioration du poste de travail
Web-formation | Les outils Lean d'amélioration du poste de travailWeb-formation | Les outils Lean d'amélioration du poste de travail
Web-formation | Les outils Lean d'amélioration du poste de travail
 
201502 ucad p_parrend_lean_complex_systems_share
201502 ucad p_parrend_lean_complex_systems_share201502 ucad p_parrend_lean_complex_systems_share
201502 ucad p_parrend_lean_complex_systems_share
 
Cours bda1
Cours bda1Cours bda1
Cours bda1
 
Uml & cas d'utilisation
Uml & cas d'utilisationUml & cas d'utilisation
Uml & cas d'utilisation
 
Chap I : Cours de Modélisation & Simulation des processus
Chap I : Cours de Modélisation & Simulation des processusChap I : Cours de Modélisation & Simulation des processus
Chap I : Cours de Modélisation & Simulation des processus
 
Organisation méthode de diagnostic
Organisation méthode de diagnosticOrganisation méthode de diagnostic
Organisation méthode de diagnostic
 
Présentation lyon octobre 2018 karuta eportfolio
Présentation lyon octobre 2018 karuta eportfolioPrésentation lyon octobre 2018 karuta eportfolio
Présentation lyon octobre 2018 karuta eportfolio
 
Les erp changent la fonction de controle de gestion
Les erp changent la fonction de controle de gestionLes erp changent la fonction de controle de gestion
Les erp changent la fonction de controle de gestion
 
Rôles & Pôles - Pôles et équipes de direction
Rôles & Pôles - Pôles et équipes de directionRôles & Pôles - Pôles et équipes de direction
Rôles & Pôles - Pôles et équipes de direction
 
Learning analytics&classejanvier2017
Learning analytics&classejanvier2017Learning analytics&classejanvier2017
Learning analytics&classejanvier2017
 
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...Le déploiement d’outils financiers dans le cadre de la réforme du système de ...
Le déploiement d’outils financiers dans le cadre de la réforme du système de ...
 
Jabes 2009 - Session : projets innovants "L'indexation des ressources numéri...
Jabes 2009  - Session : projets innovants "L'indexation des ressources numéri...Jabes 2009  - Session : projets innovants "L'indexation des ressources numéri...
Jabes 2009 - Session : projets innovants "L'indexation des ressources numéri...
 
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...
Outil de gestion des connaissances d’une Interconnexion de Communautés de Pra...
 

Soutenance (thèse de doctorat de Aymen BAOUAB)

  • 1. 1 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Soutenance de thèse Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles Aymen BAOUAB Membres du jury Daniela Grigori, Professeur à l’Université de Paris Dauphine, LAMSADE Ladjel Bellatreche, Professeur à l’Université de Poitiers, ENSMA Pascal Poizat, Professeur à l’Université de Paris Ouest Nanterre La Défense, LIP6 Christophe Cerisara, Chargé de recherche CNRS (HDR), LORIA Claude Godart, Professeur à l’Université de Lorraine, LORIA Olivier Perrin, Professeur à l’Université de Lorraine, LORIA 27 Juin 2013 Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 2. 2 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 3. 3 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Introduction / Problématique Introduction Processus inter-organisationnels, complexes, longs, répartis et dynamiques. Environnement hétérogène(B2B, sous-traitance et externalisation). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 4. 4 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Introduction / Problématique Les chorégraphies inter-organisationnelles La chorégraphie régit l’ordre et la structure des messages échangés afin d’aboutir à un comportement collaboratif coordonné entre deux ou plusieurs participants en interaction. Transporteur (T1) Revendeur (R) Fournisseur (F) Transporteur (T2) Figure: Exemple de chorégraphie Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 5. 5 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Exemple de motivation Problématique (exemple) Transporteur (T1) Revendeur (R) Fournisseur (F) Transporteur (T2) Risques d’occurrence d’exceptions, comportements malhonnêtes, délais trop longs, manque de transparence, perte de maitrise... Sans coordinateur central, détecter tout comportement anormal. Contrôle des E/S au niveau de chaque participant et échange de données de supervision. Suivi instantané de toutes les instances. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 6. 5 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Exemple de motivation Problématique (exemple) Transporteur (T1) Revendeur (R) Fournisseur (F) Transporteur (T2) Risques d’occurrence d’exceptions, comportements malhonnêtes, délais trop longs, manque de transparence, perte de maitrise... Sans coordinateur central, détecter tout comportement anormal. Contrôle des E/S au niveau de chaque participant et échange de données de supervision. Suivi instantané de toutes les instances. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 7. 5 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Exemple de motivation Problématique (exemple) Transporteur (T1) Revendeur (R) Fournisseur (F) Transporteur (T2) Risques d’occurrence d’exceptions, comportements malhonnêtes, délais trop longs, manque de transparence, perte de maitrise... Sans coordinateur central, détecter tout comportement anormal. Contrôle des E/S au niveau de chaque participant et échange de données de supervision. Suivi instantané de toutes les instances. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 8. 6 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Exemple de motivation Problématique (synthèse) Processus décentralisés déployés à travers les frontières organisationnelles: nouvelles exigences en matière de contrôle. Vérifier si le comportement réel (en phase d’exécution) des entités en interaction adhère efficacement aux contraintes métier modélisées (en phase conception). Sans forcer chaque partenaire à révéler sa logique métier interne. L’outil de supervision doit faire face à d’énormes volumes de données non structurées provenant de sources différentes. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 9. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Intra-organisationnelles (orchestrations): Approches commerciales (e.g. Oracle BAM, Nimbus, Tibco, IBM Tivoli, etc.): Les solutions BAM : suivi, rapports sur les violations SLA, affichage des métriques sous forme de graphiques. Approches académiques (e.g. SelfHealBPEL): enrichir les moteurs BPEL par des fonctionnalités de détection et traitement d’exceptions. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 10. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Intra-organisationnelles (orchestrations): Approches commerciales (e.g. Oracle BAM, Nimbus, Tibco, IBM Tivoli, etc.): Les solutions BAM : suivi, rapports sur les violations SLA, affichage des métriques sous forme de graphiques. Approches académiques (e.g. SelfHealBPEL): enrichir les moteurs BPEL par des fonctionnalités de détection et traitement d’exceptions. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 11. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Inter-organisationnelles (chorégraphies): Approches centralisées: un moniteur central notifié par chaque participant à chaque échange de messages. Approches décentralisées: agent local /moniteur d’état (e.g. approche MBM). Sans échange de notifications mais modifie la structure des messages. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 12. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Inter-organisationnelles (chorégraphies): Approches centralisées: un moniteur central notifié par chaque participant à chaque échange de messages. Approches décentralisées: agent local /moniteur d’état (e.g. approche MBM). Sans échange de notifications mais modifie la structure des messages. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 13. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Approches événementielles (CEP): Approches centralisées: «publish/subscribe», corrélation des événements, instance CIID. Approches décentralisées: Notre approche. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 14. 7 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Les approches de supervision des compositions de services Les approches de supervision des compositions de services Approches événementielles (CEP): Approches centralisées: «publish/subscribe», corrélation des événements, instance CIID. Approches décentralisées: Notre approche. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 15. 8 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 16. 9 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Modélisation des chorégraphies avec BPMN 2.0 Transporteur (T1) Revendeur (R) Fournisseur (F) Transporteur (T2) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 17. 10 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Vue globale / vue locale Definition (Chorégraphie: Vue globale) Formellement, une chorégraphie C est un tuple (P , I, O) avec P un ensemble fini de participants, I un ensemble fini d’interactions, O ensemble de structures d’ordre partiel (contraintes de séquencement) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 18. 10 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Vue globale / vue locale Definition (Interaction) Une interaction I ∈ I est un tuple (Iid,s,d,mt ) avec: Iid un identifiant unique de l’interaction, s,d ∈ P respectivement la source et la destination du message associé, mt ∈ MT le type de message associé. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 19. 11 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Vue globale / vue locale Definition (Chorégraphie: Vue locale) Une vue locale Ci d’un participant Pi est un tuple (Ii , Oi ) avec Ii ⊆ I interactions ayant Pi comme source ou destination: Ik = (Iid, s, d, mt ) ∈ Ii ⇔ s = Pi ou d = Pi , Oi ⊆ O l’ensemble de contraintes sur Ii . a) c) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Revendeur (R) Fournisseur (F) b) Transporteur (T1) d) Transporteur (T2) Supervision décentralisée des chorégraphies inter-organisationnelles
  • 20. 12 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Politique de flux externe (EFP) Definition (EFP: Politique de flux externe) Une politique EFP d’un participant Pi est un ensemble de tuples: < ChorID, Iid, Dir, Mtype , Src/Dst > Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 21. 13 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Architecture générale Messages de chorégraphie Organisation C Notifications externes EFM EFC Organisation B Chorégraphie interorganisationnelle EFM EFC Organisation A EFC EFM Organisation A Messages de chorégraphie - Interception & Detection - Vérification de structure - Notification interne Processus métier local EFC External Flow Controller Producteur d'événements EFP External Flow Policy EFM Notifications externes External Flow Monitor Notifications internes (Alertes, Violations, Metriques..) - Corrélation des événements - Analyse des séquences - Detection des violations - Echange de notifications (ext) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Evénements internes Violation structurelle Consommateur d'évt. (e.g. Moniteur interne, tableaux de bord,...) Supervision décentralisée des chorégraphies inter-organisationnelles
  • 22. 14 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Contrôleur de flux externe (EFC) External Flow Policy (EFP) Repository 2 1 Interception du message échangé Chorégraphie interorganisationnelle - Interception & Detection - Vérification de structure - Notification interne Processus métier local (EFC) External Flow Controller Message non reconnu (structure non conforme) Reconnaissance du message (structure conforme) Organisation A Messages de chorégraphie Vérification de la structure par rapport à la politique Processus métier local Génération d'un événement 3b "Msg Exchange" 3a Génération d'un événement "Msg Violation" EFC External Flow Controller Producteur d'événeme nts EFP External Flow Policy EFM Notifications externes Violation structurelle Notifications internes External Flow (Alertes, Violations, Metriques..) Monitor - Corrélation des événements - Analyse des séquences - Detection des violations - Echange de notifications (ext) Evénements internes (EFM) External Flow Monitor Moniteur Local (tableau de bord) Consommateur d'évt. (e.g. Moniteur interne, tableaux de bord,...) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 23. 15 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Superviseur de flux externe (EFM) Politique EFP - Contraintes sur le séquencement des interactions Phase de configuration Arrivée permanente des événements sur les occurrences de messages EFC Notification Externe Organisation A - Interception & Detection - Vérification de structure - Notification interne Notifications internes (Alertes, Violations, Metriques..) (External Flow Monitor) (External Flow Controller) Messages de chorégraphie EFM Processus métier local - Corrélation des événements - Analyse des séquences - Detection des violations - Echange de notifications (ext) Moniteur Local (tableau de bord) Notification Externe Traitement instantané des événements avec la technologie CEP EFC External Flow Controller Producteur d'événements Evénements internes EFP External Flow Policy EFM Notifications externes External Flow Monitor - Corrélation des événements - Analyse des séquences - Detection des violations - Echange de notifications (ext) Violation structurelle Notifications internes (Alertes, Violations, Metriques..) Consommateur d'évt. (e.g. Moniteur interne, tableaux de bord,...) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 24. 16 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Modèle formel et architectural Synthèse (contribution 1) Modèle formel général, simple et indépendant des langages de spécification. Nouveau modèle architectural. Vérification structurelle des messages par l’EFC (politique statique EFP). EFM ? Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 25. 17 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Aperçu sur les contributions de la thèse Aperçu sur les contributions de la thèse Messages de chorégraphie Organisation C Notifications externes EFM EFC Organisation B Chorégraphie interorganisationnelle EFM EFC Organisation A EFC EFM External Flow Monitor - Corrélation des événements - Analyse des séquences - Détection des violations - Echange de notifications (ext) Configuration Architecturale: Proposition de nouveaux composants (EFC, EFM, EFP) + Modèle formel (cf. Chapitre 4) External Flow Controller - Interception & Détection - Vérification de structure - Notification interne Zone A Modèle de chorégraphie inter-organisationnelle projections But: Mécanisme de génération automatique de requêtes de supervision (cf. Chapitre 6) But: Mécanisme d'échange de notifications entre les participants (cf. Chapitre 5) C P0 Super Forwarder les notifications Sub partner P1 P2 loop . . . Pn P11 P12 . . . P1n B1 I1 B2 Zone B I9 And B21 I8 Ex Seq B211 I2 B212 Seq I4 1ère dimension: arbre des participants (CPT) (utilisé pour optimiser et sécuriser l'échange de notification) Seq I3 B11 Vue de supervision de P1 (EFM-view) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Seq Seq Notifications générées I5 Seq I6 I7 2ème dimension: arbre de structure (CST) (utilisé pour optimiser l'ensemble de requêtes dans un environnement événementiel CEP) Zone C Supervision décentralisée des chorégraphies inter-organisationnelles
  • 26. 18 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 27. 19 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Délais d’attente (Timeouts) et exceptions Client Revendeur Fournisseur Constructeurs (C) (R) (SB) (A2)(A3) M1:Dem. Devis M8:Dem. Devis Prod. M9, M11:Dem. Devis Pièces M12:Devis Pièces C t1 t3 t2 M10:Devis Pièces B M13:Devis Prod. M14:Devis Prod. Final Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 28. 20 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Délais d’attente (Timeouts) et exceptions Client Revendeur Fournisseur Constructeurs (C) (R) (SB) (A2)(A3) M1:Dem. Devis M8:Dem. Devis Prod. M9, M11:Dem. Devis Pièces M12:Devis Pièces C t1 t2 t3 Fault Timeout Timeout Timeout Nécessité d’un mécanisme d’échange de notifications pour relayer les occurrences d’exceptions (processus longs). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 29. 21 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Aperçu sur notre approche EFM Participant / Role A Participant / Role B EFM Participant / Role C EFM Participant / Role D EFM Canaux des messages de chorégraphie Canaux des notifications Mécanisme décentralisé pour l’échange de notifications entre partenaires. Approche non intrusive: canaux nouvellement définis, écoute passive. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 30. 22 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Classification hiérarchique des partenaires (Arbre CPT) P0 Super Notifications générées Forwarder les notifications P1 Sub partner P2 . . . Pn P11 P12 . . . P1n Vue de supervision de P1 Un participant Pi ∈ P est appelé le super-partenaire direct d’un participant Pj ssi Pi est l’émetteur dans la première interaction définie dans la vue locale de Pj (l’instance de Pj est créée suite à un message venant de Pi ). Super(Pi ) = Pj ⇔ Pi ∈ Sub(Pj ) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 31. 23 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Vue de supervision externe (EFM-View) Definition (Vue de supervision (EFM-View)) Une vue de supervision Vi d’un participant Pi est un tuple (IS i , LS i ) avec IS i = ∪j∈Sub(Pi ) IS j ∪ Ii LS i ⊆ L est l’ensemble de contraintes sur IS i . Vue plus large que la vue locale inclut toutes les interactions ayant comme émetteur ou receveur un des sous-partenaires (direct ou transitif) + ensemble des contraintes sur le séquencement de ces interactions. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 32. 24 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Arbre CPT (retour sur l’exemple) CPT C Super R SB SA A1 Super(SA)=R Super(SB)=R=Super(Super(A2)) SA, SB ∈ Sub(R) A1, A2 ∈ Sub(SA) A2, A3 ∈ Sub(SB) A2 A2 A3 Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Sous partenaire Supervision décentralisée des chorégraphies inter-organisationnelles
  • 33. 25 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Vues locales et échange de notifications Start super= SA Start super= SA Start super= R N3 N4 N5 N6 N2 N3 Start super= C . . . . . N13 Start super= R Start super= SB Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine N9 N10 N11 N12 Start super= SB Supervision décentralisée des chorégraphies inter-organisationnelles
  • 34. 26 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Vue de supervision du revendeur (C) (SA) (SB) (SA) (SB) (SA) (SB) (SA) (C) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 35. 27 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Algorithmes de configuration et d’échange de notifications 1 Phase de configuration (une fois par modèle) calculer le CPT: super-partenaire et sous-partenaires directs de chaque participant définir des notifications nécessaires (à quel partenaire). 2 Phase d’exécution (au niveau de chaque participant) à chaque message échangé: vérifier conformité (% contraintes et l’état courant), générer et envoyer une notification au Super. à chaque notification reçue: vérifier conformité et transférer la notification à son Super. à chaque exception: la traiter, générer ou transférer une notification à son super-partenaire et à tous ses sous-partenaires. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 36. 28 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Application: Cas d’une chorégraphie d’une chaîne d’approvisionnement Client Revendeur Fournisseur Constructeurs (C) (R) (SB) (A2)(A3) M1:Dem. Devis N8(ci1, τ8, R, SB, DDP) M8:Dem. Devis Prod. N9(ci1, τ9, SB, A2, DDS) N11(ci1, τ11, SB, A3, DDS) N12(ci1, τ12, A3, SB, DPC) N9(ci1, τ9, SB, A2, DDS) N11(ci1, τ11, SB, A3, DDS) M9, M11:Dem. Devis Pièces N12(ci1, τ12, A3, SB, DPC) M12:Devis Pièces C N10(ci1, τ10, A2, SB, DPB) N10(ci1, τ10, A2, SB, DPB) N13(ci1, τ13, SB, R, DP) M10:Devis Pièces B M13:Devis Prod. M14:Devis Prod. Final Suivi instantané de l’exécution d’une instance de chorégraphie. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 37. 28 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Application: Cas d’une chorégraphie d’une chaîne d’approvisionnement Client Revendeur Fournisseur Constructeurs (C) (R) (SB) (A2)(A3) M1:Dem. Devis M8:Dem. Devis Prod. N8(ci1, τ8, R, SB, DDP) N12(ci1, τ12, A3, SB, DPC) t1 Traiter Exception M9, M11:Dem. Devis Pièces N9(ci1, τ9, SB, A2, DDS) N11(ci1, τ11, SB, A3, DDS) N9(ci1, τ9, SB, A2, DDS) N11(ci1, τ11, SB, A3, DDS) t2 Exception N10 "Transfer de Notification" N12(ci1, τ12, A3, SB, DPC) Exception N10 "Notification du Super" M12:Devis Pièces C t3 Timeout Réponse A2 Exception N10 "Notification des Subs" Fault Traiter Exception tg Timeout Timeout Détection, gestion et transfert d’exception (Diagramme de séquence). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 38. 29 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Supervision décentralisée et échange de notifications entre partenaires Synthèse (contribution 2) Mécanisme d’échange de notifications (traçabilité, délais, exceptions). Surcharge minimale: propagation hiérarchique (notification sélective). Approche non intrusive (écoute passive). Vue EFM-view pour le suivi des sous-partenaires. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 39. 30 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 40. 31 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Supervision événementielle dans un environnement CEP Une règle pour chaque couple d’activités (relations binaires: «précède», «suit», «exclusif à» et «parallèle») [Weidlich, M., et al., BPM’11] (-) Requêtes qui se chevauchent. (-) Alertes redondantes. (-) Boucles non traitées. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 41. 31 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Supervision événementielle dans un environnement CEP Une règle pour chaque couple d’activités (relations binaires: «précède», «suit», «exclusif à» et «parallèle») [Weidlich, M., et al., BPM’11] (-) Requêtes qui se chevauchent. (-) Alertes redondantes. (-) Boucles non traitées. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 42. 32 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Fragmentation structurelle d’une chorégraphie et événements de blocs C B1 B2 B21 B211 B212 B11 Inspirée de l’arbre de structure de processus R-PST [IBM, BPM’08]. Décomposition hiérarchique en un ensemble de blocs SESE. Décomposition unique, modulaire et peut être calculée en temps linéaire. Les blocs sont canoniques, i.e. ne se chevauchent jamais1 . 1 Prenant deux blocs, soit un bloc est entièrement contenu dans l’autre, soit les deux blocs sont totalement disjoints. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 43. 33 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Arbre de structure de chorégraphie (CST) C B1 B2 B211 B21 B212 B11 C Seq B1 Seq Seq I3 B2 loop And B21 B11 I1 Seq I9 I8 Ex B211 I2 B212 Seq I4 Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Seq I5 I6 I7 Supervision décentralisée des chorégraphies inter-organisationnelles
  • 44. 34 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Enrichissement (tagging) des événements Structure d’un événement enrichi (Eid, Cid,Iid, < ascendancy >, TS) avec ascendancy contenant la liste de tous les blocs supérieurs de l’interaction observée. Exemple: C Seq B1 Seq Seq I3 B2 loop B21 B11 I1 Seq I9 And I8 Ex B211 I2 B212 Seq I4 Seq I5 I6 I7 (a) Arbre CST Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine (b) Enrichissement (tagging) des événements Supervision décentralisée des chorégraphies inter-organisationnelles
  • 45. 34 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Enrichissement (tagging) des événements Structure d’un événement enrichi (Eid, Cid,Iid, < ascendancy >, TS) avec ascendancy contenant la liste de tous les blocs supérieurs de l’interaction observée. Exemple: (c) Arbre CST Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine (d) Enrichissement (tagging) des événements Supervision décentralisée des chorégraphies inter-organisationnelles
  • 46. 34 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Enrichissement (tagging) des événements Structure d’un événement enrichi (Eid, Cid,Iid, < ascendancy >, TS) avec ascendancy contenant la liste de tous les blocs supérieurs de l’interaction observée. Exemple: (e) Arbre CST Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine (f) Enrichissement (tagging) des événements Supervision décentralisée des chorégraphies inter-organisationnelles
  • 47. 35 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Génération des événements de haut niveau (END-events) Événement de fin de bloc: symbolise l’exécution de tout un bloc B: End(B) Contraintes entre deux blocs (voisins): Seq(Bi,Bj) Bi (Ik ∈ Bi) < End(Bi) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Bj < (Il ∈Bj) Supervision décentralisée des chorégraphies inter-organisationnelles
  • 48. 36 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision B1 B2 Bn Seq(B1,B2),Seq(B2,B3),...Seq(Bn-1,Bn). End(Bn) => Generate(End(B)). B B1 B2 Bn End(B1) &..& End(Bn) => Generate(End(B)). B ITÉRATION B B1 End(B1) => DeleteAll(B1) & Generate(End(B)). CHOIX EXCLUSIF BRANCHEMENT MULTIPLE SéQUENCE Mécanisme de génération automatique de règles B B1 B2 Bn Ex(Bi,Bj) , i≠j , i,j ∈ {1,2,...,n}. End(B1) or...or End(Bn) => Generate(End(B)). Règles de génération par patron Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 49. 37 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Génération automatique des règles (Retour sur l’exemple) C Seq B1 Seq Seq I3 B2 loop B21 B11 I1 Seq I9 And C B1 B2 I8 B21 B211 B212 Ex B211 I2 B212 Seq I4 B11 Seq I5 I6 I7 Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 50. 37 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Génération automatique des règles (Retour sur l’exemple) C B1 B2 B21 B211 B212 B11 14 règles (à la place 9x9=81 avec l’approche BP) + 7 regles Ex(Mi , Mi ), i ∈ {1..9}. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 51. 38 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Détection instantanée des violations au cours de l’exécution Désordre dans le séquencement des messages (Violation d’ordre) Example 1: M1 , M2 , generate End(B11 ), End(B1 ) M1 , M2 , E(B11 ), E(B1 ), M4 , M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , Seq(M3 , B2 ) est violée Seq(M3 , B2 ) est violée M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , M3 , M5 , generate End(B211 ), End(B21 ), ... Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 52. 38 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Détection instantanée des violations au cours de l’exécution Désordre dans le séquencement des messages (Violation d’ordre) Example 1: M1 , M2 , generate End(B11 ), End(B1 ) M1 , M2 , E(B11 ), E(B1 ), M4 , M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , Seq(M3 , B2 ) est violée Seq(M3 , B2 ) est violée M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , M3 , M5 , generate End(B211 ), End(B21 ), ... Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 53. 38 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Détection instantanée des violations au cours de l’exécution Désordre dans le séquencement des messages (Violation d’ordre) Example 1: M1 , M2 , generate End(B11 ), End(B1 ) M1 , M2 , E(B11 ), E(B1 ), M4 , M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , Seq(M3 , B2 ) est violée Seq(M3 , B2 ) est violée M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , M3 , M5 , generate End(B211 ), End(B21 ), ... Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 54. 38 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Détection instantanée des violations au cours de l’exécution Désordre dans le séquencement des messages (Violation d’ordre) Example 1: M1 , M2 , generate End(B11 ), End(B1 ) M1 , M2 , E(B11 ), E(B1 ), M4 , M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , Seq(M3 , B2 ) est violée Seq(M3 , B2 ) est violée M1 , M2 , E(B11 ), E(B1 ), M4 , M8 , M3 , M5 , generate End(B211 ), End(B21 ), ... Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 55. 39 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Phase de configuration Aperçu sur notre approche: Génération de requêtes et détection de violations dans un environnement CEP Modèle de chorégraphie Dérivation de Requêtes CEP (+ascendance) évts simples Phase d'exécution Relations de séquencement et de génération des END Arbre de structure (CST) (occurrence d'un échange de message) Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Règles par patron Règles d'agrégation de violations évt. de haut niveau Enrichir les évts. Mettre en contexte (Préprocesseur) évts. Alerter (Tableaux de bord) Règles de génération des END-events enrichis Traiter les évts (Processeur CEP) -Detecter patron (anti-patron) & relations entre les évts. Violations agrégées Violations -Ordre de message -Extra-message -Message manquant Grouper les violations par cause (Agrégation des évts) Supervision décentralisée des chorégraphies inter-organisationnelles
  • 56. 40 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Génération automatique et optimisée de requêtes de supervision Synthèse (contribution 3) Approche évènementielle pour générer un ensemble optimal de requêtes de supervision. Hiérarchie de blocs canoniques et enrichissement de chaque évènement par ses blocs ascendants dans l’arbre de structure CST. Génération automatique des relations binaires et des événements de fin de bloc. Requêtes directement utilisables dans un environnement CEP. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 57. 41 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Le projet ChorEM (environnement CEP: Java + Esper) Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 58. 42 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Le projet ChorEM (environnement CEP: Java + Esper) Le traitement des événements complexes (CEP) CEP: traitement en continu des événements complexes de diverses sources (création, lecture, transformation, abstraction) Patron d’événement (event pattern) détection de séquences d’événements (relations temporelles, booléennes, de similarité, d’indépendance ou de causalité). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 59. 43 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Le projet ChorEM (environnement CEP: Java + Esper) Le projet ChorEM (environnement CEP: Java + Esper) Conception du composant EFM Producteur d'événement Gestion et Traitement d'événement event processing network (EPN) Enrichir les évts. (+ascendance) Grouper les violations par cause Agent 1 Agent 3 Préprocesseur Générateur d'événements (à chaque message échangé) évts simples (occurrence d'un échange de message) Consommateur d'événement Aggrégateur évt. de haut niveau évts. enrichis Violations -Ordre de message -Extra-message -Message manquant Violations agrégées Tableaux de bord Agent 2 Processeur -Detecter patron (anti-patron) & relations entre les évts. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 60. 44 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Simulation et génération aléatoire de séquences Expérimentations, évaluation et passage à l’échelle Variation du nombre de violations, des événements de fin de bloc en fonction du nombre de messages Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 61. 45 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Bilan Plan de la présentation 1 Introduction, problématique et état de l’art Introduction / Problématique Les approches de supervision des compositions de services 2 Contributions de la thèse Modèle formel et architectural Supervision décentralisée et échange de notifications entre partenaires Génération automatique et optimisée de requêtes de supervision 3 Expérimentations Le projet ChorEM (environnement CEP: Java + Esper) Simulation et génération aléatoire de séquences 4 Bilan et perspectives Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 62. 46 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Bilan Bilan des contributions Modèle formel et architectural indépendant du langage. Modulable (EFM, EFC, EFP). Supervision décentralisée (EFM) non-intrusive et automatisée avec contrôle instantané (EFC). Mécanisme d’échange de notifications (propagation hiérarchique et sélective). Mécanisme optimisé de génération de règles et de politique (EFP). Suivi et traçabilité d’exécution. Synergie entre SOA, BPM et CEP (Agilité, flexibilité et réactivité). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 63. 47 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Bilan Perspectives Aspects de qualité de service: contraintes de temps, délais d’attente (entre deux messages). Adapter l’approche pour l’échange de notifications entre les solutions BAM. Perfectionner le mécanisme d’agrégation de violations (fenêtres coulissantes). Améliorer l’outil ChorEM: générateur de code (à partir d’un fichier WS-CDL, BPMN 2.0). Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles
  • 64. 48 Introduction / état de l’art Formel et Archi. / Echange de notifica. / Génération de règles Expérimentations Bilan / perspectives Bilan Bibliographie A. Baouab, O. Perrin, C. Godart. Supervision Décentralisée des Chorégraphies de Services. 31ème Congrès INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID’13), Paris, France, 2013. W. Fdhila, S. Rinderle-Ma, A. Baouab, O. Perrin, C. Godart. On Evolving Partitioned Web Service Orchestrations. IEEE International Conference on Service-Oriented Computing and Applications (SOCA’12), Taipei, Taiwan, 2012. A. Baouab, O. Perrin, C. Godart. An Optimized Derivation of Event Queries to Monitor Choreography Violations. 10th International Conference on Service Oriented Computing (ICSOC’12), LNCS 7636, pp. 222–236. Springer, Heidelberg. Shanghai, China, 2012. A. Baouab, W. Fdhila, O. Perrin, C. Godart. Towards Decentralized Monitoring of Supply Chains. 19th International Conference on Web Services (IEEE ICWS’12), Honolulu, Hawaii, 2012. W. Fdhila, A. Baouab, K. Dahman, C. Godart, O. Perrin, F. Charoy. Change Propagation in Decentralized Composite Web Services. 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom’11), pages : 508-511, Orlando, FL, US, 2011. A. Baouab, O. Perrin, C. Godart. An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. 8th International Conference on Services Computing (IEEE SCC’11), pages : 640 - 647, Washington DC, US, 2011. A. Baouab, O. Perrin, N. Biri, C. Godart. Security Meta-Services Orchestration Architecture. IEEE Asia-Pacific Services Computing Conference (APSCC’09), pages : 28-33, Biopolis, Singapore, 2009. Aymen BAOUAB - LORIA / INRIA Nancy - Univ. Lorraine Supervision décentralisée des chorégraphies inter-organisationnelles