| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| List of Acronyms | 第14-16页 |
| Chapter 1 Introduction on Cloud Services Composition | 第16-37页 |
| 1.1 Introduction | 第16-17页 |
| 1.2 Fundamentals of Cloud Services Composition | 第17-25页 |
| 1.2.1 Cloud Computing | 第17-20页 |
| 1.2.2 Overview of Cloud Services | 第20-22页 |
| 1.2.3 Cloud Services Composition | 第22-24页 |
| 1.2.4 Ontology | 第24-25页 |
| 1.3 Research Scope and Content | 第25-36页 |
| 1.3.1 Research Aim | 第25页 |
| 1.3.2 Research Objective and Significance | 第25-26页 |
| 1.3.3 Research Status | 第26-32页 |
| 1.3.4 Research Works and Contributions | 第32-34页 |
| 1.3.5 Dissertation Organization | 第34-36页 |
| 1.4 Summary | 第36-37页 |
| Chapter 2 Unified Ontology Based Approach for Cloud Service Selection | 第37-73页 |
| 2.1 Introduction | 第37-38页 |
| 2.2 Related Literature and Problem Statement | 第38-41页 |
| 2.2.1 Related Works | 第38-40页 |
| 2.2.2 Problem Statement | 第40-41页 |
| 2.3 A Framework for Cloud Service Selection | 第41-46页 |
| 2.4 Unified Ontology | 第46-54页 |
| 2.4.1 Main Classes | 第47页 |
| 2.4.2 Service Domain | 第47-51页 |
| 2.4.3 Cloud Service Characteristics | 第51-53页 |
| 2.4.4 Qo S Criteria | 第53-54页 |
| 2.5 Unified Ontology based Approach for Cloud Service Selection | 第54-66页 |
| 2.5.1 Services-Clustering Algorithm | 第54-59页 |
| 2.5.2 Functional Matching Method | 第59-61页 |
| 2.5.3 Non-Functional Ranking | 第61-66页 |
| 2.6 Case Study | 第66-67页 |
| 2.7 Experiment and Analysis | 第67-71页 |
| 2.7.1 Experiment Setting | 第67-68页 |
| 2.7.2 Experiment Results and Analysis | 第68-71页 |
| 2.8 Summary | 第71-73页 |
| Chapter 3 A Qo S Combinational Approach for Cloud Services Composition | 第73-114页 |
| 3.1 Introduction | 第73-74页 |
| 3.2 Related Literature and Problem Statement | 第74-77页 |
| 3.2.1 Related Works | 第74-76页 |
| 3.2.2 Problem Statement | 第76-77页 |
| 3.3 Problem Formulation | 第77-84页 |
| 3.4 Description of Qo S Combinational Approach | 第84页 |
| 3.5 QoS Combinational Approach for Cloud Services Composition | 第84-97页 |
| 3.5.1 Determining Qo S Local Constraints | 第85-88页 |
| 3.5.2 Finding h Excellent Candidate Cloud Services | 第88-91页 |
| 3.5.3 Finding Near-to-Optimal Composite Service using Global Constraints | 第91-96页 |
| 3.5.4 Flow Chart of Steps in Our Approach | 第96-97页 |
| 3.6 Case Study | 第97-105页 |
| 3.6.1 Scenario | 第97-98页 |
| 3.6.2 Implementation of our approach | 第98-105页 |
| 3.7 Experiment and Analysis | 第105-112页 |
| 3.7.1 Experiment Setting | 第105-106页 |
| 3.7.2 Experiment Results and Analysis | 第106-112页 |
| 3.8 Summary | 第112-114页 |
| Chapter 4 Semantic-Aware Approach For Automatic Cloud Services Composition | 第114-137页 |
| 4.1 Introduction | 第114-115页 |
| 4.2 Related Literature and Problem Statement | 第115-117页 |
| 4.2.1 Related Works | 第115-116页 |
| 4.2.2 Problem Statement | 第116-117页 |
| 4.3 Semantic-Aware Approach for Automatic Cloud Services Composition | 第117-128页 |
| 4.3.1 Efficient Output-Input Matching Algorithm for Building a Semantic Network | 第117-120页 |
| 4.3.2 Forward-Chaining based Algorithm for Finding Composite Services | 第120-124页 |
| 4.3.3 Hybrid Ranking Method for Selecting Optimal Composite Service | 第124-126页 |
| 4.3.4 Flow Chart of Steps in the Proposed Approach | 第126-128页 |
| 4.4 Case Study | 第128-132页 |
| 4.4.1 Building Semantic Network | 第129页 |
| 4.4.2 Producing Composite Services | 第129-131页 |
| 4.4.3 Ranking Composite Services | 第131-132页 |
| 4.5 Experiment and Analysis | 第132-135页 |
| 4.5.1 Experiment Setting | 第132-133页 |
| 4.5.2 Experiment Results and Analysis | 第133-135页 |
| 4.6 Summary | 第135-137页 |
| Chapter 5 Colored Petri Nets Based Model and Verification For Cloud Services Composition | 第137-163页 |
| 5.1 Introduction | 第137-138页 |
| 5.2 Related Literature and Problem Statement | 第138-140页 |
| 5.2.1 Related Works | 第138-140页 |
| 5.2.2 Problem Statement | 第140页 |
| 5.3 Basic Concepts of Colored Petri Nets | 第140-142页 |
| 5.3.1 Petri Nets | 第140-141页 |
| 5.3.2 Colored Petri Nets | 第141-142页 |
| 5.4 Colored Petri Nets based Model and Verification for Cloud Services Composition | 第142-151页 |
| 5.4.1 Modeling Services Composition in Colored Petri Nets | 第142-147页 |
| 5.4.2 Verifying of Services Composition in Colored Petri Nets | 第147-151页 |
| 5.5 Case Study | 第151-162页 |
| 5.5.1 Flight Ticket Purchase | 第151-158页 |
| 5.5.2 Translating Case Study | 第158-162页 |
| 5.6 Summary | 第162-163页 |
| Chapter 6 Conclusions and Future Works | 第163-166页 |
| 6.1 Conclusions | 第163-164页 |
| 6.2 Future Works | 第164-166页 |
| References | 第166-177页 |
| Acknowledgements | 第177-179页 |
| List of Publications | 第179-181页 |
| List of Research Projects | 第181-182页 |
| Appendix 1 | 第182-183页 |
