[发明专利]面向协作图的基于Petri网的过程编排可实现性分析方法在审
| 申请号： | 201510827412.7 | 申请日： | 2015-11-25 |
| 公开（公告）号： | CN105574230A | 公开（公告）日： | 2016-05-11 |
| 发明（设计）人： | 代飞;莫启;李彤 | 申请（专利权）人： | 云南大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京国智京通知识产权代理有限公司 11501 | 代理人： | 孙文彬 |
| 地址： | 650091 云*** | 国省代码： | 云南;53 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开面向协作图的基于Petri网的过程编排可实现性分析方法，以Petri网作为形式化基础，将协作图定义的过程编排规约进行Petri网编码，在保持语义不变的情况下，转换为基于Petri网定义的全局过程编排规约；根据角色，将上述基于Petri网定义的全局过程编排规约合成为参与组织在过程编排中需遵守的局部角色契约；在同步通信模型和异步通信模型下，将上述合成的角色契约并发组合为过程编排实现；从行为视角，对过程编排规约与上述组合而成的过程编排实现分别进行行为检测。在区分业务过程间交互的不确定性选择和确定性选择及显示描述业务过程间的真并发性的情况下，确保跨组织业务过程建模的正确性。 | ||
| 搜索关键词： | 面向 协作 基于 petri 过程 编排 实现 分析 方法 | ||
【主权项】：
面向协作图的基于Petri网的过程编排可实现性分析方法，其特征在于，按照以下步骤进行：步骤1，以Petri网作为形式化基础，将协作图定义的过程编排规约进行Petri网编码，在保持语义不变的情况下，转换为基于Petri网定义的全局过程编排规约；步骤2，根据角色，将上述基于Petri网定义的全局过程编排规约合成为参与组织在过程编排中需遵守的局部角色契约；步骤3，在同步通信模型和异步通信模型下，将上述合成的角色契约并发组合为过程编排实现；步骤4，从行为视角，对过程编排规约与上述组合而成的过程编排实现分别进行行为检测。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于云南大学，未经云南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510827412.7/，转载请声明来源钻瓜专利网。
