数据规则约束下的抽象模型一致性检验分析

扫码查看

原文链接

中文摘要：对于大型的复杂的业务流程模型,传统的方法主要基于流程模型的执行迹分析,但是该方法在处理大型的流程模型时可能会耗时且复杂.针对传统方法的不足,提出基于简单规则约束的设计方法及一致性检验规则,并且通过举例验证了该方法的有效性及模型检查的一致性.

外文标题：Analysis of Consistency Check of Abstract Models Constrained by Data Rules

作者：

李朋、朱山川、朱婷婷

展开 >

作者单位：

滁州职业技术学院,安徽滁州239000

关键词：

一致性控制流网数据流网行为轮廓 Petri网

基金：

滁州职业技术学院2019校级科研一般项目

项目编号：

YJY-2019-14

出版年：

2020

佳木斯大学学报(自然科学版)

佳木斯大学

影响因子：0.159

ISSN：1008-1402

年,卷(期)：2020.38(2)