基于符号图变换的扩展特征模型编辑冲突检测
软件工程
2016-04-04 v1
摘要
特征模型用于指定用户可配置系统的可变性，例如出现在软件产品线中。软件产品线被认为是长期存在的，因此必须随时间持续演化以满足不断变化的需求。演化通过编辑操作对特征模型施加变更。确保并发编辑的一致性需要适当的冲突检测技术。然而，现有近期方法未能处理扩展特征模型的关键细微之处，即混合了特征树模式与关于非布尔特征属性且可能具有无限值域的一阶逻辑公式的约束。本文提出一种基于符号图变换的新颖冲突检测方法来促进扩展特征模型上的并发编辑。我们用符号图形式化描述扩展特征模型，用结合图模式与一阶逻辑公式的符号图变换规则描述编辑操作。该方法通过结合eMoflon与SMT求解器实现，并针对适用性进行了评估。
引用
@article{arxiv.1604.00347,
title = {Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation},
author = {Frederik Deckwerth and Géza Kulcsár and Malte Lochau and Gergely Varró and Andy Schürr},
journal= {arXiv preprint arXiv:1604.00347},
year = {2016}
}
备注
In Proceedings FMSPLE 2016, arXiv:1603.08577