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

1. Demonstration of
BPEL2oWFN 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. Tool Chain
Demonstration of BPEL2oWFN and Fiona
controllability
operating guideline
a ?a Fiona
translation open workflow net
static analysis
BPEL2oWFN
BPEL process
model checking
LoLA
Petri net

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. Fiona
Demonstration of BPEL2oWFN and Fiona
§ 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. Demonstration of BPEL2oWFN and Fiona
Example #1
The Online Shop
BPEL2oWFN Fiona

6. Demonstration of BPEL2oWFN and Fiona
Example #2
The new Online Shop
BPEL2oWFN Fiona

7. Demonstration of BPEL2oWFN and Fiona
Example #3
Credit Approval
BPEL2oWFN LoLA

8. Demonstration of BPEL2oWFN and Fiona
Credit Approval

9. Demonstration of BPEL2oWFN and Fiona
Credit Approval

10. Demonstration of BPEL2oWFN and Fiona
Credit Approval

11. Demonstration of BPEL2oWFN and Fiona
Credit Approval

12. Demonstration of BPEL2oWFN and Fiona
Credit Approval

13. Demonstration of BPEL2oWFN and Fiona
Credit Approval

14. Demonstration of BPEL2oWFN and Fiona
Credit Approval

15. Demonstration of BPEL2oWFN and Fiona
Credit Approval

16. Demonstration of BPEL2oWFN and Fiona
Example #4
Coffee Vending Machine
BPEL2oWFN LoLA

17. Demonstration of BPEL2oWFN and Fiona
coffee.bpel
Coffee Vending Machine

18. Possible Partners
Demonstration of BPEL2oWFN and Fiona
customer1.bpel customer2.bpel customer3.bpel