模糊不一致需求的折衷分析

Trade-Off Analysis for Vague Requirement with Inconsistency

1.引言 复杂系统的需求工程中,主要的挑战来自于需求本质上的不精确和需求间经常出现的不一致.为了形式化地捕捉到不精确需求的弹性,人们引入了模糊逻辑处理相应的表示和推理问题,这对把具体领域的非形式需求转变为形式化需求起了极大的推动作用.然而,冲突需求间的关系也因此变得更加复杂,传统的模糊逻辑运算模型已不能全面、准确地反映客观现实世界[1,10,11].如何识别不一致需求并采用合适的方法消解冲突是需求工程中非常棘手的问题之一.

The identification and resolution of conflict requirements are inevitable parts in requirement engineering. Due to requirement's elasticity .'White-Black'selection is not unique case on inconsistency and conflict is partly cooperative. The introduction of averaging operator can completely and objectively reflect conflict relationship between imprecise requirements. On the basis of studying deeply averaging operator, this paper presents the principle on how to select proper averaging operator for respective requirement relationship.