Analyzing Interacting BPEL Processes - A Tool Demo
0 likes682 views
The document discusses a tool demo for analyzing BPEL (Business Process Execution Language) processes within service-oriented architectures, aiming to predict real-world behavior using theoretical frameworks like controllability and operating guidelines. It introduces the bpel2owfn tool, which translates BPEL processes to open workflow nets and Petri nets, and performs static analysis to detect issues such as conflicting activities and cyclic links. Additionally, it mentions another tool, Fiona, that analyzes communication behavior, determines controllability, and calculates operating guidelines while outlining plans for future enhancements.
Analyzing Interacting BPEL Processes - A Tool Demo
- 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