Analyzing Interacting BPEL Processes - A Tool Demo
Upcoming SlideShare
Loading in...5
×

Like this? Share it with your network

Share

Analyzing Interacting BPEL Processes - A Tool Demo

  • 856 views
Uploaded 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).

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

More in: Education
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
856
On Slideshare
856
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
4
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 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. 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. 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. 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. The Role of Business Processes in Service Oriented Architectures 3Tool Chain BPEL process
  • 6. The Role of Business Processes in Service Oriented Architectures 3 BPEL2oWFN static analysis translationTool Chain BPEL process
  • 7. Tool Chain The Role of Business Processes in Service Oriented Architectures a ?a translation open workflow net static analysis BPEL2oWFNBPEL process 3
  • 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. 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. 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. 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. 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 yesOnline Shop
  • 21. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  • 22. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline Shop
  • 23. The Role of Business Processes in Service Oriented Architectures 8 no yesOnline 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 noNew Online Shop yes
  • 26. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  • 27. The Role of Business Processes in Service Oriented Architectures 10 noNew Online Shop yes
  • 28. The Role of Business Processes in Service Oriented Architectures 10 noNew 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