• Save
Tools4BPEL4Chor
Upcoming SlideShare
Loading in...5
×
 

Tools4BPEL4Chor

on

  • 1,170 views

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

Statistics

Views

Total Views
1,170
Views on SlideShare
1,098
Embed Views
72

Actions

Likes
2
Downloads
0
Comments
0

2 Embeds 72

https://confluence.novatec-gmbh.de 69
http://www.slideshare.net 3

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

Tools4BPEL4Chor Tools4BPEL4Chor Presentation Transcript

  • Tools4BPEL4Chor Niels  Lohmann  and  Oliver  Kopp YR-­‐SOC  2008  ▪  London  ▪  13  June  2008 UNIVERSITÄT ROSTOCK
  • 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
  • Oryx  –  http://www.bpel4chor.org/editor 3
  • 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
  • Oryx  and  the  Process  Lifecycle BPMN modeling Petri net modeling EPC modeling Technical config for BPMN BPMN 2 BPEL mapping
  • 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,  …
  • 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
  • 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
  • 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
  • BPEL2oWFN • translate  BPEL  choreography  into  a  Petri  net  model BPEL2oWFN BPEL  processes Static  Analysis Translation Petri  net topology • feature-­‐complete  semantics  (fault  handling,  …) 10
  • 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
  • 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
  • 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
  • Rachel • Choreography  repair  tool ✗ Rachel Matching-­‐based ✓ service  automaton Edit  Distance fixed  service automaton operating  guideline • refines  choreography  partner  synthesis 14
  • 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
  • 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
  • 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