service-technology.org — A tool family for correct business processes and services
1 like448 views
The document presents service-technology.org, a suite of tools designed to ensure the correctness of business process models and web services. It emphasizes the integration of various analytical methods such as UML activity diagrams and Petri nets for validation, checking, and synthesis of service processes. Additionally, it highlights design goals focused on simplicity, efficiency, and the Unix philosophy of creating single-purpose tools for effective processing.
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
- 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
- 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
- 23. Partner synthesis with ProM 14.09.10 service-technology.org 12
- 24. Correctness-ensuring process configuration in YAWL 14.09.10 service-technology.org 13
- 25. Partner synthesis with ProM 14.09.10 service-technology.org 14
- 26. service-technology.org/live make research results transparent make experiments repeatable make comparisons simpler 14.09.10 service-technology.org 15
- 27. Partner synthesis with ProM 14.09.10 service-technology.org 16
- 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 [email protected] › 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 [email protected] demo @ babbio 430