一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。

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

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

用户需求描述语言的扩充及需求分析描述语言的设计

文章首先对用户需求信息描述语言 (User' s Need Description Language,简称 UNDL )进行扩充 ,以提高对用户需求信息的描述能力 ,并阐述了该语言的使用方法 ;其次 ,设计出需求分析描述语言(Need Analysis Description Language,简称 NADL) ,对 UNDL语言构成的用户需求描述的文本进行词法检查和语法分析 ,并用 NADL来记录此翻译得到的中间文本。以此规范的形式表示用户需求分析的结果 。

一种基于概率扩展的需求描述语言柔性序列图及其实现

针对实时序列图(live sequence charts,LSC)对系统行为需求描述时不能明确指定行为发生的概率并给出定量描述的不足,在概述LSC和柔性序列图(flexible sequence charts,FSC)的特点基础上,介绍FSC的图形表示及抽象语法定义,提出需求描述语言FSC,并完成该语言的图形化编辑器。结果表明,FSC图形规约编辑器具有创建FSC图及子图、消息通讯路径的定位、LSC及FSC图形元素描述等功能;采用图形方式和文本编辑方式对概率进行定量描述;提出该需求描述语言FSC是对LSC的概率扩展,通过概率分支和消息的三阶段事件概率,描述符合马尔可夫随机反应式系统中与概率相关的交互行为,对位置点对进行定量概率,增加检验位置点对之间的数据完整性活动概率,扩展定量概率描述的范围。

C^3I 系统的需求描述语言

论述了理想的需求描述语言应具备的九个特性。同时对几种现有描述语言进行了初步的评估，对我国在这方面工作的开展提出了几点看法。

数据流图描述语言的研究与设计

数据流图是软件设计开发过程中概念模型设计的重要图形表示法 ,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言 ,并给出示例说明此语言的使用 ,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述 ,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。

数据字典描述语言的研究与设计

在软件工程中 ,软件开发的基础工作是用户需求的获取与分析 ,而数据字典是用户需求说明书的重要组成部分。本文首先介绍了数据库设计过程中所涉及到的用户需求分析 ,对此进行了详细的说明。其次 ,给出了数据字典的形式化语言 ,并对其中的细节给出了必要的说明。通过对用户需求进行分析 ,并用此语言对其进行描述 。

基于网格计算市场模型的资源与作业描述语言的研究

网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型。本文分析了网格计算市场模型中资源和作业描述语言的需求,简要介绍了资源和作业描述语言Classified Advertisements(Classad),指出它在网格计算市场模型中描述资源和作业的不足之处,对它做了相应的改进和扩充,以实现在经济模型下对资源和作业更加灵活、细粒度的描述。

第二讲 FPGA器件的选型、设计与VHDL描述语言

为缓解我国电子信息产业快速发展与核心技术人才紧缺的矛盾,中电网(ChinaECNet)在信息产业部的支持下,联合国际著名集成电路设计厂商和清华大学等国内顶级高校,隆重推出电子工程与集成电路技术培训项目。所开课程包括FPGA／PLD、数字处理器、嵌入式SoC以及模拟和射频技术等。其中,FPGA培训是与Altera公司和清华大学共同推出的,并最先开课。本刊将陆续整理培训的精华内容与读者分享。更多详情敬请登录http:／／training．chinaecnet．com/。

面向概率服务组合系统的需求描述

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.

基于行为模型的需求可视化研究

针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为其执行模型和描述模型,每一个状态迁移都对应一个需要进行可视化描述的行为,一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联,控制图形的运动,实现需求行为模型的可视化.该方法的优点在于,需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求,避免需求变更,并且BDL模型必须通过一系列检测,以确保需求动画的正确性.文中给出了行为模型到状态模型转换规则的正确性证明,为转换提供了相应的理论验证.最后给出了校园通系统实例分析以及所实现的建模工具和动画工具介绍.

面向行为的需求建模研究及实现

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。

基于领域知识复用的需求建模

为了准确地获取和复用军事电子信息系统需求,提出了基于领域知识复用的需求建模方法。介绍了利用领域知识进行需求建模的过程,利用目标模型表达用户需求,并通过复用领域知识建立目标模型;通过目标查询匹配和复用获取目标相关需求,建立应用本体;利用顶层本体概念与M E ISRDL业务框架的映射关系,根据应用本体生成需求模型。实例表明,通过复用领域知识,不仅保证了需求模型的质量,而且提高了需求建模的效率。

面向软件行为的需求模型可视化研究

为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号关联;根据转换算法对构建的图形模型文法进行检查,并将其转换为BDL语言描述的行为模型,实现行为需求模型的可视化。最后通过实例验证了该方法的可行性。

基于求精关系的多视点需求工程框架模型

1 引论 传统需求工程方法应用于大型分布式系统的开发有一个严重问题:需求工程中的每一子过程里只能有一个全局规格.这一点与实际的分布式系统的特点很不适应.

基于UCM和SDL的电信业务功能需求建模

电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成功率、缩短开发周期和减少开发工作量有积极意义。

基于需求链的协同商务模型研究

深入研究了需求链管理和实施中面临的问题,分析了将协同商务引入需求链管理的必要性和必然性,并在此基础上,提出基于需求链管理的四层协同商务模型。模型利用网格技术搭建信息共享平台,充分利用网格技术的分布性、高效性、跨平台性等特点,有效共享实时信息。并在此信息共享平台之上,构建协同作业层、协同管理层以及协同预测层,实现面向需求链的企业联盟的ERP、CRM系统的集成,实现企业间生产、销售、库存、物流等方面的协同管理。

BDL模型到UML状态图的可视化方法研究

针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。

面向软件需求分析的形式化语言

针对软件需求分析阶段的内容，研究设计了该阶段的需求描述语言ＲＡＳＬ（ＲｅｑｕｉｒｅｍｅｎｔＡｎａｌｙｓｉｓＳｔａｔｅｍｅｎｔＬａｎｇｕａｇｅ），它可描述需求分析阶段的类型定义，加工及输入／输出之间的关系，使用这种语言来表达或书写敕件需求分析阶段的调查，可以使软件开发人员与用户对所描述的需求问题，更加易于理解与交流。