一种语义约束下的业务流程模型一致性度量方法

摘要

一种语义约束下的业务流程模型一致性度量的新方法，涉及业务流程模型的结构距离和行为距离及一致性度量计算。对存在语义约束的流程模型间一致性分析，首先采用了Petri网和建模语义，并结合选择库所对业务流程模型进行预处理；然后，基于Petri网模型配置理论，计算出模型之间的编辑关系值，结合匹配节点之间的语义相似度，得到模型间静态的结构距离，充分考虑模型间的行为约束关系，基于最佳匹配，分析匹配序列间的动态行为距离，最后结合加权动态表达式，提出计算流程模型间一致性度量方法。本发明提出了语义约束下的业务流程模型一致性度量的新方法，有效地解决了业务流程系统中非一致性检测分析，避免了现有解决方法的片面性。