[发明专利]一种语义约束下的业务流程模型一致性度量方法

权利要求书

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

2.根据权利要求1所述的流程模型的预处理，其特征在于：根据Petri网和选择库所的相关知识，将业务流程系统中的业务流程模型进行转化，使流程模型在结构和运行过程上都更加清晰。

3.根据权利要求1所述的分析结构距离和行为距离，其特征在于：通过模型配置，对流程模型中的变迁或边实施隐藏、阻塞或删除操作，将输入模型转化为在结构上等价的模型，得到编辑关系值，再结合匹配节点之间的语义相似度，从而得出模型间的结构距离；对于原执行序列，在不改变序列间抽象语义的前提下，通过引入沉默变迁，得到匹配序列，再寻找出行为距离最小的最佳匹配序列，结合行为轮廓理论，得到序列间的行为距离；根据交叉序及变迁发生规则得到模型中所有的执行序列，进而得到模型间的行为距离，最后根据动态行为表达式计算出模型间的一致性度。