期刊文献+

基于证据理论的企业目标推理

Reasoning with Organization Goals Based on Evidence Theory
下载PDF
导出
摘要 目标建模是早期信息系统需求分析的关键技术.针对企业高层目标难以评估的问题,提出一种企业目标量化建模方法,以证据理论作为逻辑基础,对企业目标可满足性进行定量表征,借助Dempster证据合成法则,设计多目标贡献关系合算法,通过实验验证方法的有效性. Evidence Theory used in calculating the uncertain metrics of the uncertain events is developed based on probability theory. And the organization goals describe the future states of an enterprise during some time so that the possibility of one goal satisfied is evaluated with some uncertainty which is accorded with the uncertain evaluating method in evidence theory. In this article, evidence theory is employed to formulate the organization goals and to define a reasoning method with goals. With goal model built reasoning is done according to the automatic reasoning algorithm in which only uncertain metric of some goals is needed.
出处 《计算机系统应用》 2012年第10期53-56,80,共5页 Computer Systems & Applications
基金 黑龙江省教育厅科学技术研究项目(11551018)
关键词 目标建模 证据理论 需求分析 goal modeling evidence theory requirements analysis
  • 相关文献

参考文献9

  • 1Mylopoulos J, Chung L, Nixon B. Representing and using non-functional requirements: A process-oriented approach. IEEE Trans. on Software Engineering, 1992,6 (18):483-497. 被引量:1
  • 2van Lamsweerde A. Goal-Oriented Requirements Engine- ering: A Guided Tour. Proc. of the 5th IEEE International Symposium on Requirement Engineering. 2001. 249-260. 被引量:1
  • 3Yue K. What Does It Mean to Say that a Specification is Complete. Proc. of the 4th IEEE International Workshop on Software Specification and Design. 1987. 1-14. 被引量:1
  • 4Robinson WN. Integrating multiple specifications using domain goals. Proc. of the 5th IEEE International Workshop on Software Specification and Design. 1989. 219-255. 被引量:1
  • 5米歇尔.贝克特尔.目标管理.沈阳:辽宁教育出版社,2002. 被引量:1
  • 6Giorgini P, Mylopoulos J, Reasoning with goal models. of Trento, 2002.56-70. Nicchiarelli E, Sebastiani R. Technical Report of University. 被引量:1
  • 7Chung L, Nixon BA, Yu E, Mylopoulos J. Non-functional Requirements in Software Engineering: Kluwer Academic Publisher, 2000. 被引量:1
  • 8CEDITt. A KAOS Tutorial, 2003. 被引量:1
  • 9段新生.人工智能-证据理论与决策.北京:中国人民大学出版社,1990. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部