Research and Implement of Behavior-oriented Requirements Modeling
面向行为的需求建模研究及实现

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