面向软件行为的多视点需求建模方法

摘要：

面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言(Behavior Description Language,BDL)的多视点需求模型、需求验证及生成形式化需求文档方法.首先划分目标系统构建多视点,然后利用BDL建立视点行为模型,所有视点行为模型组合构成系统行为模型.在多视点行为模型框架下,利用BDL所构建行为模型进行语法、语义以及系统特性的检测,保证系统行为模型的正确性.最后,介绍了基于上述方法的多视点需求建模工具RMTS.

关键词：需求建模、软件行为、多视点、模型检测

所属期刊栏目：60

分类号：TH133;TP183

在线出版日期：2014-07-04（万方平台首次上网日期，不代表论文的发表时间）

页码：211-218