一种基于问题框架的软件密集型系统增量需求问题求解方法

软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题———增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性.     

一种基于扩展I*框架和UML的面向Agent需求建模方法

以分布式电子商务系统为研究背景，提出了一种基于扩展I^*建模框架和UML的面向Agent需求建模方法．该方法将需求工程划分为早期需求获取和后期需求规格说明两个阶段：在早期需求获取阶段，在I^*策略模型中引入服务依赖概念，用于描述组织背景中Agent的意图和Agent之间的依赖关系，同时描述系统内部Agent和分布式环境中其他Agent之间的依赖关系；在后期需求规格说明阶段，采用扩展的UML在Agent抽象层次上建立统一的需求模型．该方法还为早期需求获取平滑过渡到后期需求规格说明提供了统一的模型映射规则．从而保持模型的一致性．     

一种基于领域本体的用户建模方法

针对当前大多数个性化服务系统的不足,以旅游领域为背景,提出了一种新的基于本体的用户模型构建方法,利用领域本体中的概念、实例和属性描述用户兴趣特征,实现了在语义层次上理解用户兴趣。实验表明,该方法能有效提高用户模型的质量。     

一种支持多视点方法的自动需求建模

需求建模是需求工程的关键一环,以基于本体的需求获取和分析为背景,尝试将多视点方法应用到基于本体的需求建模过程中,从多个视点出发在软件工具的协助下对需求描述进行自动需求建模,从而提高需求模型的完整性.同时给出一种视点描述方法,用于对自动建模过程中使用的视点进行形式化定义.     

基于需求分解的知识系统建模方法

通过对知识系统的需求分析及分解，将知识系统的知识划分为领域概念知识(概念本体)、系统知识(任务本体)、控制知识和解释知识四大部分，初步建立了各部分的实现框架和相应的策略，其中概念本体描述知识系统的静态知识，任务本体描述知识系统的动态知识。以一个简化农业种植结构配置知识系统为例，建立了系统的应用本体求解模型。这种基于需求分解的知识系统建模方法具有面向问题和应用、实用性强等优点。     

领域本体建模方法研究

介绍了本体的建模准则,详细分析了现有的本体建模方法,在现有的领域本体构建模式的基础上,通过借鉴其它本体的建立模式,提出了一种新的领域本体建模方法.该方法具有很强的逻辑性和可操作性,可被一些领域本体在建立时采用,所述方法用于构建高校教师本体过程中时效果非常好,体现出了该方法符合人类思维和高度可操作性的特点.     

一种改进的软件工程需求建模框架

软件需求建模是软件工程中一个非常重要的环节，同时也是一个非常困难的环节。在统一建模语言UML的基础上，文章提出一种改进的软件工程需求建模框架，在此框架中，引入任务陈述和功能求精树的技术来确定用例，并给出了一个新的用例描述模板。开发人员利用该框架能够更详尽、更精确地获取软件系统的功能需求，并且利用该框架建立的高层次需求模型也比较容易细化为更详细的软件规格说明。     

一种软件测试需求建模及测试用例生成方法

软件在其分析阶段就会有测试介入方面的需求,这种做法不仅能帮助软件开发人员对软件需求进行了解并完善,也可以让测试人员设计出更贴近软件需求的测试方法.在这样的基础上,当开发人员将软件进行更改后,其需求发生变化时,测试人员也能及时了解到需求的变动方向,继而对测试方法进行改良.本文根据模型驱动的思想,对软件测试需求的概念进行了阐述,并对一种测试需求的模型和其测试需求的建模方法进行了定义.     

信息抽取中领域本体建模方法研究

近几年来,本体作为一种知识重用、知识共享和建模的重要工具,尤其是领域本体,在信息抽取系统中扮演着越来越重要的角色。但是,目前领域本体的创建还缺乏系统的、工程化的方法。首先介绍了本体的概念及本体的建模准则,然后分析了现有的几种常见的本体建模方法,并通过对比分析各种方法的优缺点,再结合信息抽取的原理以及软件工程的思想,提出了一种新的领域本体的建模方法。该方法具有很强的逻辑性和可操作性,可被一些领域本体在建立时采用。     

万维网基于本体云模型的信息建模方法

信息建模常用来表达知识,万维网分布式环境下,知识存在不确定性、不协调性、时变性和非恒常性,同时也有一定的群体性、规律性。为了更好的体现知识的性质,文章提出了一种基于本体云模型的信息建模方法。该方法使用本体云模型,并将本体云模型跟隶属云相结合,将隶属云作为概念的原子模型,本体云作为知识结构的原子模型,两者结合提供了从概念到领域知识一致的表达,通过该方法可以很好地进行万维网的信息建模。     

基于领域本体面向问题的需求分析与领域建模

为了解决传统的以应用领域为目标、以问题解决方案为中心的需求分析方法造成的开发人员与需求人员以及客户三者之间的误解,需求分析不可再次使用进而导致系统开发效率低下,客户满意度低等问题,文中提出了基于本体面向问题进行需求分析的方法。阐述了基于本体面向问题进行需求分析的必要性、本体的相关概念和设计原则、本体的描述语言以及基于LAU建立领域本体的实例与需求分析过程,并论证了利用该方法可进一步提高需求分析的质量。     

基于情景的主动知识需求建模研究

目前企业知识管理系统中,初始化需求建模耗费大量手工人力以及知识推送触发条件过于单一,针对这两个问题,论文提出了一种将知识融合情景的方式,将知识需求与特定情景相结合.首先分析了情景维度、情景空间、情景树和情景节点模型等概念,然后给出了本体知识源提取和情景需求初始化算法.最后以某航空研究所的实例验证了该方式的可行性.     

基于领域本体面向问题的需求分析与领域建模

为了解决传统的以应用领域为目标、以问题解决方案为中心的需求分析方法造成的开发人员与需求人员以及客户三者之间的误解,需求分析不可再次使用进而导致系统开发效率低下,客户满意度低等问题,文中提出了基于本体面向问题进行需求分析的方法。阐述了基于本体面向问题进行需求分析的必要性、本体的相关概念和设计原则、本体的描述语言以及基于LAU建立领域本体的实例与需求分析过程,并论证了利用该方法可进一步提高需求分析的质量。     

面向软件非功能需求的软件过程建模方法

软件非功能需求决定了软件的质量,而软件质量需求的满足很大程度上依赖于软件开发或演化时所使用的过程.从软件过程的角度出发,总结凝练满足软件非功能需求的过程策略,使用面向方面方法,提出面向软件非功能需求的软件过程建模方法,从软件过程的方法和技术角度保证软件的质量需求贯穿软件生命周期全过程得以实现.首先,基于对软件非功能需求的分析,总结满足非功能需求的过程策略,构建过程策略知识库,在此基础上,使用面向方面方法将过程策略定义的活动封装为方面,并通过方面合成机制织入基本软件过程模型,既实现了基本模型与面向非功能需求活动间的分离,又实现了软件生命周期全过程注入有助于软件质量提升的活动,其中,重点解决了方面织入基本模型的冲突控制及检测问题;另外,通过开发面向非功能需求的软件过程建模辅助工具NPAT(non-functional requirements-oriented processes aided tool),为过程建模及冲突控制提供了技术支持;最后,通过在案例中使用所提出的理论、方法和技术,说明所提出的理论和方法是可行的,开发的辅助工具是有效的,可以通过非功能需求定制的软件生命周期过程达到提升软件质量的目标.     

面向电子商务的信息需求本体

提出一个信息需求本体,用以描述电子商务的信息需求。该需求本体的要素有角色、特征、参数和约束。首先讨论了传统需求管理过程中存在的问题,然后介绍了需求本体对这些问题的适用性。使用一阶谓词逻辑来定义信息需求本体的角色及其特征,确立参数、约束以及角色之间的关系,并阐释了需求本体在满足网上购物信息需求时的作用。     

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

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

用基于随机权重方法的遗传算法求解大学课程表问题

在分析大学课程表问题的基础上,提出了用基于随机权重和方法的遗传算法求解大学课程表问题,并对整个算法进行设计与实现.系统的实验结果表明,改进的遗传算法能够较好地处理大学课程表问题.     

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

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

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.