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

摘要

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

主权项

一种语义约束下的业务流程模型一致性度量的新方法，包括业务流程模型的预处理、分析业务流程模型的结构距离、分析模型间的行为距离及计算一致性度，其特征在于：以建模需求作为标准，对业务流程模型进行预处理，实现流程模型结构的清晰化及运行过程的形象化；在此基础上分析模型间的静态结构距离和动态行为距离，并结合加权动态表达式计算出模型间的一致性度。