Presentation given by Niels Lohmann on September 27, 2010 in Eindhoven, The Netherlands; Overview talk given at the PhD defense ceremony at the Technische Universiteit Eindhoven.
7. ADVANTAGES 2
SIMPLER BASED ON
STRUCTURE STANDARDS
FOCUS ON INDEPENDENT
FUNCTIONALITY OF LOCATION
8. CHALLENGES 3
COMPLEX INFORMAL
COMMUNICATION MODELS
NO GLOBAL ERROR
COORDINATION LOCALIZATION
9. RESEARCH QUESTION 4
How to systematically support the design
of correct service-oriented systems?
10. RESEARCH QUESTION 4
How to systematically support the design
of correct service-oriented systems?
FORMAL FOUNDATION
11. RESEARCH QUESTION 4
How to systematically support the design
of correct service-oriented systems?
CORRECTNESS BY
VERIFICATION
FORMAL FOUNDATION
12. RESEARCH QUESTION 4
How to systematically support the design
of correct service-oriented systems?
CORRECTNESS BY CORRECTNESS BY
VERIFICATION CONSTRUCTION
FORMAL FOUNDATION
13. RESEARCH QUESTION 4
How to systematically support the design
of correct service-oriented systems?
TOOL SUPPORT
CORRECTNESS BY CORRECTNESS BY
VERIFICATION CONSTRUCTION
FORMAL FOUNDATION
26. TOOL SUPPORT 9
FORMAL CORRECTNESS BY CORRECTNESS BY
FOUNDATION VERIFICATION CONSTRUCTION
27. TOOL SUPPORT 9
FORMAL CORRECTNESS BY CORRECTNESS BY
FOUNDATION VERIFICATION CONSTRUCTION
BPEL2oWFN LoLA Wendy Rebecca Rachel
28. TOOL SUPPORT 9
FORMAL CORRECTNESS BY CORRECTNESS BY
FOUNDATION VERIFICATION CONSTRUCTION
BPEL2oWFN LoLA Wendy Rebecca Rachel
EXPERIMENTAL
RESULTS
29. CONCLUSION 10
INSCRIPTION AT SYDNEY HARBOUR BRIDGE
30. CONCLUSION 10
INSCRIPTION AT SYDNEY HARBOUR BRIDGE
SINGLE FORMALISM
UNIFORM CORRECTNESS NOTION
SMALL SET OF TECHNIQUES
SINGLE PURPOSE TOOLS
31. CONCLUSION 10
INSCRIPTION AT SYDNEY HARBOUR BRIDGE
∗
( )
SINGLE FORMALISM
UNIFORM CORRECTNESS NOTION
SMALL SET OF TECHNIQUES
SINGLE PURPOSE TOOLS
32. CONCLUSION 10
INSCRIPTION AT SYDNEY HARBOUR BRIDGE
∗
( )
SINGLE FORMALISM
UNIFORM CORRECTNESS NOTION
SMALL SET OF TECHNIQUES
SINGLE PURPOSE TOOLS
= A THEORY OF CORRECTNESS