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

摘要

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