基于i<'*>和AlbertⅡ的需求建模框架研究

来源 :合肥工业大学 | 被引量 : 0次 | 上传用户:standups_wu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
需求工程是软件工程的一个分支,它是一个多学科、以人为中心的过程,其中需求分析和建模是一个极其重要的阶段。传统的需求建模往往只重视系统的“是什么”和“如何做”两个方面,而没有考虑系统的“为什么”方面。随着系统复杂性的提高和需求的不断变化,人们越来越认识到建模组织需求的重要性。由于每种语言表达能力不同、自然性和精确性各异,因而适用于不同层次的需求建模。基于此,本文提出了—个需求建模框架,该框架中将适合于建模组织需求的产框架与适合于建模系统需求的AlbertⅡ语言相结合。 本文首先详细介绍了产框架和AlbertⅡ语言,它们在表达能力、精确性、自然性和重用性等方面有各自的优势和缺陷。通过结合使用,它们可以在这些方面互补,从而获得表达能力更强、精确性更高的框架。但是i~*框架和AlbertⅡ语言所用的建模概念不同,这不利于组织需求模型到系统需求规约说明的转化。为了在二者间建立起连接,本文探寻了产模型与AlbertⅡ规约说明在一些概念上的对应规则。 其次,为了用AlbertⅡ语言说明非功能需求,本文提出了一个非功能需求表示框架。在这个框架中,将非功能需求用i~*框架中提出的概念—软目标(softgoal)来表示,用目标分解的方法将高层的软目标精化为低层的功能目标,然后用AlbertⅡ语言形式化地说明。 最后,本文结合银行转帐系统实例详细介绍了本文提出的需求建模框架的建模和分析过程。
其他文献
文章主要研究了绿卡系统中基于第三方服务的客户机与服务器之间安全通信系统的设计与实现.在计算机不断发展的今天,网络通信安全已成为一个重要的问题.该文设计的绿卡系统中
随着P2P应用在文件共享、即时通信、流媒体传输等领域的不断发展,P2P流量已经成为不可忽视的网络流量。根据相关调查,自2004年起P2P流量已经占全部流量的60%以上。就目前来看
该文通过对网络技术及报表软件的研究与分析,创造性地把组态软件(Configuration Software)的思想应用到报表中,给出了基于Web的报表组态系统的结构框架及主要功能的实现技术.
近年来,随着信息技术的发展,出现了一大批新型的互联网应用,为了高效处理这些应用产生的大量数据,各大互联网公司都纷纷兴建了云计算数据中心,利用虚拟化技术为用户提供按需付费的
播出系统中的数据以视频音频信息为主,视音频信息占用相当大的存储空间,这给计算机的存储、访问以及在通信线路上的传输都带来巨大的负担.MPEG的工作不仅局限于运动图像,还包
近年来Internet业务的爆炸性增长给传统的传送网络带来了前所未有的挑战,推动着电信传送网络向高带宽、多业务方向发展。随着波分复用(Wavelength Division Mult iplexing,WD
该文主要介绍了在Windows 2000环境下网络入侵检测系统的设计模型和实现方法.该入侵检测系统能够对一些典型的入侵行为(如Land攻击)进行识别判断,而且也能够对一些拒绝服务类
随着传感器技术、通信技术的发展,无线传感器网络已经广泛应用在众多领域。而如何减小传感节点的能耗,提高无线传感器网络的生命周期,是无线传感器网络中一个重要的研究问题
如何更好地利用遗产系统来开发新系统,正在成为当前软件工程研究的一个重要方向。软件再工程正是在这种情况下才越来越显示出其重要作用。软件再工程提供了一条有效利用遗产系
中科院等离子体研究所目前正在建设的世界上最大的超导托卡马克装置之一——HT-7U(HT-7的升级装置),其目标就是实现长脉冲稳态运行.由于放电时间长、采集通道多,采集数据量大