过程间引发约束变化的最小高级修改序列识别

鉴于引发约束变化的最小高级修改序列在实现数据感知过程转换、合并、版本控制等方面具有重要作用,提出一种识别数据感知过程间引发约束变化的最小高级修改序列的方法。该方法定义了数据感知过程的活动约束图,然后基于活动约束图构建两个数据感知过程的约束矩阵,最后利用约束矩阵和数字逻辑识别一个数据感知过程间转换所需引发约束变化的最小修改序列。大量实验评估了所提方法和现有方法的准确性与时效性。结果表明,所提方法比现有方法具有更高的准确性,其平均准确率达到89.89%。