收藏本站
《计算机与数字工程》 2008年07期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于范畴论的需求分析模型

王军  
【摘要】:介绍目前常用的需求分析方法,并对其优势与劣势进行分析。通过对范畴论中的映射关系和各种公理的研究,将该理论和需求分析结合起来,提出一种从系统概念转化为计算机可以识别的系统需求的模型。该模型涵盖了系统需求系统从初始到系统需求的整个过程,具有良好的复用性。由于从概念到环境至内涵是一个逐步实例的过程,因此,该模型具有良好的适应能力和扩展性,可以根据项目规模的大小,需求的清晰程度,项目的环境等因素变化出不同的子模型,凡是了解范畴论略图的都可以理解和使用该模型,具有广泛的应用前景。
【作者单位】河南省信息中心;
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 于立兴;陈中育;高毅;;消息序列图的范畴论语义描述[J];计算机工程;2011年14期
2 苏锦钿;余珊珊;;Comonads理论及其在函数式程序语言Haskell中的应用[J];计算机科学;2011年07期
3 余珊珊;李师贤;苏锦钿;;一种基于共代数的面向对象形式语义[J];计算机科学;2011年08期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前6条
1 付威;;基于用户组织角色权限和资源的五要素全排列需求分析方法研究[A];中国烟草行业信息化研讨会论文集[C];2004年
2 周勇;周新颖;姜滨;;气象数据通信软件需求分析方法[A];信息技术在气象领域的开发应用论文集(一)[C];2005年
3 孙玫肖;;软件需求分析方法的研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
4 张克强;叶敏;;一种适用于验收测试的测试生命周期模型[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 郭海燕;赵晨;张强;李佟巍;苏辉;;设计方法:一套新的方法模型帮助分析软件产品的用户需求及可用性问题[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
6 石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年
中国重要报纸全文数据库 前2条
1 中国网通集团研究院 聂鑫 吴欣;需求分析 EAI成功的保证[N];通信产业报;2004年
2 记者 王海蕴;软件产品线推进产业工业化步伐[N];中国高新技术产业导报;2009年
中国博士学位论文全文数据库 前9条
1 田精白;网络式软件非功能需求分析方法及其应用[D];武汉大学;2009年
2 卢文龙;基于范畴论的产品形位几何规范信息集成系统研究[D];华中科技大学;2009年
3 陈中育;基于场景的系统行为建模和组合研究[D];上海大学;2011年
4 李玉琴;需求工程与软件产品线若干关键技术研究[D];复旦大学;2007年
5 李勇华;目标和场景相结合的需求工程[D];武汉大学;2006年
6 姚全珠;基于构件的软件形式化开发方法研究与应用[D];西安理工大学;2008年
7 蒋涛;增量式软件产品线关键技术研究[D];浙江大学;2009年
8 邵堃;面向Agent需求工程的建模与分析[D];上海大学;2004年
9 綦群芬;基于新一代GPS的表面形貌规范与认证信息系统的研究与实现[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 杨春;敏捷需求分析方法在应用软件开发中的实践[D];天津大学;2010年
2 李童;一种资源为中心的安全需求分析方法的研究与实现[D];清华大学;2011年
3 潘东;结合CC标准基于活动图扩展的安全需求分析方法[D];天津大学;2010年
4 屈文建;泛型程序设计的范畴论模型研究及其应用[D];江西师范大学;2004年
5 韩小芬;动态模糊逻辑程序设计语言的代数语义模型及应用研究[D];苏州大学;2009年
6 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
7 颜丽;基于范畴论的应急预案语义模型研究[D];南京邮电大学;2011年
8 刘嵩;软件需求分析方法创新研究[D];武汉理工大学;2005年
9 李东;城市客车信息集成控制系统需求信息处理技术研究[D];武汉理工大学;2009年
10 赵建利;基于演化构件的形式化需求分析方法研究与应用[D];华北电力大学(河北);2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026