[发明专利]一种基于PETRI网的挖掘WS-CDL编排并行性的方法

说明书

本发明属于服务计算范式下的Web服务组合技术领域且公开了一种基于PETRI网的挖掘WS‑CDL编排并行性的方法，1、基于PETRI网挖掘WS‑CDL编排并行性的方法，按照以下步骤进行：步骤1，以WS‑CDL编排作为输入文件，使用PETRI网对其进行描述，将其转换为基于PETRI网定义的编排。步骤2，从迹等价的角度，检验上述基于PETRI网定义的编排与WS‑CDL编排间是否满足迹等价，若不满足，则视为步骤1的转换不成功，并返回步骤1对转换生成的PETRI网进行修改；若满足，则视为步骤1的转换成功，可进行步骤3；步骤3，对PETRI网定义的编排进行控制流关系和交互关系分析，计算依赖关系，构造依赖图，以寻找编排中可能的并行交互。

技术领域

本发明是一种基于PETRI网的挖掘WS-CDL编排并行性的方法，以WS-CDL编排中的交互为研究对象，通过尽量使WS-CDL编排中串行的交互变为并行的交互，来提高编排的效率。属于服务计算范式下的Web服务组合领域。

背景技术

随着云计算的快速兴起和发展，Web服务成为了目前实现服务计算最流行的一种实现形式。通常，单个Web服务通常无法满足用户的需求，因而需要将若干个Web服务组合起来协同工作以满足用户的需求。于是，如何将多个Web服务进行聚合以满足用户某一业务目标所需的功能，在服务计算领域受到了工业界和学术界越来越多的关注。

Web服务组合的方式有两种方法：编制(orchestration)和编排(choreography)。两者的主要区别在于：编制从局部视角，在单个端点控制下，关注单个角色内部的一系列活动及活动间的行为依赖关系，且这些活动将被组织内部的流程引擎所集中执行；而编排从全局视角，关注多个角色间的交互及交互间的行为依赖关系，不存在集中执行的流程引擎。目前，结构化信息标准促进组织(Organization for the Advancement of StructuredInformation Standards，简称OASIS)提出的Web服务业务过程执行语言(Web ServiceBusiness Process Execution Language，简称BPEL)已成为了编制事实上的工业标准；而由W3C提出的Web服务编排描述语言(Web Services Choreography DescriptionLanguage，简称WS-CDL)也成为了编排事实上的工业标准。但是，作为一个基于XML的描述性规范语言，WS-CDL本身缺乏优化机制，无法确保WS-CDL编排中所描述交互的高效性，进而影响系统后期部署实现的效率。故而，如何对WS-CDL编排中交互的并行性进行挖掘，成为了服务计算范式下Web服务组合领域研究的热点。

虽然近年来已有文献对WS-CDL编排的进行了语义描述和分析，但尚未发现有关工作对WS-CDL编排中交互的并行性进行挖掘。目前，针对WS-CDL缺少形式语、存在二义性的问题，已有文献使用PETRI网或Pi演算或自动机形式定义WS-CDL的语义信息；针对WS-CDL缺少分析机制的问题，已有文献使用PETRI网或Pi演算或自动机的分析技术对编排进行行为分析。但是，上述这些工作要么关注WS-CDL的形式语义描述、要么关注WS-CDL的行为，并不关注WS-CDL编排的效率。为此，有必要研究提出一种基于PETRI网的挖掘WS-CDL编排并行性的方法。

发明内容

本发明要解决的技术问题克服现有的缺陷，提供一种基于PETRI网的挖掘WS-CDL编排并行性的方法，可以有效解决背景技术中的问题。

为了解决上述技术问题，本发明提供了如下的技术方案：