Demonstration of BPEL2oWFN and Fiona

01.09.2006

Demonstration ofBPEL2oWFN and Fiona

B∙E∙S∙T Colloquium, Eindhoven

Niels Lohmann

[email protected]://www.informatik.hu-berlin.de/~nlohmann

Dem

onstration of BPEL2oW

FN and Fiona

Tool Chain

BPEL process

open workflow net

Petri net

BPEL2oWFN

Fiona

LoLA

controllabilityoperating guideline

model checking

translationstatic analysis

?aa

Dem


FN and Fiona

BPEL2oWFN

§ translates BPEL processes to Petri nets:§ Fiona oWFN, PNML, LoLA, PEP, …

§ implements a pattern repository§ implements structural reduction rules

§ performs static analysis (conflicting receives…)

Dem


FN and Fiona

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

Dem


FN and Fiona

Example #1The Online Shop

BPEL2oWFN Fiona

Dem


FN and Fiona

Example #2The new Online Shop

BPEL2oWFN Fiona

Dem


FN and Fiona

Example #3Credit Approval

LoLABPEL2oWFN

Dem


FN and Fiona

Credit Approval

Dem


FN and Fiona

Example #4Coffee Vending Machine

LoLABPEL2oWFN

Dem


FN and Fiona

Coffee Vending Machine

coffee.bpel

Dem


FN and Fiona

Possible Partners

customer1.bpel customer3.bpelcustomer2.bpel

Demonstration of BPEL2oWFN and Fiona

Education

Transcript of Demonstration of BPEL2oWFN and Fiona