过程间引发约束变化的最小高级修改序列识别
来源：计算机集成制造系统杂志2018年第7期北京时间：
作者：张学伟,刘明菊,邢建春,周启臻
单位：1.陆军工程大学国防工程学院2.中国洛阳电子装备试验中心
摘要：鉴于引发约束变化的最小高级修改序列在实现数据感知过程转换、合并、版本控制等方面具有重要作用,提出一种识别数据感知过程间引发约束变化的最小高级修改序列的方法。该方法定义了数据感知过程的活动约束图,然后基于活动约束图构建两个数据感知过程的约束矩阵,最后利用约束矩阵和数字逻辑识别一个数据感知过程间转换所需引发约束变化的最小修改序列。大量实验评估了所提方法和现有方法的准确性与时效性。结果表明,所提方法比现有方法具有更高的准确性,其平均准确率达到89.89%。
关键词：数据感知过程,引发约束变化的最小修改序列,程序约束图,约束矩阵
基金资助：国家重点研发计划资助项目(2017YFC0704100);国家自然科学基金资助项目(61572171)。
