Tool Demonstration
Advanced Tutorial on Petri Net Modelling of Business Processes




                         Niels Lohma...
Tool Chain




                                                                       Advanced Tutorial on Petri Net Model...
BPEL2oWFN




                                          Advanced Tutorial on Petri Net Modelling of Business Processes
  t...
BPEL2oWFN (cont.)




                                             Advanced Tutorial on Petri Net Modelling of Business Pr...
Fiona




                                                  Advanced Tutorial on Petri Net Modelling of Business Processes...
Advanced Tutorial on Petri Net Modelling of Business Processes
                                                           ...
Advanced Tutorial on Petri Net Modelling of Business Processes
                                                           ...
Advanced Tutorial on Petri Net Modelling of Business Processes
                                                           ...
Advanced Tutorial on Petri Net Modelling of Business Processes
                                                           ...
10




Advanced Tutorial on Petri Net Modelling of Business Processes
                          Credit Approval


        ...
Advanced Tutorial on Petri Net Modelling of Business Processes
                                                           ...
Future Work




                                      Advanced Tutorial on Petri Net Modelling of Business Processes
  par...
Try it!




                                                  Advanced Tutorial on Petri Net Modelling of Business Process...
Upcoming SlideShare
Loading in...5
×

Tools4BPEL Tool Demonstration

592

Published on

Tool demonstration given by Niels Lohmann on June 27, 2006 in Turku, Finland at the Advanced Tutorial on Petri Net Modelling of Business Processes; satellite event of the PETRI NETS 2006/ACSD 2006 conferences.

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

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

No notes for slide

Tools4BPEL Tool Demonstration

  1. 1. Tool Demonstration Advanced Tutorial on Petri Net Modelling of Business Processes Niels Lohmann Humboldt-Universität zu Berlin Department of Computer Science nlohmann@informatik.hu-berlin.de 27.06.2006
  2. 2. Tool Chain Advanced Tutorial on Petri Net Modelling of Business Processes controllability operating guideline a ?a Fiona translation open workflow net static analysis BPEL2oWFN BPEL process model checking LoLA Petri net 2
  3. 3. BPEL2oWFN Advanced Tutorial on Petri Net Modelling of Business Processes translates BPEL processes to open workflow nets to Petri nets (PNML, LoLA, PEP, …) implements a pattern repository implements structural reduction rules 3
  4. 4. BPEL2oWFN (cont.) Advanced Tutorial on Petri Net Modelling of Business Processes performs static analysis detects conflicting receive activities detects cyclic links detects uninitialised variables … 4
  5. 5. Fiona Advanced Tutorial on Petri Net Modelling of Business Processes analyses the communicational behaviour decides controllability calculates the operating guideline LoLA analyses the internal behaviour verifies CTL formulas (e.g. weak termination) implements many reduction techniques 5
  6. 6. Advanced Tutorial on Petri Net Modelling of Business Processes 6 The Online Shop Fiona #1 Example BPEL2oWFN
  7. 7. Advanced Tutorial on Petri Net Modelling of Business Processes 7 no yes Online Shop
  8. 8. Advanced Tutorial on Petri Net Modelling of Business Processes 8 The new Online Shop Fiona #2 Example BPEL2oWFN
  9. 9. Advanced Tutorial on Petri Net Modelling of Business Processes 9 no New Online Shop yes
  10. 10. 10 Advanced Tutorial on Petri Net Modelling of Business Processes Credit Approval LoLA #3 Example BPEL2oWFN
  11. 11. Advanced Tutorial on Petri Net Modelling of Business Processes 11 Credit Approval
  12. 12. Future Work Advanced Tutorial on Petri Net Modelling of Business Processes partner generation (BPEL) visualisation of counter-examples generation of abstract views exchangeability consideration of data decentralised/autonomous setting … 12
  13. 13. Try it! Advanced Tutorial on Petri Net Modelling of Business Processes Tools, slides and examples are available at: www.informatik.hu-berlin.de/top/tools4bpel Thank you for your attention! 13
  1. A particular slide catching your eye?

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

×