Date post: | 22-Apr-2015 |
Category: |
Education |
Upload: | universitaet-rostock |
View: | 542 times |
Download: | 0 times |
service-technology.org
A tool family for correctbusiness processes and services
Niels LohmannUniversity of Rostock, Germany
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
14.09.10 service-‐technology.org
instance migration
artifacts
analysis
adaptive business processes
adaptation
operating guidelinesmodeling
model checking diagnosis
partner synthesis
partner characterization
process configurationmodel transformation
desynchronizability
decompositiondeadlock freedom
correctness-by-design
controllability
contracts
composition
compatibility
communication fingerprints
choreography correction
choreographies
business process
behavioral constraints
ws-bpel
petri netsuml activity diagrams
verification
realizability
refactoring
registration
soundness
substitutability
test case generation
validation
web serviceworkflow nets
service-technology.org
public view generation
soa
service discovery
conformance
service-technology.org14.09.10 3
Primary design goal: Efficiency
1
10
100
1000
10000
100000
1000000
10000000
1 10 100 1000 10000 100000 1000000 10000000
no
des
of
synth
esi
zed
part
ner
(unre
duced
)
inner markings of analyzed open net
Philosophers (academic)WS-BPEL Models (industrial)Choreographies (academic)Asynchronous Sequence (academic)
service-technology.org14.09.10 4
Soundness Check
service-technology.org14.09.10 5
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
service-technology.org14.09.10 5
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
service-technology.org14.09.10 6
Analysis of WS-BPEL Processes
service-technology.org14.09.10 7
Command line tools
service-technology.org14.09.10 8
Integration
• via API (C++)• via system call• via service call• as Web site
service-technology.org14.09.10 8
Integration
• via API (C++)• via system call• via service call• as Web site
ProM
service-technology.org14.09.10 8
Integration
• via API (C++)• via system call• via service call• as Web site
ProM
/live
service-technology.org14.09.10 8
Integration
• via API (C++)• via system call• via service call• as Web site
ProM
/liveYAWL Editor
service-technology.org14.09.10 8
Integration
• via API (C++)• via system call• via service call• as Web site
ProM
/liveYAWL Editor
Oryx
service-technology.org14.09.10 9
Soundness check with Oryx
service-technology.org14.09.10 10
Soundness check with Oryx
service-technology.org14.09.10 11
Partner synthesis with ProM
service-technology.org14.09.10 12
Partner synthesis with ProM
service-technology.org14.09.10 13
Correctness-ensuring process configuration in YAWL
service-technology.org14.09.10 14
Partner synthesis with ProM
service-technology.org14.09.10 15
service-technology.org/live
make research results transparentmake experiments repeatablemake comparisons simpler
service-technology.org14.09.10 16
Partner synthesis with ProM
service-technology.org14.09.10 17
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!
Niels [email protected]://service-technology.org
service-technology.org isa family of tools to ensure correctness of models of business processes and web services.
the encore› try our tools in your web browser› see a platform for repeatable experiments› help supporting transparency of case studies
› overview of the tool family› industrial case study: soundness checking› integration in other tools
the demo
tuesday 9/143:15-4:45 pmdemo showcase
the talk› academic software development› from theory to implementation› best practices and lessons learned
thursday 9/1611:15-11:45 amconference talk
thursday 9/162:00-2:30 pmdemo @ babbio 430