IDEF0/UCM——集成的需求分析建模方法

通过对比研究结构化和基于场景的建模方法,分析、总结了具有代表性的需求建模方法IDEF0和使用实例图UCM(Use case maps)的优缺点.在综合上述两种方法优点的基础上,提出一种集成需求分析建模方法的设计思想、实施步骤.最后给出了运用此方法对自动取款机(ATM)进行需求分析的实例.     

Use Case驱动的软件需求获取过程模型

对Use Case建模进行分析后,提出了基于Use Case驱动的软件需求获取过程模型。该模型中通过不断迭代的两个阶段：分析阶段和综合阶段,来正确和完整地获取软件需求。文章对此模型进行了描述,并就一些关键问题展开了讨论,最后介绍了软件需求获取中的一些常用技术。     

基于领域Use Case需求模型的测试用例生成

传统的Use case模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成.给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念.扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中.依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性.     

Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

UML在数字图书馆系统中的应用

简述了高校图书馆的基本现状及运作过程。引入了一种可视化建模工具——统一建模语言(UML)，阐述了它的要点和特点与可视化建模的方法，围绕高校数字化图书馆的系统予以相应建模分析。这些模型将有利于系统的设计和开发人员对目标系统进行需求分析、系统设计以及源代码的自动生成，并部署到相关合适的硬件环境中，通过往返工程修改、优化，满足了需求的变化要求，提高系统的性能，缩短了开发周期。     

环面上van der Pol方程混沌解的可视化计算

研究了环面上非线性van der Pol方程的图形建模及可视化计算的问题,在图形环境下,对van der Pol环面方程从建模,实验到结果分析的全过程进行了可视化建模和计算,并建立了一个对系统运动轨迹进行全面自动分析试验的可视化仿真框架,该方法不但可以不用传统程序代码对模型及算法编程,而且可方便地对系统进行多参数自动迭代试验及智能分析。     

基于可视化计算的非线性Lienard方程仿真研究

该文研究非线性Ｌｉｅｎａｒｄ方程的图形建模及可视化仿真问题。在图形环境下对Ｌｉｅｎａｒｄ方程从建模、实验到结果分析的全过程进行了可视化计算,并建立了一个对系统运动轨迹进行全面自动分析试验的可视化仿真框架,该文方法不仅不用传统程序代码对模型及算法编程,而且可方便地对系统进行多参数自动迭代试验及智能化分析。     

基于UML的AGVS仿真软件设计

基于AGVS的有色时延Petri网和有向图模型，使用面向对象的方法，以可视化建模和计算机动画仿真功能为目标；以统一建模语言(UML)为工具，Use Case View和Design View为重点进行了AGVS仿真软件的设计。按照该设计实现的软件已经成功地应用于AGVS的仿真研究当中。     

面向过程分析的需求自动生成工具POSRAG

该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。     

Use Case建模在电厂管理系统中的应用

UML是面向对象技术的一个重要应用，其中最重要的是Use Case建模。该文首先介绍了UML的基本内容，然后结合实际工程的分析设计过程对利用将Use Case模型分为企业模型和系统模型来建立Use Case模型做了详细的描述。     

基于用例的需求建模方法

传统的软件需求规约是采用功能分解的方式来描述系统功能,而采用用例的方法进行需求获取和建模,是以用户为中心的建模方法.用例模型是由用例图和用例规约所组成的.用例图用来规定系统的行为,用例规约是用文档的形式对每个用例进行描述的.通过对银行系统进行基于用例的需求分析和建模,可以了解用例模型的益处.     

一种改进的用例建模方法及其在电子政务中的应用

用例建模作为一种需求建模方法受到广泛的关注和应用。文章总结了用例建模方法的优点和不足,针对其局限性给出了相应的解决方案,提出了用例建模的改进方法。该方法将传统需求分析思路与用例建模方法有效融合,将分解模式转移至角色模型避免了功能分解,并解决了前置条件降低有效性验证的问题,同时利用可视化建模提高系统模型的易理解性。文章采用改进的用例建模方法对电子文件审批系统进行了需求分析和模型设计,该改进后的用例建模方法可以同时满足用户获取系统价值和引导开发人员系统开发的两方面需求。     

用例分析技术在需求建模中的应用

用例分析技术通过用例、执行者以及用例之间的关系来描绘系统外在可见的需求情况。文中介绍了用例分析技术易于软件开发人员与用户之间开展沟通与交流的特点,阐明了用例分析技术有助于提高需求分析的效率和质量。通过高炉开炉装料系统的开发实践,从执行者、用例和用例规约三方面,探讨了用例分析技术的建模步骤,从而描述了一种使用用例分析技术开展需求建模的有效的实现方法。     

基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。     

软件需求分析中的用例建模研究与应用

需求是软件项目的基础,如何把握用户需求,是项目成功与否的关键.一个灵活的软件需求分析技术,可以帮助开发人员准确获取用户需求.用例建模是面向对象软件开发技术的重要组成内容,它能够完整地捕捉系统的功能性需求,体现用户和系统之间的交互关系.通过一个实例分析,简要介绍如何使用用例建模技术,完成软件需求分析.     

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.     

基于DSP的自动包装机控制系统的软件设计

介绍了包装机的工作原理及以DSP为处理器的自动包装机控制系统,采用统一建模语言UML建立系统用例图,并根据对用例图的分析建立系统状态模型.通过编程测试,验证了本系统不仅满足了用户需求而且具有较高的可靠性和可维护性.     

基于MTRDL的自动飞行系统模式需求建模与验证方法[1]

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.本文工作提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL,和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明了本文方法在自动飞行系统模式转换需求验证中的有效性.     

一类自动包装机下位机程序设计与建模

以自主开发的运动控制嵌入式系统为平台,以用户对自动包装机的需求为基础,采用统一建模语言UML建立自动包装机下位机用例图,并根据对用例图的分析建立系统下位机状态模型,明确各个状态模型之间相互转移的条件和约束关系。并对软件总体流程做较为严谨的设计,使设计出来的下位机程序不仅能够满足用户对系统功能的需要,更具有较高的可靠性和简洁的可维护性。     

基于用例的软件需求建模研究

需求建模和用例技术是软件需求工程研究的热点,文中旨在通过讨论二者的作用及相互关系,得到如何使用用例分析技术为捕获的软件需求建立简洁明了的逻辑模型的一般方法。文章首先介绍了用例、软件需求、需求建模等基本概念,然后探讨了软件需求建模的一般过程,最后结合实际案例给出了使用用例进行需求建模的实现方法。整个过程侧重于需求的获取、用例分析和建模的实现,并提供了一个简单的用于描述软件需求的用例规约。