摘要
在需求工程中,分歧的目标冲突分析旨在识别、评估和修复分歧。分歧是由于域属性和目标不适配,使得系统在边界条件下无法同时满足所有目标。边界条件以线性时态逻辑的形式描述分歧。由于任意形式的边界条件缺乏可解释性,且评估和修复分歧需要大量人工评估和设计,所以目前边界条件的定义不利于高效地、自动化地评估和修复分歧。为此,首先提出一个可解释的边界条件——套索边界条件,直观地描述了系统由于一些特定的前提条件而产生分歧的情况;然后,设计了一个基于逐步弱化的套索边界条件识别算法LBCI,通过弱化线性时态逻辑公式逐步满足边界条件;最后,在基准数据集上评估了套索边界条件和LBCI的有效性。实验结果显示,套索边界条件增强了分歧的可解释性和对修复分歧有一定的指导作用。
Goal-conflict analysis of divergences in requirement engineering aims to identify,assess,and resolve divergences.The divergence is caused,because the mismatch between domain attributes and objectives makes the system unable to satisfy all objectives at the same time under boundary conditions.Boundary conditions describe disagreements in the form of linear temporal logic.Due to the lack of interpretability of arbitrary boundary conditions and the extensive manual evaluation and design required to evaluate and repair divergences,the current definition of boundary conditions is not conducive to efficient and automated evaluation and repair of divergences.Therefore,in this paper,an explainable boundary condition,called lasso boundary condition,is proposed.Lasso boundary condition intuitively describes the situation where the system diverges due to some specific preconditions.Then,a lasso boundary condition identification algorithm(LBC identifier,LBCI)based on gradual weakening is designed.LBCI gradually satisfies the boundary conditions by weakening the linear temporal logic formula.The effectiveness of lasso boundary condition and LBCI are evaluated on a baseline data set.The experimental results show that the lasso boundary condition can enhance the interpretability of the divergences and the guiding role in repairing the divergences.
作者
罗炜麟
万海
杨滨好
李骁达
曹鉴恩
宋晓彤
LUO Wei-lin;WAN Hai;YANG Bin-hao;LI Xiao-da;CAO Jian-en;SONG Xiao-tong(School of Computer Science and Engineering,Sun Yat-Sen University,Guangzhou 510006,China)
出处
《计算机工程与科学》
CSCD
北大核心
2023年第5期820-829,共10页
Computer Engineering & Science
基金
国家自然科学基金(61976232)
广东省自然科学基金(2023A1515011470)。
关键词
目标冲突分析
边界条件
分歧
goal-conflict analysis
boundary condition
divergence
