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).

1. Analyzing Interacting BPEL Processes:
A Tool Demo
The Role of Business Processes in Service Oriented Architectures
Niels Lohmann
Humboldt-Universität zu Berlin
Department of Computer Science
nlohmann@informatik.hu-berlin.de
21.07.2006

2. Our Goal
The Role of Business Processes in Service Oriented Architectures
Use theory to predict the real world!
! theory:
! controllability (Karsten Wolf)
! operating guidelines (Peter Massuthe)
2

3. Our Goal
The Role of Business Processes in Service Oriented Architectures
Use theory to predict the real world!
! theory:
! controllability (Karsten Wolf)
! operating guidelines (Peter Massuthe)
! real world:
! web services, BPEL
2

4. Our Goal
The Role of Business Processes in Service Oriented Architectures
Use theory to predict the real world!
! theory:
! controllability (Karsten Wolf)
! operating guidelines (Peter Massuthe)
! real world:
! web services, BPEL
2

5. The Role of Business Processes in Service Oriented Architectures
3
Tool Chain
BPEL process

6. The Role of Business Processes in Service Oriented Architectures
3
BPEL2oWFN
static analysis
translation
Tool Chain
BPEL process

7. Tool Chain
The Role of Business Processes in Service Oriented Architectures
a ?a
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
3

8. Tool Chain
The Role of Business Processes in Service Oriented Architectures
a ?a Fiona
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
3

9. Tool Chain
The Role of Business Processes in Service Oriented Architectures
controllability
operating guideline
a ?a Fiona
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
3

10. Tool Chain
The Role of Business Processes in Service Oriented Architectures
controllability
operating guideline
a ?a Fiona
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
Petri net
3

11. Tool Chain
The Role of Business Processes in Service Oriented Architectures
controllability
operating guideline
a ?a Fiona
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
model checking
LoLA
Petri net
3

12. BPEL2oWFN
The Role of Business Processes in Service Oriented Architectures
! translates BPEL processes
! to open workflow nets
! to Petri nets (PNML, LoLA, PEP, …)
4

13. BPEL2oWFN
The Role of Business Processes in Service Oriented Architectures
! translates BPEL processes
! to open workflow nets
! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository
4

14. BPEL2oWFN
The Role of Business Processes in Service Oriented Architectures
! translates BPEL processes
! to open workflow nets
! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository
! implements structural reduction rules
4

15. BPEL2oWFN
The Role of Business Processes in Service Oriented Architectures
! translates BPEL processes
! to open workflow nets
! to Petri nets (PNML, LoLA, PEP, …)
! implements a pattern repository
! implements structural reduction rules
4

16. BPEL2oWFN (cont.)
The Role of Business Processes in Service Oriented Architectures
! performs static analysis
! detects conflicting receive activities
! detects cyclic links
! detects uninitialised variables
!…
5

17. Fiona
The Role of Business Processes in Service Oriented Architectures
! analyses the communicational behaviour
! decides controllability ( = Is there a partner?)
! calculates the operating guideline
( = How do all the partners look like?)
6

18. Fiona
The Role of Business Processes in Service Oriented Architectures
! 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
6

19. The Role of Business Processes in Service Oriented Architectures
7
The Online Shop
Fiona
#1Example
BPEL2oWFN

20. The Role of Business Processes in Service Oriented Architectures
8
no
yes
Online Shop

21. The Role of Business Processes in Service Oriented Architectures
8
no
yes
Online Shop

22. The Role of Business Processes in Service Oriented Architectures
8
no
yes
Online Shop

23. The Role of Business Processes in Service Oriented Architectures
8
no
yes
Online Shop

24. The Role of Business Processes in Service Oriented Architectures
9
The new Online Shop
Fiona
#2 Example
BPEL2oWFN

25. The Role of Business Processes in Service Oriented Architectures
10
no
New Online Shop
yes

26. The Role of Business Processes in Service Oriented Architectures
10
no
New Online Shop
yes

27. The Role of Business Processes in Service Oriented Architectures
10
no
New Online Shop
yes

28. The Role of Business Processes in Service Oriented Architectures
10
no
New Online Shop
yes

29. Future Work
The Role of Business Processes in Service Oriented Architectures
! partner generation (BPEL)
! visualisation of counter-examples
! generation of public views
! consideration of data
! decentralised/autonomous setting
! …
11

30. Try it!
The Role of Business Processes in Service Oriented Architectures
! The tools are free software!
! Sources, slides and examples are available at:
www.informatik.hu-berlin.de/top/tools4bpel
Thank you for your attention!
12