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

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

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

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

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

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

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

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

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

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

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

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

嵌入式系统的需求描述综述

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

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

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