一句话：提出以模型计数量化目标冲突发生可能性，服务于目标导向需求工程的风险评估。
目标导向需求工程常将冲突分析作为风险分析抽象：给定待实现的目标集合，冲突指目标整体不可满足的微妙情形。冲突分析通常遵循识别—评估—控制循环，其中评估步骤关注已识别冲突发生的可能性及其后果的可能性与严重性。论文（标题所示）采用模型计数（model counting）实现目标冲突可能性评估，即把目标模型或冲突条件编码为逻辑公式，通过计数满足赋值来量化冲突发生的似然。摘要仅给出问题背景，未披露具体编码、算法与实验；其核心贡献在于将模型计数引入冲突评估环节，使需求风险分析从定性判断走向定量评估。
In goal-oriented requirements engineering approaches, conflict analysis has been proposed as an abstraction for risk analysis. Intuitively, given a set of expected goals to be achieved by the system-to-be, a conflict represents a subtle situation that makes goals diverge, i.e., not be satisfiable as a whole. Conflict analysis is typically driven by the identify-assess-control cycle, aimed at identifying, assessing and resolving conflicts that may obstruct the satisfaction of the expected goals. In particular, the assessment step is concerned with evaluating how likely the identified conflicts are, and how likely and severe are their consequences.
DOI 原文 ·
@inproceedings{paperbot4505,
title = {Goal-conflict likelihood assessment based on model counting},
author = {Renzo Degiovanni and Pablo Castro and Marcelo Arroyo and Marcelo Ruiz and Nazareno Aguirre and Marcelo Frias},
booktitle = {ICSE},
year = {2018},
doi = {10.1145/3180155.3180261}
}