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

Research and Implement of Behavior-oriented Requirements Modeling

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

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

出　　处：《计算机科学》2011年第4期175-181,共7页Computer Science

基　　金：国家高技术研究发展计划(863计划)(2007AA01Z185)资助

摘　　要：需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。Requirements modeling is a key procedure in Requirements Engineering.This paper put forward a behavior-oriented modeling methods：Ploted out problem domain of target system into several sub-domains.Viewpoints were then created in each sub-domain.Within each Viewpoint,a series of scenarios would be established according to requirements.A SCenario Behavior Model（SCBM） could then be established to specify each scenario by Behavior Description Language（BDL）.A Viewpoint Behavior Model（VBM） could be constructed of all SBM within the Viewpoint and a System Behavior Model（SBM） could be constructed of all VBMs.A set of properties and their verification methods were proposed to check the correctness of behavior model and properties of the target system.Based on the methods above,a Behavior-oriented Requirements Modeling Tool（BRMT） was implemented.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]