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.

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. 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. 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. 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. 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. Advanced Tutorial on Petri Net Modelling of Business Processes
6
The Online Shop
Fiona
#1 Example
BPEL2oWFN

7. Advanced Tutorial on Petri Net Modelling of Business Processes
7
no
yes
Online Shop

8. Advanced Tutorial on Petri Net Modelling of Business Processes
8
The new Online Shop
Fiona
#2 Example
BPEL2oWFN

9. Advanced Tutorial on Petri Net Modelling of Business Processes
9
no
New Online Shop
yes

10. 10
Advanced Tutorial on Petri Net Modelling of Business Processes
Credit Approval
LoLA
#3 Example
BPEL2oWFN

11. Advanced Tutorial on Petri Net Modelling of Business Processes
11
Credit Approval

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