[1] Thatte S.Business process execution language for web services[EB/OL].(2003-03)[2004-10-15].ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf.
[2] Kavantzas N, Burdett D, Ritzinger G.Services choreography description language version 1.0[EB/OL].(2004-05)[2005-12-20].http://www.w3.org/TR/ws-cdl-10/.
[3] Grau B C, Parsia B, Sirin E.Working with multiple ontologies on the semantic web[A].In:Proceedings of the Third International Semantic Web Conference, LNCS[C].Hiroshima, Japan, 2004, 3298:205-219.
[4] Haas H, Brown A.W3C working group note 11[EB/OL].(2004-09)[2005-12-10].http://www.w3.org/TR/ws-gloss/.
[5] Krishna G.Abstract state machine and polynomial time logic[EB/OL].(2005-05)[2005-12-30].http://www.cse.iitk.ac.in/report-repository/2005/Y2158-CS397Report.pdf.
[6] Gurevich Y.Evolving algebras:lipari guide, specification and validation methods[M].Oxford University Press, 1995.9-36.
[7] Bruijn J, Lausen H, Krummenacher R.The web service modeling language WSML[EB/OL].(2005-03)[2005-09-26].http://www.wsmo.org/TR/d16/d16.1/v0.2.