Trade-Off Analysis for Vague Requirement with Inconsistency
模糊不一致需求的折衷分析

1.引言复杂系统的需求工程中,主要的挑战来自于需求本质上的不精确和需求间经常出现的不一致。为了形式化地捕捉到不精确需求的弹性,人们引入了模糊逻辑处理相应的表示和推理问题,这对把具体领域的非形式需求转变为形式化需求起了极大的推动作用。然而,冲突需求间的关系也因此变得更加复杂,传统的模