Knowledge-based verification of service compositions / vorgelegt von Sven Walther. Paderborn, 2018
Content
- List of Figures
- List of Tables
- 1 Introduction
- I Preliminaries
- II Contributions
- 3 Workflow Descriptions
- 4 Workflow Templates
- 4.1 Related Work
- 4.2 Syntax and Semantics
- 4.3 Partial and Total Correctness
- 4.4 Proof Calculus
- 4.5 Correct Instantiations
- 5 Automating Correctness Proofs using First-order Logic
- 5.1 Related Work and the Treatment of Loops
- 5.2 First-order Logic Encodings
- 5.3 Correspondence of Correctness and Sat Problems
- 5.4 Deriving Invariants and Termination Functions
- 6 Dealing with Uncertain Service Descriptions
- 6.1 Uncertainty in Service Descriptions
- 6.2 Verification under Uncertainty
- 6.3 Special Cases
- 6.4 Discussion and Related Work
- 7 Prototypical Implementation
- III Discussion
- IV Appendix