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).
Interactive Powerpoint_How to Master effective communication
Demonstration of BPEL2oWFN and Fiona
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