欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
Web服务组合是为了应对日益复杂的业务处理流程，将单一的web服务组合在一起形成一个新的服务。正确的组合web服务是有效应用这些服务的前提，为此研究了利用Petri网组合Web服务的方法和web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上，借鉴基于Petri网的工作流建模技术，给出了一种基于Petri网技术的Web服务组合建模方法．采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义，设计出Web服务组合模型合理性验证算法，利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。
英文摘要：
Web services composition is to handle the increasingly complex business processes,which combines several single Web services together to form a new service. The precondition of the new combined service is how to combine the services effectively. This paper studies composite web services using the method of Petri net and the verification algorithm of Web service composition model. Based on the analysis and comparison of workflow and Web service composition,reference of workflow Modeling based on Petri net, the modeling method for Web service composition based on Petri nets and the intuitive graphical representation model for Web service composi- tion are introduced. It combines the rational definition of Web service composition modeling and gives the algo- rithm of design model verification. Finally, with a specific example, modeling and verification methods are fur- ther illustrated.
同期刊论文项目
同项目期刊论文
期刊信息
位置：