Demonstration of BPEL2oWFN and Fiona

633 views

Published on

Tool demonstration given by Niels Lohmann on September 1, 2006 in Eindhoven, The Netherlands at the Berlin-Eindhoven Service Technology Colloquium 2006 (B.E.S.T. 2006).

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
633
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Demonstration of BPEL2oWFN and Fiona

  1. 1. Demonstration ofBPEL2oWFN and Fiona B∙E∙S∙T Colloquium, Eindhoven Niels Lohmann nlohmann@informatik.hu-berlin.de http://www.informatik.hu-berlin.de/~nlohmann 01.09.2006
  2. 2. Tool Chain Demonstration of BPEL2oWFN and Fiona controllability operating guideline a ?a Fiona translation open workflow net static analysis BPEL2oWFNBPEL process model checking LoLA Petri net
  3. 3. BPEL2oWFN Demonstration of BPEL2oWFN and Fiona§ translates BPEL processes to Petri nets: § Fiona oWFN, PNML, LoLA, PEP, …§ implements a pattern repository§ implements structural reduction rules§ performs static analysis (conflicting receives…)
  4. 4. Fiona Demonstration of BPEL2oWFN and Fiona§ analyses the communicational behaviour§ decides controllability§ calculates the operating guidelineLoLA§ analyses the internal behaviour§ verifies CTL formulas (e.g. weak termination)§ implements many reduction techniques
  5. 5. Demonstration of BPEL2oWFN and Fiona Example #1The Online ShopBPEL2oWFN Fiona
  6. 6. Demonstration of BPEL2oWFN and Fiona Example #2The new Online Shop BPEL2oWFN Fiona
  7. 7. Demonstration of BPEL2oWFN and Fiona Example #3Credit ApprovalBPEL2oWFN LoLA
  8. 8. Demonstration of BPEL2oWFN and FionaCredit Approval
  9. 9. Demonstration of BPEL2oWFN and FionaCredit Approval
  10. 10. Demonstration of BPEL2oWFN and FionaCredit Approval
  11. 11. Demonstration of BPEL2oWFN and FionaCredit Approval
  12. 12. Demonstration of BPEL2oWFN and FionaCredit Approval
  13. 13. Demonstration of BPEL2oWFN and FionaCredit Approval
  14. 14. Demonstration of BPEL2oWFN and FionaCredit Approval
  15. 15. Demonstration of BPEL2oWFN and FionaCredit Approval
  16. 16. Demonstration of BPEL2oWFN and Fiona Example #4Coffee Vending Machine BPEL2oWFN LoLA
  17. 17. Demonstration of BPEL2oWFN and Fiona coffee.bpelCoffee Vending Machine
  18. 18. Possible Partners Demonstration of BPEL2oWFN and Fiona customer1.bpel customer2.bpel customer3.bpel

×