web services 07 bpel slides

7/21/2019 Web Services 07 Bpel Slides

http://slidepdf.com/reader/full/web-services-07-bpel-slides 1/34

Processus metier et services : Illustration a travers WS-BPEL

Processus metier et services :

Illustration a travers WS-BPEL

E.Coquery

[email protected]

http://liris.cnrs.fr/~ecoquery

→ Enseignement→ TIW5

E.Coquery 1/34





http://find/




Processus metier 1

Ensemble d’actions

Visant a realiser une tache de haut niveauAyant un sens metier

En general pas informatique

Comment l’implementer dans une architecture SOA ?

1. Business Process (BP)E.Coquery 2/34

http://find/




Retour sur la commande de glaces

Representer un processus de traitement d’une commande de glaces

CommandePaiement

Livraison

...

E.Coquery 3/34

S

http://find/




Specificites

Plusieurs acteurs

Pas toujours connus au demarrage

Temps d’execution long

Transactions de longue dureeNecessite d’un etat persistant pour le processusPlusieurs instances simultanees pour un meme processus

Transactions complexes

Multiparties

Non annulables, mais compensablesVue a haut niveau

Details geres par les services

E.Coquery 4/34

P ´ i i Ill i ` WS BPEL

http://find/




WS-BPEL

Langage pour l’orchestration de services

Decrit un enchaınement d’actions (workflow)Langage et moteur d’execution dedies au processus metier :

Acteurs multiples et dynamiquesTransaction complexesLongue duree

E.Coquery 5/34

P ti t i Ill t ti ` t WS BPEL

http://find/

BPEL : structure de base

Syntaxe XML

targetNamespaceimports possibles

Blocs

<s c o p e name=” t o t o ”> . . .</ s c o p e>

E.Coquery 6/34

Processus metier et services : Illustration a travers WS BPEL

http://find/

http://goback/




Glaces : quels acteurs, quelles actions ?

Client

Passe la commandePaie

Preparateur de glaces

Prepare les glaces a livrer

Livreur

Prend les glaces et effectue la livraison

Banque

Effectue le transfert d’argent lors du paiementProcessus de traitement

Orchestre les interactionsPrevient le client du bon deroulement des actions

E.Coquery 7/34


http://find/

http://goback/




Acteurs en WS-BPEL

Representes par des services, exposes :

Par le process lui-meme

Par des services externes

Definition

Dans le BPEL :partnerLink (= nom + partnerLinkType)Quel role est joue par

le process ( myRole)le partenaire (partnerRole)

Dans le WSDL :partnerLinkType (= mapping role ↔ portType)

Souvent un seul role

sauf pour les process interactions asynchrones

E.Coquery 8/34


http://find/

Exemple glaces : myRole

BPEL :



WSDL :



+ Banque

E.Coquery 9/34


http://find/

http://goback/

Exemple glaces : partnerRole

BPEL :



WSDL :



+ LivraisonLookup, ClientInfo

E.Coquery 10/34


http://find/



Workflow en BPEL

Machine a etats

1 etat↔

une actionou un ensemble d’action : nesting via les scope

Transitions = relation de dependance

Instructions de controle classiques en plus

pour simplifier la modelisation

E.Coquery 11/34


http://find/

http://goback/



Workflow des glaces - 1

E.Coquery 12/34


http://find/

http://goback/



Workflow des glaces - 2

E.Coquery 13/34


http://find/



Premiere action

Engendre une nouvelle instance

Declenchement par un evenementEn general : reception d’un message

Attribut createInstance="yes"

Glace : reception d’un message de commande

E.Coquery 14/34


http://find/

Variables

4 sortes :

message

element XMLtype complexetype simple



E.Coquery 15/34


http://find/

http://goback/

Controle

Sequences<sequence> ... </sequence>

If then else

<if><condition>...</condition>...<elseif><condition>...</condition>...</elseif>

<else>...</else></if>

Boucles (while/ repeat until)

<while><condition>...</condition>...</while><repeatUntil>...<condition>...</condition>

</repeatUntil>

E.Coquery 16/34


http://find/

Interactions avec les partners

Roles

Appel a un service (partnerRole)

Necessairement synchrone et bloquant<invoke ...

Implementation d’un endpoint ( myRole)Synchrone egalement<receive ...

bloquant

<reply ...

Valeurs en entree et en sortie

Variables

+ XPath / XQuery / ...

E.Coquery 17/34


http://find/

http://goback/

Exemple glaces : reception de commande





. . .

E.Coquery 18/34


http://find/

Exemple glaces : recherche d’un livreur

<b p e l : i n v o k e name=” L i v r e u r L o o k u p ”

p a r t n e r L i n k = ” L i v r a i s o n L o o k u p ”o p e r a t i o n = ” R e c h e r c h e L i v r e u r ”i n p u t V a r i a b l e = ” L i v r a i s o n L o o k u p R e q u e s t V ”o u t p u t V a r i a b l e=” L i v r a i so n L o o ku p R e s po n s e V ” />

E.Coquery 19/34


http://find/

http://goback/

receive a plusieurs possibilites : pick



. . .



E.Coquery 20/34


http://find/

Affectations

<assign><copy><from>...</from><to>../<to></copy>...</assign>

Depuis / vers :

Variables

Messages

PartnerLinks

Expressions

XPath / XQuery

Pour la source et la destination

Atomicite

<assign> = ensemble d’affectation

<assign> ↔ transaction ACID

E.Coquery 21/34


http://find/

Adresses de services

<sref:service-ref> : element contenant l’adresse

peut contenir une adresse au format WS-Addressing

<wsa:EnpointReference>

Utile pour

les callback

la parallelisation d’appelsl’utilisation d’annuaires de services (lookupLivraison)

E.Coquery 22/34


http://find/



Correlations

Valeurs utilisees pour aiguiller les messages sur la bonne instance

Propriete (= nom + type) :

valeur utilisee pour des correlations∈ WSDL

Alias (= propriete + message + emplacement)ou trouver la propriete dans le messageaussi bien en entree qu’en sortie∈ WSDL

Correlation set (= ensemble de proprietes)

tuple de valeurs a utiliser pour une correlationpeut etre reference dans une interactioninitiate="yes"

∈ BPEL

E.Coquery 23/34


http://find/



Correlation de reponses

Plusieurs messages

sur un meme parnerLink

peuvent etre recusavant que la reponse du premier ne soit envoyee

→ messageExchange="..." pour correler un receive avec unreply

E.Coquery 24/34


http://find/

Exemple glaces : correlation sets, WSDL

<v p r o p : p r o p e r t y name=” C md Id Pt y ”t y p e=” x s d : s t r i n g ” />

<v p r o p : p r o p e r t y A l i a smessageType=”wsdl:CommandeGlaceResponse”p a r t = ” p a r a m e t e r s ”p r o p e r t y N a m e = ” t n s : C m d I d P t y ”><

v p r o p : q u e r y><

! [CDATA

[ @cmdid ] ]><

/ v p r o p : q u e r y>

</ v p r o p : p r o p e r t y A l i a s>

E.Coquery 25/34


http://find/

Exemple glaces : correlation sets, BPEL



. . .





E.Coquery 26/34


http://find/

Parallelisme

<f o r E a c h counte rName=”N” p a r a l l e l=” y e s ”><s t a r t C o u n t e r V a l u e>1</ s t a r t C o u n t e r V a l u e><f i n a l C o u n t e r V a l u e>5</ f i n a l C o u n t e r V a l u e><

c o m p l e t i o n C o n d i t i o n>

3</ c o m p l e t i o n C o n d i t i o n>

. . .</ f o r E a c h>

La valeur du compteur peut etre utilisee dans une expressionXPath

$lookupResponse/services/service[$N]

E.Coquery 27/34


http://find/

Concurrence : Flow

<flow>Lien (= dependance) <link>

Actions :source : action terminee → activation d’un liencible : combinaison de liens actives → action demarree

Combinaison : expression booleennevariables : liensvaleur : vrai si lien active

Valeur expression :vrai : declenchement de l’action

indeterminee : rien ne se passefaux : erreur

suppressJoinFailure

no : erreur si une action ne peut etre declencheeyes : pas d’erreur si une combinaison s’evalue a false

E.Coquery 28/34


http://find/

Handlers

<faultHandler>

↔ try/catch

faute SOAP↔

exception<terminationHandler>

Appele a la fin d’un <scope>

<eventHandlers> → <onEvent>

similaire au pick

pas de point d’attente bloquant

E.Coquery 29/34


http://find/

Exemple glace : eventHandlers

<b p e l : o n E v e n t p a r t n e r L i n k =” C l i e n t ”

o p e r a t i o n = ” A n n u l a t i o n ”portType=”ns:CommandPortType”v a r i a b l e = ” A n n u l a t i o n V ”

m e s s a g e T y p e = ” n s : A n n u l a t i o n R e q u e s t ”>







E.Coquery 30/34


http://find/



Versions de processus

Execution de longue duree

Mise a jour lors d’une executionMigration parfois impossible :

Changement des donnees / d’un schemaDisparition d’etats (actions)

Plusieurs version d’un meme process simultanement

E.Coquery 31/34


http://find/



Deploiement

Informations

Essentiellement les partnerLinks :

Les partenaires distants (e.g. lookupLivraison)Les interfaces du process

partenerLinks avec myRole=...

Persistence de l’etat/des donnees

In memory : plus rapideDans un SGBD

Propriete (constantes) pour la configuration du process e.g. :

valeur de seuil utilisee dans une condition metierniveau de parallelisme /seuil de deblocage d’un forEachparallele

E.Coquery 32/34


http://find/

Processus abstraits

Process avec des parties non definies

Correspondrait a des trous dans le process

<opaqueActivity>Peut etre instancie en un processus executable .

sans opaqueActivity

Possibilite d’utilisation sous forme de patron (template ) de

services

E.Coquery 33/34


http://find/



References

BPEL Primer

https://www.oasis-open.org/committees/download.php/23964/wsbpel-v2.0-primer.htm

Documentation d’Apache ODEhttp://ode.apache.org/userguide/

E.Coquery 34/34



http://ode.apache.org/userguide/

http://ode.apache.org/userguide/



http://find/

web services 07 bpel slides

Documents