Your SlideShare is downloading. ×
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Tools4BPEL4Chor
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Tools4BPEL4Chor

862

Published on

Tool demonstration given by Niels Lohmann on June 13, 2008 in London, Great Britain at the 3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008).

Tool demonstration given by Niels Lohmann on June 13, 2008 in London, Great Britain at the 3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008).

0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
862
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
0
Comments
0
Likes
2
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Tools4BPEL4Chor Niels  Lohmann  and  Oliver  Kopp YR-­‐SOC  2008  ▪  London  ▪  13  June  2008 UNIVERSITÄT ROSTOCK
  • 2. Overview Oryx BPEL4Chor Editor BPEL2oWFN BPEL4Chor oWFN2BPEL Compiler choreography Compiler Fiona Petri net model Synthesis (synthesized participant) Rachel Petri net model Petri net model Correction (corrected participant) LoLA Petri net model Analysis (counter example) 2
  • 3. Oryx  –  http://www.bpel4chor.org/editor 3
  • 4. Oryx  Design  Goals • 1.  Easy  access  Zero-­‐installation,   a  process  model  “just  a  bookmark  away” • 2.  Full  BPMN  support  All  language  constructs  and  attributes • 3.  Extensibility  New  languages,  new  functionality • 4.  Support  for  open  standards  /  interoperability  XPDL,  RDF,  BPEL
  • 5. Oryx  and  the  Process  Lifecycle BPMN modeling Petri net modeling EPC modeling Technical config for BPMN BPMN 2 BPEL mapping
  • 6. Oryx  History • 2005  Idea:  create  own  process  modeling  tool  suite  at  BPT  group  First  version:  GEF-­‐/eclipse-­‐based  BPMN  editor • 2006  Bachelor  project  starts  developing  Oryx • 2007  Oryx  released  as  open  source  Major  interest  from  industry  and  academia  First  external  plugin  from  Stuttgart  (BPMN  2  BPEL) • 2008  Continuous  improvements  More  HPI  plugins  (EPC,  layouting,  analysis,  …)  More  external  plugins  from  Stuttgart,  Australia,  Estonia,  …
  • 7. Analysis  Tools • joint  work  of  Universität  Rostock  Humboldt-­‐Universität  zu  Berlin  Jan  Bretschneider,  Dirk  Fahland,  Christian  Gierds,   Kathrin  Kaschner,  Jens  Kleine,  Peter  Massuthe,  Niels   Lohmann,  Christian  Stahl,  Daniela  Weinberg,   Karsten  Wolf  +  dozens  of  students service-­‐technology.org 7
  • 8. Overview Oryx BPEL4Chor Editor BPEL2oWFN BPEL4Chor oWFN2BPEL Compiler choreography Compiler Fiona Petri net model Synthesis (synthesized participant) Rachel Petri net model Petri net model Correction (corrected participant) LoLA Petri net model Analysis (counter example) 8
  • 9. The  running  example send offer Customer rejection send send receive booking payment confirmation Travel Agency receive receive send booking payment ticket order send offer receive offer rejection send confirmation Airline send refusal 9
  • 10. BPEL2oWFN • translate  BPEL  choreography  into  a  Petri  net  model BPEL2oWFN BPEL  processes Static  Analysis Translation Petri  net topology • feature-­‐complete  semantics  (fault  handling,  …) 10
  • 11. LoLA • Petri  net  model  checker Yes LoLA Petri  Net Deadlock  checker, Witness  path CTL  model  checker, AFϕ No specification Counterexample • many  successful  case  studies • reduction  techniques  allow  analysis  of  real-­‐life  models 11
  • 12. Fiona • Service  model  analysis  tool Fiona Partner  Synthesis Open  Petri  net Open  Petri  net (Service) (Partner) • if  deadlock-­‐free  interaction  is  possible, a  partner  can  be  synthesized • basis  for  other  applications  (service  mediation,  …) 12
  • 13. Fiona • Service  model  analysis  tool Fiona Exhaustive  analysis Open  Petri  net Operating (Service) Guideline • operating  guideline  characterizes  all  partners • alternative  to  public  view  approach • allows  for  efficient  service  discovery/matching 13
  • 14. Rachel • Choreography  repair  tool ✗ Rachel Matching-­‐based ✓ service  automaton Edit  Distance fixed  service automaton operating  guideline • refines  choreography  partner  synthesis 14
  • 15. oWFN2BPEL • translate  formal  models  to  BPEL oWFN2BPEL intermediate  model BPEL-­‐annotated  oWFN Open  workflow  net BPEL  process • bring  results  back  to  an  executable  language  fixed/synthesized  participants  counterexamples 15
  • 16. Try  it • all  tools  are  free  software • download  them  at  service-­‐technology.org/bpel2owfn  service-­‐technology.org/lola  service-­‐technology.org/fiona  service-­‐technology.org/rachel  service-­‐technology.org/owfn2bpel 16
  • 17. Overview Oryx BPEL4Chor Editor BPEL2oWFN BPEL4Chor oWFN2BPEL Compiler choreography Compiler Fiona Petri net model Synthesis (synthesized participant) Rachel Petri net model Petri net model Correction (corrected participant) LoLA Petri net model Analysis (counter example) 17

×