Variable-specific resolutions for feature interactions
Variable-specific resolutions for feature interactions
复制标题
特征交互的特定于变量的分辨率
DOI：
10.1145/2635868.2635927
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
J. Atlee
中科院分区：
文献类型：
--
作者：
Cecylia Bocovich;J. Atlee
由独立开发的功能组装而成的系统会受到功能交互的影响，在这种交互中，功能会以令人惊讶的方式影响彼此的行为。功能交互问题表明，潜在交互的数量与系统中的功能数量呈指数关系。解析策略提供了解析整个交互类的通用策略，从而减少了负责解析交互任务的开发人员的工作。在本文中，我们将重点放在解决冲突引起的交互问题上。我们提出了一种基于解决方案模块的方法、语言和实现，其中开发人员可以为冲突中的每个变量指定适当的解决方案。我们进行了一个涉及24个汽车特征的案例研究，发现要指定的分辨率的数量远远少于可能的特征交互的数量(24个特征的6个分辨率)，适当的解析策略的构成对于不同的变量是不同的，并且我们使用的情景演算的子集足以为6个不同的输出变量构建非平凡的解析策略。
Systems assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The feature-interaction problem states that the number of potential interactions is exponential in the number of features in a system. Resolution strategies offer general strategies that resolve entire classes of interactions, thereby reducing the work of the developer who is charged with the task of resolving interactions. In this paper, we focus on resolving interactions due to conflict. We present an approach, language, and implementation based on resolution modules in which the developer can specify an appropriate resolution for each variable under conflict. We performed a case study involving 24 automotive features, and found that the number of resolutions to be specified was much smaller than the number of possible feature interactions (6 resolutions for 24 features), that what constitutes an appropriate resolution strategy is different for different variables, and that the subset of situation calculus we used was sufficient to construct nontrivial resolution strategies for six distinct output variables.