基于参数推导图自动构建Web服务组合流程

针对目前大多数Web服务组合流程都需要人工设计的问题，提出一种基于参数推导图自动构建Web服务组合流程的方法。该方法给出Web服务的谓词表示形式。通过建立参数推导图中的四种关系和构造算法，实现了Web服务组合的图形建模；然后定义参数推导图的完全关联矩阵，通过对关联矩阵的行实施合并运算，自动将参数推导图转换成以Web服务为节点、以服务间依赖关系为边的服务组合流程图。理论分析和实验结果证明了该方法的有效性和可行性。