| Abstract | 第3页 |
| Contents | 第4-7页 |
| List of Figures | 第7-8页 |
| List of Tables | 第8-9页 |
| List of Abbreviations | 第9-10页 |
| 1 INTRODUCTION | 第10-15页 |
| 1.1 Objectives | 第10页 |
| 1.2 Motivation | 第10-13页 |
| 1.3 The Approach | 第13-14页 |
| 1.4 Contributions | 第14-15页 |
| 2 RELATED WORK | 第15-21页 |
| 2.1 MDA Based | 第15-16页 |
| 2.2 Commercial Engines | 第16-17页 |
| 2.3 Other Graphical Notations | 第17页 |
| 2.4 Formal Approaches | 第17-18页 |
| 2.5 Rule Based | 第18-20页 |
| 2.6 Semantic Based | 第20-21页 |
| 3 PROCESS MODELING PRELIMINARIES | 第21-35页 |
| 3.1 Introduction | 第21页 |
| 3.2 Web Services | 第21-23页 |
| 3.3 Business Process | 第23-24页 |
| 3.4 Merging Web Services & Business Processes | 第24页 |
| 3.5 Process Modeling Concepts | 第24-25页 |
| 3.6 The BPEL4WS Language | 第25-31页 |
| 3.7 An Example | 第31-35页 |
| 4 A FRAMEWORK FOR WEB SERVICES COMPOSITION | 第35-47页 |
| 4.1 Introduction | 第35页 |
| 4.2 Architecture Overview | 第35-36页 |
| 4.3 Rule Based Composition | 第36-39页 |
| 4.4 Architectural Components | 第39-47页 |
| 5 SERVICE COMPOSITION MODELING PROCESS | 第47-62页 |
| 5.1 Introduction | 第47页 |
| 5.2 An Example | 第47-48页 |
| 5.3 Modeling the Business Process | 第48-58页 |
| 5.4 Relation-to-BPEL Mapping | 第58-59页 |
| 5.5 Hierarchical Flows | 第59-61页 |
| 5.6 Accommodating Changes | 第61-62页 |
| 6 ANALYSIS AND VERIFICATION | 第62-70页 |
| 6.1 Introduction | 第62页 |
| 6.2 Graph Equivelant of Structured Constructs | 第62-63页 |
| 6.3 Pattern Analysis | 第63-66页 |
| 6.4 Verification | 第66-70页 |
| 7 WSCom PROTOTYPE | 第70-72页 |
| 7.1 Design Goals | 第70页 |
| 7.2 System Architecture | 第70-72页 |
| 8 CONCLUSIONS & FUTURE WORK | 第72-76页 |
| 8.1 A Brief Review | 第72-73页 |
| 8.2 Limitations | 第73-74页 |
| 8.3 Future Work | 第74-75页 |
| 8.4 Related Future Research | 第75-76页 |
| Appendix-A | 第76-80页 |
| Acknowledgements | 第80-81页 |
| Bibliography | 第81-92页 |
