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

作者：李朋; 朱山川; 朱婷婷

来源：佳木斯大学学报(自然科学版), 2020, 38(02): 73-76.

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

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

• 单位
  滁州职业技术学院