By constructing the example net of the target service, a decision theorem is proposed for BPEL composition process, and an algorithm is given to reduce the search space of services.
通过实例网的构建，给出了流程可组合性的判定定理，并提出减少服务搜索空间的算法。
By constructing the example net of the target service, a decision theorem is proposed for BPEL composition process, and an algorithm is given to reduce the search space of services.
通过实例网的构建，给出了流程可组合性的判定定理，并提出减少服务搜索空间的算法。
应用推荐