Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性.
Web service composition is an important way to achieve value-added services and software reuse,but the existing static service composition and dynamic service composition methods are all needed to be further improved.This paper integrates the advantages of static composition and dynamic composition methods and proposes a method that composes service clusters in a virtual layer to realize service composition.A service composition approach based on service clusters is developed and logical Petri nets are used for its formal modeling.Basic composition models of service cluster nets(SCNs)are presented and the inheritance conditions of their completeness are analyzed respectively.The algebraic properties of SCN composition are also presented.Finally,experimental results are presented to illustrate the applicability and effectiveness of SCN composition.