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

摘要

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