1. Introduction

3. A Reference Model of Web Service Composition

4. Issues on Formalization for Web Service Composition

5. Research Works on Formalization for Web Service Orchestration

6. Research Works on Formalization for Web Service Choreography

7. Research Works on Formalization for Unifying Web Service Orchestration and Web Service Choreography

8. Conclusions and Trends