一种软件需求描述语言的设计与实现 被引量：5

1

作者 姚昱 毋国庆 +1 位作者 吴怀广 万黎 《计算机工程与应用》 CSCD 北大核心 2009年第21期185-188,共4页

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

关键词 需求描述语言 软件行为 需求工程 需求建模方法

在线阅读 下载PDF 职称材料

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

2

作者 谭良 周明天 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期737-747,共11页

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

关键词 安全需求体系结构描述语言 安全构件 半安全构件 安全连接件 半安全连接件

在线阅读 下载PDF 职称材料

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

3

作者 崔建峰 伊俊敏 《济南大学学报（自然科学版）》 CAS 北大核心 2016年第6期467-472,共6页

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

关键词 需求描述语言 概率扩展 实时序列图 柔性序列图

在线阅读 下载PDF 职称材料

嵌入式系统的需求描述综述 被引量：2

4

作者 陈小红 刘少彬 金芝 《软件学报》 北大核心 2025年第1期27-46,共20页

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求. 展开更多

关键词 嵌入式系统 需求描述 需求描述语言 需求分析 系统需求

在线阅读 下载PDF 职称材料

C^3I 系统的需求描述语言 被引量：1

5

作者 纪建宇 王加存 《火力与指挥控制》 CSCD 1998年第1期50-55,共6页

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

关键词 C^3I系统 需求分析 需求描述语言

在线阅读 下载PDF 职称材料

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

6

作者 陈颖 杨寿保 《计算机科学》 CSCD 北大核心 2005年第2期90-92,共3页

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

关键词 市场模型 资源 中资 经济模型 经济学 需求 作业调度 网格计算 描述语言 扩充

在线阅读 下载PDF 职称材料

面向概率服务组合系统的需求描述 被引量：2

7

作者 开金宇 缪淮扣 高洪皓 《小型微型计算机系统》 CSCD 北大核心 2015年第11期2504-2509,共6页

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

关键词 随机场景 三段式概率消息 随机状态对象化 plsc需求描述语言

在线阅读 下载PDF 职称材料

基于行为模型的需求可视化研究 被引量：9

8

作者 李琳 毋国庆 +2 位作者 黄勃 万黎 吴昊 《计算机学报》 EI CSCD 北大核心 2013年第6期1312-1324,共13页

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

关键词 软件行为 行为描述语言 行为模型 可视化 需求建模

在线阅读 下载PDF 职称材料

面向行为的需求建模研究及实现 被引量：8

9

作者 万黎 毋国庆 吴怀广 《计算机科学》 CSCD 北大核心 2011年第4期175-181,共7页

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

关键词 需求建模 软件行为 视点 场景 行为描述语言

在线阅读 下载PDF 职称材料

面向软件行为的需求模型可视化研究 被引量：3

10

作者 马丽 吴怀广 毋国庆 《计算机应用研究》 CSCD 北大核心 2015年第8期2406-2409,共4页

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

关键词 需求建模 软件行为 行为描述语言 映射规则 图形化

在线阅读 下载PDF 职称材料

基于求精关系的多视点需求工程框架模型 被引量：1

11

作者 何炎祥 黄谦 《计算机科学》 CSCD 北大核心 2002年第9期140-142,共3页

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

关键词 软件工程 求精关系 多视点需求工程框架模型 形式描述语言

在线阅读 下载PDF 职称材料

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

12

作者 程勇 袁兆山 +1 位作者 倪世道 琚川徽 《合肥工业大学学报（自然科学版）》 CAS CSCD 2002年第2期186-190,共5页

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

关键词 电信业务 功能需求 建模 UCM SDL 软件开发 形式化描述语言

在线阅读 下载PDF 职称材料

基于需求链的协同商务模型研究 被引量：2

13

作者 李渊 王光明 《计算机工程与设计》 CSCD 北大核心 2007年第2期443-447,共5页

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

关键词 需求链 协同商务 网格 分布式计算 开放网格服务体系 WEB服务描述语言

在线阅读 下载PDF 职称材料

BDL模型到UML状态图的可视化方法研究 被引量：1

14

作者 马丽 毋国庆 +2 位作者 黄勃 程铭 崔梦天 《计算机科学》 CSCD 北大核心 2015年第7期38-43,共6页

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

关键词 行为描述语言 需求建模 映射规则 模型转换 状态图

在线阅读 下载PDF 职称材料

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

15

作者 李树国 黄诒珩 聂培琴 《山东建材学院学报》 1994年第1期72-76,共5页

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

关键词 软件 需求分析 需求描述语言

原文传递