service-technology.org — a tool family for correctbusiness processes and services

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

public view generation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

instance migration

artifacts

analysis

adaptation

partner synthesis

desynchronizability

controllability

contracts

composition

compatibility

choreographies

business process

ws-bpel

verification

realizability

refactoring

registration

soundness

substitutability

validation

service discovery

conformance

service-technology.org14.09.10 3

Primary design goal: Efficiency

100000

1000000

10000000

1 10 100 1000 10000 100000 1000000 10000000

inner markings of analyzed open net

Philosophers (academic)WS-BPEL Models (industrial)Choreographies (academic)Asynchronous Sequence (academic)

Soundness Check

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

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

Analysis of WS-BPEL Processes

Command line tools

Integration

• via API (C++)• via system call• via service call• as Web site

Integration

/liveYAWL Editor

Integration

/liveYAWL Editor

Soundness check with Oryx

Partner synthesis with ProM

Correctness-ensuring process configuration in YAWL

service-technology.org/live

make research results transparentmake experiments repeatablemake comparisons simpler

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

the [email protected]

service-technology.org — a tool family for correctbusiness processes and services

Education