一种基于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网定义的编排进行控制流关系和交互关系分析，计算依赖关系，构造依赖图，以寻找编排中可能的并行交互。