Plateforme Adore : Aspects & Distributed ORchEstrations

Transcription

1 Plateforme Adore : Aspects & Distributed ORchEstrations Mireille Blay Fornarino Cédric Joffroy Sébastien Mosser I3S Équipe Rainbow 2006/2007 EPU Polytech Nice Sophia Antipolis Projet de fin d Étude Ingénieur SI

2 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 2

3 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 3

4 Contexte Technologique & Industriel Contexte Industriel EIS : Enterprise Information System Systèmes complexe (métier / code) Méthodologie SOA : Service Oriented Architecture Contexte Technologique Services Web (.Net C#, Java) Orchestrations de services (WSBPEL) 4

5 Orchestrations de service Fonctionnement 1 Description d un processus métier (assemblage de services) 2 Chargement dans un moteur d éxécution 3 Exposition du processus comme un nouveau service Avantages & inconvénients + Découplage processus métier / implémentation + Couplage lache entre les services (SOA) Orchestrations décrites en XML (Réutilisation / maintenance) Pas adaptées à toutes les situations 5

6 Problématiques & Objectifs Identification des problèmes Exécution centralisée sur le moteur d orchestration Une orchestration Un nouveau service Composition manuelle des orchestrations Contribution de la plateforme ADORE Distribuer les orchestrations sur l EIS Utiliser les orchestrations pour controler les services Composer automatiquement les contrôles définis 6

7 Orchestrations Vs Orchestrations de controle Orchestration : o Orch Assemblage de service par processus métier Publié comme un nouveau service Orchestrations de contrôle : o c Orch ctrl Contrôle l invocation d une opération de service Redéfinit le comportement d une opération Explicite l opération controlée (point de fusion) Orch Orch ctrl 7

8 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 8

9 Une architecture à proxies Chaque service controlée... Définit un proxy utilisateur P u (contrat identique) Définit un proxy ADORE P a (administration) Chaque tuple (P u, P a ) partage une base de contrôles commune Utilisation des proxies Utilisateur : invoque de manière transparente P u Administrateur : charge les contrôles dans P a Rôles P u : Exécution des contrôles ou indirection P a : Fusion automatique des contrôles et persistance 9

10 Architecture ADORE

11 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 11

12 Une approche par aspects... AOP : Aspects Oriented Programming, [Douence, 2004] Ajout de propriétés dans un programme existant Évolution orthogonale (séparation des préocupations) Aspects sur orchestration [Charfi et al, 2006] ADORE : Des aspects sur Service Web explicitant l appel de l opération controlée (proceed)... composables autour des pivots ainsi définis... faisant dynamiquement évoluer le comportement des pivots 12

13 ... ancrée dans le monde industriel Définition d un langage maison ODML : Orchestration Description Markup Langage BPEL ODML Là ou BPEL invoque une opération, ODML explicite un pivot ODML BPEL Transformation de modèle endogène (XML XML) Interprétation des contrôles dans un moteur industriel 13

14 OMSM : Orchestration Model Supporting Merging Modèle logique, support au raisonnement Description de règles de fusions entre orchestrations Description de règles de détection de conflits PROLOG effectue le calcul à notre place Conflits de fusion identifiés 1 Accès concurrent Read/Write à une même variable 2 Deux retour de résultats différents 3 Deux levées d exceptions différentes 4 Deux pivots de déléguation différents 14

15 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 15

16 Mise en situation Un EIS bancaire Gestion des comptes clients (transfert de fond) Gestion des interdits bancaires Gestion de la certification electronique Scénario : Respecter la Loi! Compte Source Interdit Bancaire Transfert Interdit! Compte Destinataire non certifié Transfert Interdit! 16

17 Orchestrations utilisées

18 La fusion détècte un conflit throw/throw

19 Capitalisation des connaissances Fusion possible!

20 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 20

21 Étape 1 : Un compositeur écrit une orchestration

22 Étape 2 : Le document est instancié en un graphe d objets

23 Étape 3 : Les objets basculent dans le modèle de fusion

24 Étape 4 : Fusion & détection de conflit

25 Étape 5 : Retour au modèle objet & stockage

26 Etape 6 : Affichage de l orchestration

27 Étape 7 : Exécution de l orchestration

28 Plan 1 Un contexte industriel problématique 2 Une architecture distribuée 3 Composition d orchestrations de contrôle 4 Une fusion de contrôles par l exemple 5 Un cycle de vie multi modèles 6 Conclusion 28

29 Un projet mélant recherche & industrie... Un projet estampillé Rainbow Modélisation, Composition & Transformation de modèles RNTL Faros, soutenu par l ANR Une problématique industrielle Pôle SCS SNMG ADORE répond à l évolution non anticipée des EIS Publications 1 JFDLPA 07 : Des aspects sur Services Web 2 DAIS 07 : Distributed Orchestration Architecture 3 IDM 07 : Interopérabilité des outils, Étude de cas 29

30 Travail réalisé et évolutions Réalisations Validation de l approche pour FAROS Une base théorique reconnue Implémentation & Validation des modèles utilisés Évolutions futures (stage ingénieur 2007) Finalisation de la plateforme Intégration de contrats à ADORE (Pollux) Preuve de propriétés formelles sur les contrôles 30

31 Merci de votre attention Bibliographie A Restricted Definition of AOP [Douence, 2004] AO4BPEL : An Aspect-Oriented Extension to BPEL [Charfi et al, 2006] Pour aller plus loin... Rapport de Projet de Fin d Étude Avez vous des questions? 31