service-technology.orgA tool family for correctbusiness processes and servicesNiels LohmannUniversity of Rostock, Germany
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility...
Primary design goal: Efficiency                                           10000000                                        ...
Soundness Check14.09.10   service-technology.org   4
Design goals: Simplicity• efficiency (runtime, memory)• single-purpose tools• UNIX philosophy   – small is beautiful   – m...
Design goals: Simplicity• efficiency (runtime, memory)• single-purpose tools• UNIX philosophy   – small is beautiful   – m...
Analysis of WS-BPEL Processes14.09.10   service-technology.org   6
Command line tools14.09.10   service-technology.org   7
Integration•    via API (C++)•    via system call•    via service call•    as Web site14.09.10   service-technology.org   8
Integration•    via API (C++)•    via system call•    via service call•    as Web site                                    ...
Integration•    via API (C++)•    via system call•    via service call•    as Web site                                    ...
Integration •    via API (C++) •    via system call •    via service call •    as Web site                                ...
Integration •    via API (C++) •    via system call •    via service call •    as Web site                                ...
Soundness check with Oryx14.09.10   service-technology.org   9
Soundness check with Oryx14.09.10   service-technology.org   10
Partner synthesis with ProM14.09.10   service-technology.org   11
Partner synthesis with ProM14.09.10   service-technology.org   12
Correctness-ensuring process configuration in YAWL14.09.10   service-technology.org                    13
Partner synthesis with ProM14.09.10   service-technology.org   14
service-technology.org/live                                    make research results transparent                          ...
Partner synthesis with ProM14.09.10   service-technology.org   16
Try it yourself!• get the tools   – http://service-­‐technology.org/tools• try them in your browser   – http://service-­‐t...
service-technology.org is                                a family of tools to ensure                                correc...
Upcoming SlideShare
Loading in …5
×

service-technology.org — A tool family for correct
business processes and services

531 views
487 views

Published on

Tool demonstration given by Niels Lohmann on September 16, 2010 in Hoboken, NJ, USA at the Eighth International Conference on Business Process Management (BPM 2010).

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
531
On SlideShare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

service-technology.org — A tool family for correct
business processes and services

  1. 1. service-technology.orgA tool family for correctbusiness processes and servicesNiels LohmannUniversity of Rostock, Germany
  2. 2. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  3. 3. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  4. 4. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  5. 5. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  6. 6. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  7. 7. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  8. 8. communication fingerprints realizabilityregistration validation uml activity diagramspartner characterization compatibility petri netschoreography correction controllability adaptationbusiness process model checking diagnosis ws-bpelweb service instance migration analysis decompositiondeadlock freedom test case generation workflow netsservice-technology.orgprocess configuration modeling substitutability artifactsmodel transformation operating guidelines compositionadaptive business processes correctness-by-design conformance soundness verification partner synthesis soa behavioral constraints choreographies desynchronizability contracts refactoring service discovery public view generation 14.09.10 service-­‐technology.org
  9. 9. Primary design goal: Efficiency 10000000 Philosophers (academic) WS-BPEL Models (industrial) Choreographies (academic) Asynchronous Sequence (academic) 1000000nodes of synthesized partner (unreduced) 100000 10000 1000 100 10 1 1 10 100 1000 10000 100000 1000000 10000000 inner markings of analyzed open net 14.09.10 service-technology.org 3
  10. 10. Soundness Check14.09.10 service-technology.org 4
  11. 11. Design goals: Simplicity• efficiency (runtime, memory)• single-purpose tools• UNIX philosophy – small is beautiful – make each program do one thing well – everything is a stream• complex tasks = tool interplay• be minimalistic: no GUI14.09.10 service-technology.org 5
  12. 12. Design goals: Simplicity• efficiency (runtime, memory)• single-purpose tools• UNIX philosophy – small is beautiful – make each program do one thing well – everything is a stream• complex tasks = tool interplay• be minimalistic: no GUI14.09.10 service-technology.org 5
  13. 13. Analysis of WS-BPEL Processes14.09.10 service-technology.org 6
  14. 14. Command line tools14.09.10 service-technology.org 7
  15. 15. Integration• via API (C++)• via system call• via service call• as Web site14.09.10 service-technology.org 8
  16. 16. Integration• via API (C++)• via system call• via service call• as Web site ProM14.09.10 service-technology.org 8
  17. 17. Integration• via API (C++)• via system call• via service call• as Web site ProM14.09.10 service-technology.org /live 8
  18. 18. Integration • via API (C++) • via system call • via service call • as Web site ProMYAWL Editor /live 14.09.10 service-technology.org 8
  19. 19. Integration • via API (C++) • via system call • via service call • as Web site Oryx ProMYAWL Editor /live 14.09.10 service-technology.org 8
  20. 20. Soundness check with Oryx14.09.10 service-technology.org 9
  21. 21. Soundness check with Oryx14.09.10 service-technology.org 10
  22. 22. Partner synthesis with ProM14.09.10 service-technology.org 11
  23. 23. Partner synthesis with ProM14.09.10 service-technology.org 12
  24. 24. Correctness-ensuring process configuration in YAWL14.09.10 service-technology.org 13
  25. 25. Partner synthesis with ProM14.09.10 service-technology.org 14
  26. 26. service-technology.org/live make research results transparent make experiments repeatable make comparisons simpler14.09.10 service-technology.org 15
  27. 27. Partner synthesis with ProM14.09.10 service-technology.org 16
  28. 28. Try it yourself!• get the tools – http://service-­‐technology.org/tools• try them in your browser – http://service-­‐technology.org/live• try an integrated version – Oryx – ProM – YAWL Editor – your tool? If you build cars we have the engines!14.09.10 service-technology.org 17
  29. 29. service-technology.org is a family of tools to ensure correctness of models of business processes and tuesday 9/14 web services. 3:15-4:45 pm demo showcase the demo › overview of the tool familyNiels Lohmann › industrial case study: soundness checking › integration in other tools the talkniels.lohmann@uni-rostock.de › academic software development › from theory to implementation › best practices and lessons learnedhttp://service-technology.org thursday 9/16 11:15-11:45 am conference talk the encore › try our tools in your web browser › see a platform for repeatable experiments › help supporting transparency of case studies the speaker thursday 9/16 2:00-2:30 pm niels.lohmann@uni-rostock.de demo @ babbio 430

×