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

Design and realization of new software requirements description language

作　　者：姚昱[1] 毋国庆[1] 吴怀广[1] 万黎[1] 

机构地区：[1]武汉大学计算机学院

出　　处：《计算机工程与应用》2009年第21期185-188,共4页Computer Engineering and Applications

基　　金：国家高技术研究发展计划(863)(No.2007AA01Z185)~~

摘　　要：提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。In this paper,a new software behavior oriented requirements modeling methodology and a behavior description language （BDL） are presented.The design and realization of the requirements description language are discussed.By using the modeling methodology, effective behaviors of the target system can be extracted from the user＇s requirements information,and then the behavior model of target system can be built.This modeling methodology can help the software users and developers to understand the behaviors of the target system more thoroughly,and can establish a foundation for automatically checking some characters of the target system.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]