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).
2. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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. communication fingerprints realizability
registration validation uml activity diagrams
partner characterization compatibility petri nets
choreography correction controllability adaptation
business process model checking diagnosis ws-bpel
web service instance migration analysis decomposition
deadlock freedom test case generation workflow nets
service-technology.org
process configuration modeling substitutability artifacts
model transformation operating guidelines composition
adaptive 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
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 GUI
14.09.10 service-technology.org 5
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 GUI
14.09.10 service-technology.org 5
26. service-technology.org/live
make research results transparent
make experiments repeatable
make comparisons simpler
14.09.10 service-technology.org 15
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. 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 family
Niels Lohmann
› industrial case study: soundness checking
› integration in other tools
the talk
niels.lohmann@uni-rostock.de › academic software development
› from theory to implementation
› best practices and lessons learned
http://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