论文部分内容阅读
Web服务组合是为了应对日益复杂的业务处理流程,将单一的Web服务组合在一起形成一个新的服务。正确的组合Web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和Web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法,采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。
Web service composition is to deal with the increasingly complex business processes, the single Web services together to form a new service. The correct combination of Web services is the prerequisite for the effective application of these services. To this end, we study the method of combining Petri net and Web service composition model. Based on the analysis and comparison of workflow and Web service composition, this paper proposes a Petri net-based Web service composition modeling method based on Petri net-based workflow modeling technology, and uses intuitive graphical representation of Web services Combination model. According to the definition of rationality of Web service composition model, the rationality verification algorithm of Web service composition model is designed, and the Web service composition model is validated by the representation of library vector and service set. Finally, a concrete example of Web service composition modeling and verification methods for further instructions.