Embed Size (px)
DESCRIPTION
Tool demonstration given by Niels Lohmann on July 21, 2006 in Dagstuhl, Germany at the The Role of Business Processes in Service Oriented Architectures (Dagstuhl-Seminar 06291).
Citation preview
21.07.2006
Analyzing Interacting BPEL Processes:A Tool Demo
The Role of Business Processes in Service Oriented Architectures
Niels LohmannHumboldt-Universität zu Berlin
Department of Computer [email protected]
The Role of B
usiness Processes in Service Oriented A
rchitectures
2
Use theory to predict the real world!
! theory:! controllability (Karsten Wolf)! operating guidelines (Peter Massuthe)
Our Goal
The Role of B
usiness Processes in Service Oriented A
rchitectures
2
Use theory to predict the real world!
! theory:! controllability (Karsten Wolf)! operating guidelines (Peter Massuthe)
! real world:! web services, BPEL
Our Goal
The Role of B
usiness Processes in Service Oriented A
rchitectures
2
Use theory to predict the real world!
! theory:! controllability (Karsten Wolf)! operating guidelines (Peter Massuthe)
! real world:! web services, BPEL
Our Goal
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
BPEL2oWFN
translationstatic analysis
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
open workflow net
BPEL2oWFN
translationstatic analysis
?aa
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
open workflow net
BPEL2oWFN
Fiona
translationstatic analysis
?aa
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
open workflow net
BPEL2oWFN
Fiona
controllabilityoperating guideline
translationstatic analysis
?aa
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
open workflow net
Petri net
BPEL2oWFN
Fiona
controllabilityoperating guideline
translationstatic analysis
?aa
The Role of B
usiness Processes in Service Oriented A
rchitectures
3
Tool Chain
BPEL process
open workflow net
Petri net
BPEL2oWFN
Fiona
LoLA
controllabilityoperating guideline
model checking
translationstatic analysis
?aa
The Role of B
usiness Processes in Service Oriented A
rchitectures
4
BPEL2oWFN
! translates BPEL processes! to open workflow nets! to Petri nets (PNML, LoLA, PEP, …)
The Role of B
usiness Processes in Service Oriented A
rchitectures
4
BPEL2oWFN
! translates BPEL processes! to open workflow nets! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository
The Role of B
usiness Processes in Service Oriented A
rchitectures
4
BPEL2oWFN
! translates BPEL processes! to open workflow nets! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository! implements structural reduction rules
The Role of B
usiness Processes in Service Oriented A
rchitectures
4
BPEL2oWFN
! translates BPEL processes! to open workflow nets! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository! implements structural reduction rules
The Role of B
usiness Processes in Service Oriented A
rchitectures
5
BPEL2oWFN (cont.)
! performs static analysis! detects conflicting receive activities! detects cyclic links! detects uninitialised variables! …
The Role of B
usiness Processes in Service Oriented A
rchitectures
6
Fiona
! analyses the communicational behaviour
! decides controllability ( = Is there a partner?)
! calculates the operating guideline( = How do all the partners look like?)
The Role of B
usiness Processes in Service Oriented A
rchitectures
6
Fiona
! analyses the communicational behaviour
! decides controllability ( = Is there a partner?)
! calculates the operating guideline( = How do all the partners look like?)
LoLA
! analyses the internal behaviour
! verifies CTL formulas (e.g. weak termination)
! implements many reduction techniques
The Role of B
usiness Processes in Service Oriented A
rchitectures
7
Example #1The Online Shop
BPEL2oWFN Fiona
The Role of B
usiness Processes in Service Oriented A
rchitectures
8
Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
8
Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
8
Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
8
Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
9
Example #2The new Online Shop
BPEL2oWFN Fiona
The Role of B
usiness Processes in Service Oriented A
rchitectures
10
New Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
10
New Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
10
New Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
10
New Online Shop
yes no
The Role of B
usiness Processes in Service Oriented A
rchitectures
11
Future Work
! partner generation (BPEL)
! visualisation of counter-examples
! generation of public views
! consideration of data
! decentralised/autonomous setting
! …
The Role of B
usiness Processes in Service Oriented A
rchitectures
12
! The tools are free software!
! Sources, slides and examples are available at:www.informatik.hu-berlin.de/top/tools4bpel
Thank you for your attention!
Try it!
