Analyzing Interacting BPEL Processes:             A Tool DemoThe Role of Business Processes in Service Oriented Architectu...
Our Goal                                             The Role of Business Processes in Service Oriented ArchitecturesUse t...
Our Goal                                             The Role of Business Processes in Service Oriented ArchitecturesUse t...
Our Goal                                             The Role of Business Processes in Service Oriented ArchitecturesUse t...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
Tool Chain                                                    The Role of Business Processes in Service Oriented Architect...
Tool Chain                                                            The Role of Business Processes in Service Oriented A...
Tool Chain                                                                      The Role of Business Processes in Service ...
Tool Chain                                                                       The Role of Business Processes in Service...
Tool Chain                                                                       The Role of Business Processes in Service...
BPEL2oWFN                                            The Role of Business Processes in Service Oriented Architectures! tra...
BPEL2oWFN                                            The Role of Business Processes in Service Oriented Architectures! tra...
BPEL2oWFN                                            The Role of Business Processes in Service Oriented Architectures! tra...
BPEL2oWFN                                            The Role of Business Processes in Service Oriented Architectures! tra...
BPEL2oWFN (cont.)                                             The Role of Business Processes in Service Oriented Architect...
Fiona                                                     The Role of Business Processes in Service Oriented Architectures...
Fiona                                                     The Role of Business Processes in Service Oriented Architectures...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
The Role of Business Processes in Service Oriented Architectures                                                          ...
Future Work                                      The Role of Business Processes in Service Oriented Architectures! partner...
Try it!                                                    The Role of Business Processes in Service Oriented Architecture...
Upcoming SlideShare
Loading in...5
×

Analyzing Interacting BPEL Processes - A Tool Demo

711

Published on

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

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
711
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
4
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Analyzing Interacting BPEL Processes - A Tool Demo

  1. 1. Analyzing Interacting BPEL Processes: A Tool DemoThe 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. 2. Our Goal The Role of Business Processes in Service Oriented ArchitecturesUse theory to predict the real world!! theory: ! controllability (Karsten Wolf) ! operating guidelines (Peter Massuthe) 2
  3. 3. Our Goal The Role of Business Processes in Service Oriented ArchitecturesUse theory to predict the real world!! theory: ! controllability (Karsten Wolf) ! operating guidelines (Peter Massuthe)! real world: ! web services, BPEL 2
  4. 4. Our Goal The Role of Business Processes in Service Oriented ArchitecturesUse theory to predict the real world!! theory: ! controllability (Karsten Wolf) ! operating guidelines (Peter Massuthe)! real world: ! web services, BPEL 2
  5. 5. The Role of Business Processes in Service Oriented Architectures 3Tool Chain BPEL process
  6. 6. The Role of Business Processes in Service Oriented Architectures 3 BPEL2oWFN static analysis translationTool Chain BPEL process
  7. 7. Tool Chain The Role of Business Processes in Service Oriented Architectures a ?a translation open workflow net static analysis BPEL2oWFNBPEL process 3
  8. 8. Tool Chain The Role of Business Processes in Service Oriented Architectures a ?a Fiona translation open workflow net static analysis BPEL2oWFNBPEL process 3
  9. 9. Tool Chain The Role of Business Processes in Service Oriented Architectures controllability operating guideline a ?a Fiona translation open workflow net static analysis BPEL2oWFNBPEL process 3
  10. 10. Tool Chain The Role of Business Processes in Service Oriented Architectures controllability operating guideline a ?a Fiona translation open workflow net static analysis BPEL2oWFNBPEL process Petri net 3
  11. 11. Tool Chain The Role of Business Processes in Service Oriented Architectures controllability operating guideline a ?a Fiona translation open workflow net static analysis BPEL2oWFNBPEL process model checking LoLA Petri net 3
  12. 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. 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. 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. 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. 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. 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. 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. 19. The Role of Business Processes in Service Oriented Architectures 7 The Online Shop Fiona #1Example BPEL2oWFN
  20. 20. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  21. 21. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  22. 22. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  23. 23. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  24. 24. The Role of Business Processes in Service Oriented Architectures 9 The new Online Shop Fiona #2 Example BPEL2oWFN
  25. 25. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  26. 26. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  27. 27. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  28. 28. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  29. 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. 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
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×