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

soa

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




soa

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




soa

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




soa

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




soa

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




soa

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




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)


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


ProM


Integration


ProM

/live


Integration


ProM

/liveYAWL Editor


Integration


ProM

/liveYAWL Editor

Oryx


Soundness check with Oryx


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]

Education

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