• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Demonstration of BPEL2oWFN and Fiona
 

Demonstration of BPEL2oWFN and Fiona

on

  • 541 views

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

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

Statistics

Views

Total Views
541
Views on SlideShare
541
Embed Views
0

Actions

Likes
0
Downloads
3
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Demonstration of BPEL2oWFN and Fiona Demonstration of BPEL2oWFN and Fiona Presentation Transcript

    • 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
    • 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
    • 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…)
    • 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
    • Demonstration of BPEL2oWFN and Fiona Example #1The Online ShopBPEL2oWFN Fiona
    • Demonstration of BPEL2oWFN and Fiona Example #2The new Online Shop BPEL2oWFN Fiona
    • Demonstration of BPEL2oWFN and Fiona Example #3Credit ApprovalBPEL2oWFN LoLA
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and FionaCredit Approval
    • Demonstration of BPEL2oWFN and Fiona Example #4Coffee Vending Machine BPEL2oWFN LoLA
    • Demonstration of BPEL2oWFN and Fiona coffee.bpelCoffee Vending Machine
    • Possible Partners Demonstration of BPEL2oWFN and Fiona customer1.bpel customer2.bpel customer3.bpel