面向协作图的基于Petri网的过程编排可实现性分析方法

摘要

本发明公开面向协作图的基于Petri网的过程编排可实现性分析方法，以Petri网作为形式化基础，将协作图定义的过程编排规约进行Petri网编码，在保持语义不变的情况下，转换为基于Petri网定义的全局过程编排规约；根据角色，将上述基于Petri网定义的全局过程编排规约合成为参与组织在过程编排中需遵守的局部角色契约；在同步通信模型和异步通信模型下，将上述合成的角色契约并发组合为过程编排实现；从行为视角，对过程编排规约与上述组合而成的过程编排实现分别进行行为检测。在区分业务过程间交互的不确定性选择和确定性选择及显示描述业务过程间的真并发性的情况下，确保跨组织业务过程建模的正确性。

主权项

面向协作图的基于Petri网的过程编排可实现性分析方法，其特征在于，按照以下步骤进行：步骤1，以Petri网作为形式化基础，将协作图定义的过程编排规约进行Petri网编码，在保持语义不变的情况下，转换为基于Petri网定义的全局过程编排规约；步骤2，根据角色，将上述基于Petri网定义的全局过程编排规约合成为参与组织在过程编排中需遵守的局部角色契约；步骤3，在同步通信模型和异步通信模型下，将上述合成的角色契约并发组合为过程编排实现；步骤4，从行为视角，对过程编排规约与上述组合而成的过程编排实现分别进行行为检测。