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

1. service-technology.org A tool family for correct business processes and services Niels Lohmann University of Rostock, Germany

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

9. Primary design goal: Efficiency 10000000 Philosophers (academic) WS-BPEL Models (industrial) Choreographies (academic) Asynchronous Sequence (academic) 1000000 nodes 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. Soundness Check 14.09.10 service-technology.org 4

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

13. Analysis of WS-BPEL Processes 14.09.10 service-technology.org 6

14. Command line tools 14.09.10 service-technology.org 7

15. Integration • via API (C++) • via system call • via service call • as Web site 14.09.10 service-technology.org 8

16. Integration • via API (C++) • via system call • via service call • as Web site ProM 14.09.10 service-technology.org 8

17. Integration • via API (C++) • via system call • via service call • as Web site ProM 14.09.10 service-technology.org /live 8

18. Integration • via API (C++) • via system call • via service call • as Web site ProM YAWL Editor /live 14.09.10 service-technology.org 8

19. Integration • via API (C++) • via system call • via service call • as Web site Oryx ProM YAWL Editor /live 14.09.10 service-technology.org 8

20. Soundness check with Oryx 14.09.10 service-technology.org 9

21. Soundness check with Oryx 14.09.10 service-technology.org 10

22. Partner synthesis with ProM 14.09.10 service-technology.org 11

24. Correctness-ensuring process configuration in YAWL 14.09.10 service-technology.org 13

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

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

Recommended

Recommended

More Related Content

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

Similar to service-technology.org — A tool family for correct business processes and services (20)

More from Universität Rostock

More from Universität Rostock (20)

Recently uploaded

Recently uploaded (20)