主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王守信,张莉,王帅,申菊芳,刘禹.一种目标可满足性定性、定量表示与推理方法.软件学报,2011,22(4):593-608
一种目标可满足性定性、定量表示与推理方法
Qualitative and Quantitative Representing and Reasoning for Goals Satisfiability
投稿时间:2009-05-07  修订日期:2009-10-10
DOI:10.3724/SP.J.1001.2011.03736
中文关键词:  面向目标需求工程  可满足性表示  目标可满足性推理  云模型  有序加权聚合算子
英文关键词:goal-oriented requirements engineering  satisfiability respresentation  goal satisfiability reasoning  cloud modle  ordered weighted aggregation operators
基金项目:国家重点基础研究发展计划(973)(2007CB310803); 国家重大研究计划“可信软件基础研究”(90818017)
作者单位E-mail
王守信 北京航空航天大学 软件工程研究所,北京 100191 shouxin_wang@126.com 
张莉 北京航空航天大学 软件工程研究所,北京 100191  
王帅 北京航空航天大学 软件工程研究所,北京 100191  
申菊芳 北京航空航天大学 软件工程研究所,北京 100191  
刘禹 北京航空航天大学 软件开发环境国家重点实验室,北京 100191  
摘要点击次数: 6146
全文下载次数: 6612
中文摘要:
      可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于“偏执”的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.
英文摘要:
      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 and comparison experiments. Finally, conclusions are drawn and research directions are pointed out.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利