Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Analyzing Interacting BPEL Processes - A Tool Demo

940 views

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
  • Be the first to comment

  • Be the first to like this

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

×