面向软件行为和多视点的需求建模方法

提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.     

基于Viewpoint Agent的新型需求描述模型

需求工程是整个软件工程的关键部分，为了能清晰地得到软件规约，提出了一种新型的需求工程方法——基于多视点的需求代理模型。这个模型结合了多视点方法对分布式环境下的需求描述的能力和Agent的自治能力，从而能在分布式的开发环境下自动地得到软件规约。通过一个实例展示了Viewpoint Agent对基于多视点的需求描述自动进行规约的过程。     

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型,该模型可通过视点模板来定义用户的需求,此外,本文也结合一个管理信息系统的实例,介绍了使用这一需求描述模型定义软件系统需求的全过程。     

基于问题框架的需求建模:一种本体制导的方法

在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题框架方法的需求建模过程,为需求分析员提供建模指导并规范其建模活动.最后,通过案例展示整个本体制导的建模过程.     

1-多交互协议本体的描述

基于本体的共享与重用性以及谈判过程的动态性,提出谈判协议过程本体,将语义Web应用到自动谈判中,利用描述逻辑和本体编辑器Protégé 3.2.1对1-多交互协议本体进行形式化描述,并得到相应的OWL文件。     

基于多视点商品本体的商品视点知识分析方法研究

电子商务交易过程中,交易对象处于观察商品的不同视点下,视点持有人对商品的认知会存在差异.为解决商品认知的多视点特性,提出了将商品认知差异视为商品的视点知识的观点,分析商品视点知识的具体表现,构造商品视点知识的分析函数,并建立多视点商品本体描述商品的一般知识和视点知识.实验结果表明,加入商品视点知识的多视点商品本体更加拟合实际电子商务环境的需要.     

基于概念图的多视点需求模型

本文提出了一种以概念图为元表达语言的多视点需求建模方法.该模型提供了一种多视点中不同表示风格带来的问题的解决方法,该方法使用多视点进行需求获取,通过统一建模语言中的协作图简化了视点间的一致性检查,使多视点的集成更为简便.     

扩展断言知识检验一致的需求建模方法

保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。     

视点间的不一致性检查和视点集成

需求定义人员常从同的观察角度来定义大型软件系统的需求,从而形成多个部分需求说明（视点）。由于视点之间的相对独立性,多视点的集成是需求工程中一项重要而又困难的研究课题。使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行。在此,使用SFSM状态转换图来描述视点需求,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中,同时在此基础上提出了一种自动合成视点的方法,需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性。通过重复视点合成和检查、处理视点间的不一致性这一过程,多个视点可以被集成为整个软件系统的需求说明,应用了一个电话系统的例子说明了此视点需求表示和视点集成方法。使用此方法,视点集成过程可以自动完成,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性。     

多视点元模型间需求追踪性方法

以全面而统筹的眼光解决问题,则必须从局部分析不同的侧面,面向多视点的需求工程即为该理论的一个应用.多视点需求工程越来越受到重视,但是各视点间却缺少统一,这不仅不利于获取完整的系统需求,还导致需求变更困难等问题.为了解决以上问题,首先提出一个新的多视点建模过程框架,合理的建模框架有利于获取完整的系统需求.其次在多视点建模过程框架下建立追踪元模型,阐明系统需求在多视点元模型间的平稳过渡.最后结合需求追踪矩阵方法在追踪元模型间建立起追踪关系,进而通过计算变化追踪矩阵在需求变更时可以追踪到相关元素并进行更改,解决需求变更困难的问题.     

多视点全景图与平滑漫游的研究与实现

针对单视点全景技术在相对拥塞的环境中难以观看到障碍物背后影像的不足,利用单视点空间和视点间的双向过渡链的搭建,构造一个多视点虚拟场景。采用影像匹配、直线提取等图像处理技术手段有效实现视点空间之间的平滑漫游。实验结果表明,该方法能取得较好的视觉效果,在一定程度上提高多视点虚拟场景内漫游的真实感。     

一种谓词驱动的目标求精方法

目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模，提出了谓词驱动的目标求精方法，通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比，该方法具有对需求分析员的依赖较小、自动化程度高等优点。     

Use Case 可视化自动建模工具的设计与实现

围绕UML中Use case的可视化自动建模进行了研究,设计与实现了一个Use case可视化自动建模工具,并通过在金融贸易系统需求建模中的应用,说明了这一方法对于提高需求建模的速度、确保文档的规范化和模型语法的正确性等具有明显的效果。     

武器装备体系需求建模质量评价方法研究

武器装备体系需求建模过程充满了不确定性,而体系需求建模的质量直接影响到需求模型的有效性和可靠性,最终影响待建武器装备体系的构建效果。在重点分析武器装备体系需求建模利益相关者和需求建模内容中存在的不确定性因素的基础上,提出了一种基于贝叶斯网络（BN）的武器装备需求建模质量评价方法。该方法在充分利用专家知识和统计数据的基础上,利用BN的状态描述与推理机制,可以有效描述、处理体系需求建模过程中出现的不确定性问题;并且利用BN的诊断推理可以找出影响建模质量的关键因素组合。最后通过仿真实例对方法进行了验证。     

基于类与关系定义的拓扑建模方法及其应用

提出一种灵活、高效的面向对象的拓扑建模方法.该建模方法将相同类型的象抽象成类,将对象之间关系抽象为类之间的关系,通过类和类之间的关系进行拓扑建模,然后通过拓扑数据生成器自动生成拓扑数据.使用该建模方法可以根据用户需求,快速建立拓扑模型.以电信网管软件为例描述该方法的具体实现.     

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

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

一种基于Agent的需求分析与建模方法

本文在简要介绍Agent（代理）的基础上提出了针对管理信息系统的基于Agent的需求分析与建模方法,表明其相对与传统方法的优越性。同时将系统作为由不同角色组成的一个组织,并对分析、建模进行了分阶段的阐述。     

基于扩展模型的工作流描述方法和最大时间控制问题

根据客观世界人们协作完成任务的工作流控制方式,提出了一种扩展的工作流管理模型的描述方法,它将传统的工作流建模表示方法按灵活性,功能完备性和自治进行改造,使之能较好地适应复杂的管理模式。     

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

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

六自由度运动平台可视化软件的设计与实现

对六自由度平台运动可视化的研究将为平台研制提供新的手段。该文介绍了平台六自由度运动可视化软件的核心部分-驱动算法的原理和在OpengGVS中的实现过程．这一基于巧妙的坐标系选取和变换的算法,简洁明了地解决了虚拟平台和作动筒间复杂的协调运动问题。在这基础上开发的平台六自由度运动可视化软件基本达到了设计要求,使虚拟平台能够实时模拟真实平台的协调运动并实现了碰撞检测和多角度观察,取得了令人满意的结果。