[1] Alonso G, Casati F, Kuno H, et al.Web services:concepts, architecuture, and applications [M].Springer Verlag, 2003.
[2] Korhonen J, Pajunen L, Puustjarvi J.Automatic composition of web service workflows using a semantic agent [C]//Proceedings of the IEEE/WIC International Conference of Web Intelligence. Halifax, Canada, 2003:566-569.
[3] Peer J.Bringing together semantic web and web services [C]//Proceedings of the International Semantic Web Conference.Sardinia, Italia, 2002:279-291.
[4] Ankolekar A, Burstein B, Hobbs J, et al.DAML-S:semantic markup for web services [C]//Proceedings of the 1st International Semantic Web Working Symposium.Standford, CA, 2001:411-430.
[5] Liao Jun, Tan Hao, Liu Jinde.Describing and verifying web service using PI-calculus [J].Chinese Journal of Computers, 2005, 28(4):635-642.(in Chinese)
[6] Ugo D L, Marco P, Paolo T.Planning with a language for extended goals [C]//Proceedings of the 18th National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence.Alberta, Canada, 2002:447-454.
[7] Barrett A, Weld D.Partial order planning:evaluating possible efficiency gains [J].Artificial Intelligence, 1994, 67(1):71-112.
[8] Tosic V, Mennie D, Pagurek B.On dynamic service composition and its applicability to e-business software system [C]//Proceedings of Workshop on Object-Oriented Business Solutions.Budapest, Hungary, 2001:95-108.
[9] Narayanan S, McIlraith S A.Simulation, verification and automated composition of web services [C]//Proceedings of International World Wide Web Conference.Honolulu, USA, 2002:77-88.
[10] Benatallah B, Dumas M, Sheng Q Z, et al.Declarative composition and peer to peer provisioning of dynamic web services [C]//Proceedings of IEEE International Conference on Data Engineering.California, USA, 2002:297-308.
[11] Thakkar S.Dynamically composing web services from on-line source [C]//Proceedings of AAAI Workshop on Intelligent Service Integration.Edmonton, Canada, 2002:1-7.
[12] Yang Lei, Dai Yu, Zhang Bin, et al.A service oriented web services composition platform [J].Journal of Wuhan Univiersity: English Edition, 2006, 11(1):160-164.