Web 服务组合的概念、技术范畴，目标和方式，正确性验证，实现途径以及基于工作流的组合-The concept of Web service composition, technical aspects, objectives and methods, correctness verification, Ways and based on a combination of workflow