摘要：可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.

摘要：不同的需求设计方案对软件系统中非功能目标的实现具有不同的影响。这些非功能目标一般不能以一种绝对清晰定义的程度来满足,常常是以一种部分满意的方式实现,现实中寻求"满意"解比寻求"最优"解更符合实际情况。为了反映此特性,该文在分析目前已存在方法局限性的基础上,利用Letier和Lamsweedre提出的基于概率理论的面向目标的推理方法,对目标部分满意度建模。模型建立在客观标准基础上,在领域内具有实际物理解释,获得了不同方案对目标满意度的影响,可更好地用于指导需求分析和设计决策。