基于控制流模式的过程模型转换与结构验证方法

摘要

本发明提出一种基于控制流模式的过程模型转换与结构验证方法，属于业务过程与信息技术领域。本发明方法通过将源模型中的控制流模式直接在源模型上进行验证而无需转换的控制流模式，需要基于控制流模式进行转换的模式，以及使用元素映射方法进行转换的模式这3类，从源模型中识别出这三类进行分别转换验证，并使用基于控制流模式与基于元素映射相结合方法进行验证，最后整合验证结果，追踪到源模型中的错误源。本发明方法直观、简单、有效，在一定程度上解决了现有的过程结构验证方法和工具面向特定语言而缺乏通用性以及现有模型转换方法在转换某些控制流模式时精度不高并且控制流信息丢失等问题，且能更好的提高模型转换的精度和效率。

主权项

一种基于控制流模式的过程模型转换与结构验证方法，其特征在于,具体包括如下步骤： 步骤一、确定对源模型进行转换后的目标模型建模语言； 步骤二、将源模型中的控制流模式进行分类，分为3类：直接在源模型上进行验证而无需转换的控制流模式，需要基于控制流模式进行转换的模式，以及使用元素映射方法进行转换的模式；所述的直接在源模型上进行验证而无需转换的控制流模式，包括无同步的多实例模式；所述的需要基于控制流模式进行转换的模式，包括：分支节点隐式存在的并行模式、合并节点隐式存在的同步模式、多重选择模式、鉴别器模式、取消活动模式、取消实例模式、取消区域模式和取消多实例活动模式；所述的基于元素映射方法进行转换的模式，包括：顺序模式、独占式选择模式、简单聚合模式、多重聚合模式、隐式终止模式、设计时确定的多实例模式、运行时确定的多实例模式、任意循环模式、结构化循环模式和延迟选择模式； 步骤三、控制流模式的识别：①在源模型中识别出直接在源模型上进行验证而无需转换的控制流模式，对于该控制流模式对应的模型片段，进入步骤四执行；②在源模型中识别出需要基于控制流模式进行转换的模式，对于该模式对应的模型片段，进入步骤五执行；③对于源模型中除去①与②中识别出的模型片段外的剩余模型片段，进入步骤七执行； 步骤四、利用基于源模型语言的验证工具，对步骤三中①中得到的模型片段进行验证，验证后进入步骤十二执行； 步骤五、建立基于控制流模式的转换规则； 步骤六、按照步骤五的转换规则，对步骤三中②中识别出的模型片段进行转换，得到该部分模型片段对应的目标模型片段，并以每个控制流模式为单位记录转换映射信息，然后进入步骤九执行； 步骤七、定义源模型建模语言和目标模型建模语言的元模型，根据所定义的元模型建立基于元素映射的映射规则； 步骤八、根据步骤七的映射规则，对剩余模型片段进行转换，得到该剩余模型片段对应的目标模型片段，并以每个模型元素为单位记录转换映射信息； 步骤九、将步骤六和步骤八中得到的目标模型片段进行组合； 步骤十、使用针对目标语言的验证工具对步骤九组合的目标模型片段进行验证，检测所述组合的目标模型片段中存在的错误； 步骤十一、根据保存的转换映射信息，对步骤十中检测出的错误进行追踪，定位到源模型中对应的结构错误； 步骤十二、将步骤四与步骤十一得到的结构错误进行整合，最终得出对于源模型的验证结果，结束验证过程。