面向过程的装备需求论证信息资源获取方法

为提高装备需求论证过程中信息资源服务的针对性与有效性,面向装备需求论证业务过程,提出一种信息资源获取方法。基于WBS方法,提出装备需求论证过程的活动组成及其元模型;通过构建活动-信息需求矩阵,提出装备需求论证信息资源的分类、内容及其描述要求;定义装备需求论证信息资源描述框架,提出信息资源实例的生成方法。采用该方法能够实现面向装备需求论证过程的信息资源按需服务能力。以作战任务需求分析活动的信息资源需求分析为例,验证了该方法的可用性和有效性。     

需求描述前的需求跟踪模型研究

对需求描述前的需求进行跟踪可以减少需求错误、有助于需求变更的处理和软件组织的过程改进。针对传统需求跟踪方法没有对需求描述前的需求跟踪提供合适支持的问题，文章剖析了需求分析过程中产生的中间产品及其之间的各种关联，基于分析结果，提出了一个需求描述前的需求跟踪模型，包括过程模型和数据模型：过程模型描述跟踪过程，数据模型描述原始需求和中间产品。最后应用模型跟踪一个设备租赁系统中费用计算的需求，结果表明利用该模型能够准确跟踪到需求来源，发现需求错误、遗漏和不一致，并消除错误影响，从而改进需求质量，其有效性得到了验证。     

需求描述前的需求跟踪问题

本文讨论了需求描述前的需求跟踪的提供者和使用者之间的矛盾和面向对象分析中支持需求描述前的需求跟踪的必要条件。在此基础上，文章介绍了一个支持需求跟踪的原理系统，并京进一步解决需求描述前的需求跟踪问题进行了讨论 。     

基于XML的UUT测试需求描述方法研究

针对ATS开发过程中UUT测试需求缺乏标准规范的信息描述方法,致使ATS软件复用性、移植性差等问题目益突出的现状,参考有关国际标准,建立了UUT测试概念模型和基于XML的UUT测试信息描述模型,包括原子测试模型、组合测试模型等,阐述了模型之间的关系,给出了UUT测试需求描述模型应用实例;UUT测试概念模型揭示了UUT测试问题的本质,为UUT测试需求描述模型的建立打下了基础,UUT测试需求描述模型实现了UUT测试需求的标准化描述;该方法提高了UUT测试需求描述信息的复用性,改善了ATS的互操作性.     

需求描述前的需求跟踪问题

需求描述前的需求跟踪问题一直是软件工程中非常重要的一个方面，同时又是研究较少的一个方面。需求描述前的需求跟踪的提供者和使用者总存在一些难以解决的矛盾，本文首先从这一角度出发分析了需求描述前的需求跟踪问题。与传统技术一样，而向对象技术有保证需求描述前的需求可跟踪性的自动获取，为此文章讨论了在面向对象 支持需求描述前的需求跟踪能力的必要条件，在此基础上，文章介绍了一个支持需求跟踪的原型系统（ＯＯＲＴＳ     

基于扩展UML的作战信息需求描述方法研究

在广泛研究需求描述方法的基础上,提出了一种基于扩展UML的作战信息需求描述方法。该方法通过作战目标的静态和动态描述,满足了战前和作战过程中的敌情信息需求。通过构建作战功能需求体系,对我方作战单元信息需求进行定性分析和定量描述。最后,与其他信息需求描述方法进行了对比。基于扩展UML的信息需求描述方法对于消除战场“迷雾”,增强战场透明性,实现作战指挥、控制、决策的扁平化、自动化具有重要意义。     

一种实用的面向数据处理的需求分析方法:表描述法

本文介绍了一种新的实用的面向数据处理的需求分析方法——表描述法,它是在多个大型项目开发经验的基础上总结出来的。这种方法包括:需求获取技术、需求描述、需求评审三个部分。它描述能力强,容易掌握,几乎不需专门学习,便于和用户交流。     

程序挖掘中需求描述的研究

随着基于构件的程序挖掘思想犤1犦的提出,正确获取用户需求描述成为程序挖掘的关键。通用建模语言UML(U-nifiedModelingLanguage)作为用户需求建模的重要工具,成为用户需求描述的工业化标准。文章在分析需求描述在程序挖掘中的特性的基础上,研究UML的优点和缺陷,提出一种基于UML的构件化的用户需求获取方法CBU(ComponentBasedUML),给出了CBU的XML描述。文中论述了程序挖掘的基本概念、程序挖掘中需求描述的特点、UML的缺陷等方面的问题。     

基于SysML的无人侦察机需求描述方法研究

在装备论证与开发中,装备用户和研制设计人员间的需求描述往往难以沟通,造成研制工作的推迟和较大偏差.针对这种用户与研制方的需求交流障碍,借鉴SysML需求图建立武器装备需求描述的方法与步骤.主要分析了需求基本模型、需求导出模型、需求满足模型和需求验证模型等四类需求子模型.以无人侦察机需求为例,给出了基于SysML需求图对无人机顶层需求及其与设计参数之间的关系进行描述的方法.需求建模的结果表明,利用SysML需求图能够准确地对无人侦察机的需求进行描述,并且易于理解和操作.     

基于UMLsec的软件安全需求建模方法研究

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础.针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法.在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证.科研信息系统实例表明了该方法的有效性.     

程序挖掘的用户需求获取与分解

随着基于构件的程序挖掘思想[1]的提出，如何正确获取用户需求的描述成为程序挖掘中关键的第一步。本文在分析需求描述在程序挖掘中的特性的基础上，分析需求描述语言的发展，提出一种基于UML的用户需求描述语言，给出其XML描述形式，并结合我们自己定义的通用构件接口，研究需求分解的策略，具体给出需求分解算法，需求分解结果与通用构件接口之间的映射算法等。     

基于受限语言的领域需求描述方法

人们对领域知识、系统目标理解存在差异, 对领域需求表述不规范, 而导致软件需求不一致和频繁变更。为了解决这一问题, 提出一种基于受限语言的领域需求描述方法, 通过设计受限语言的需求获取模板, 规范表示领域需求, 通过词汇合法性检测和句型匹配, 保障领域需求描述的正确性, 并采用XML文件保存领域需求。最后通过构建实例验证了该方法的有效性。     

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。     

XSSRA/ADL:一种基于XML的安全需求体系结构描述语言

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难提出了一种基于XML的安全需求体系结构描述语言--XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系另外,XSSRA?ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化.     

面向大数据环境的决策信息需求通用描述语言

制定重大决策需要全方面的数据支持,而大数据时代的到来却让决策信息搜集更加困难。数据多样性和价值密度低的特点,让决策者耗费大量时间在信息需求的表达上。设计了一种通用的信息需求描述语言,及其为数据库、发布/订阅、搜索引擎等常见信息资源解析转换的方法,使得用户可以通过一种统一的方式将相关异构信息全部搜集到。实验表明,其基于本体的语义描述能力能够有效屏蔽数据异构性,提高信息搜集的全面性和准确性。     

面向主题的信息抽取需求描述与分析

在构建面向主题的信息抽取系统时,抽取需求是明确抽取任务的前提。针对自然语言描述的抽取需求导致计算资源浪费与抽取效率降低的问题,提出面向主题的信息抽取需求的形式化定义,并研究抽取需求之间的关系。采用精简需求集拆分的方法构造等价精简需求集,消除多抽取需求之间存在的冗余。实验结果证明,等价精简需求集能够提高多需求抽取任务的运行效率。     

网络式软件非功能需求冲突消解

在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。     

轨道交通控制软件中基于场景的需求分析方法

针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板。在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景。同时制定场景描述规则,使场景可以在需求模型中正确执行。在此基础上,从特殊变量、效率、场景质量三方面对场景进行优化,更充分地验证需求的正确性。实验结果表明,对于典型车载控制软件,该方法较传统分析方法可多探测到10%的潜在缺陷,效率提升80%以上。     

基于模型检验的需求不一致研究

为在软件需求分析阶段获得易于理解且一致性需求,在现有的研究基础上,提出一种基于自然语言与模型检验相结合的方法.将自然语言描述的需求按照子句的相似度进行划分,提取关键词转换成自动机模型,对转换后的模型使用SM V语言描述并用模型检验工具和方法对模型进行分析和验证,通过乘坐电梯的案例对此方法进行实验验证.实验结果表明,该方...