一种目标可满足性定性、定量表示与推理方法.pdf

文档介绍：软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: ******@iscas.
Journal of Software,2011,22(4):593−608 [doi: .]
©中国科学院软件研究所版权所有. Tel/Fax: [phone]

∗
一种目标可满足性定性、定量表示与推理方法
王守信 1+, 张莉 1, 王帅 1, 申菊芳 1, 刘禹 2
1(北京航空航天大学软件工程研究所,北京 100191)
2(北京航空航天大学软件开发环境国家重点实验室,北京 100191)
Qualitative and Quantitative Representing and Reasoning for Goals Satisfiability
WANG Shou-Xin1+, ZHANG Li1, WANG Shuai1, SHEN Ju-Fang1, LIU Yu2
1(Software Engineering Institute, BeiHang University, Beijing 100191, China)
2(State Key Laboratory of Software Development Environment, BeiHang University, Beijing 100191, China)
+ Corresponding author: E-mail: shouxin_wang@
Wang SX, Zhang L, Wang S, Shen JF, Liu Y. Qualitative and quantitative representing and reasoning for
goals satisfiability. Journal of Software, 2011,22(4):593−608. /1000-9825/
Abstract: Satisfiability representation and reasoning are important issues in goal-oriented requirements
engineering. According to the uncertainty of subjective cognition during abstract qualitative concepts from
quantitative universal set, this paper proposes a representation model based on the cloud model for goals
satisfiability. The proposed model integrates randomness and fuzziness of subjective perception of goals
satisfiability. It has qualitative semantic clarity as well as quantitative accuracy of goals satisfiability. On the basis
of the model, the paper presents a reasoning approach based on the core idea of ordered weighted aggregation
operators. This approach deduces satisfiability of parent goals between the minimal and maximal satisfiability of
sub-goals which reflects the pecularity of human thinking and avoids absolute reasoning results based on pure logic
“and” and “or”. The main characteristics are analyzed through theorem proving parison experiments.
Finally, conclusions are drawn and research directions are pointed out.
Key words: goal-oriented requirements enginee