5M. H. ter Beek, A. Bucchiarone, S. Gnesi. Formal Methods for Serivce Composition. Technical Report[M]. Software/Program Verification, Formal Methods, ACM.
6M. H. ter Beek, A. Bucchiarone, S. Gnesi. A Survey on Serivee Composition Approaches: From Industrial Standards to Forml Methods[M]. Technical Report. Software/Program Verification, Formal Methods, ACM.
7Riehard Hull, Jianwen Su. Tools for composite web service: a short overview[J]. ACM SIGMOD Record, 2005, 34 (2) : 86-95.
8Bucehiarone, Gnesi. A Survey on Serivee Composition Language and Models[M]. In: Proc. of International Workshop on Web Service Modeling and Testing,2006: 51--63.
9廖军.面向服务计算(soc)中服务组合的研究(博士学位论文)[D].华中科技大学,2007.
10Andrews T,Cubera F, Dholakia Y G H, et al. Business Process Execution Language for Web Services (BPEIAWS) 1. 1. IBM Developworks. A- vailable at[EB/OL], http://www--128, ibm. com/developerworks.
