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

面向软件行为的多视点需求建模方法 Software Behavior and Multi-Viewpoints Oriented Requirement Modeling Methodology 程铭 CHENG Ming 1 2 first-author 黄勃 HUANG Bo 1 毋国庆 WU Guoqing 1 2 姚昱 YAO Yu 1 袁梦霆 YUAN Mengting 1 武汉大学计算机学院 武汉大学计算机学院 School of Computer,Wuhan University School of Computer,Wuhan University 武汉大学深圳研究院 武汉大学深圳研究院 Shenzhen Institute,Wuhan University Shenzhen Institute,Wuhan University 面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言（Behavior Description Language,BDL）的多视点需求模型、需求验证及生成形式化需求文档方法.首先划分目标系统构建多视点,然后利用BDL建立视点行为模型,所有视点行为模型组合构成系统行为模型.在多视点行为模型框架下,利用BDL所构建行为模型进行语法、语义以及系统特性的检测,保证系统行为模型的正确性.最后,介绍了基于上述方法的多视点需求建模工具RMTS. The software behavior and multi-viewpoints oriented requirement engineering starts from viewpoints requirement and provides a way of viewpoints requirement model based on software behavior description language（BDL）,verifying requirement model and creating formal requirement documentation.Ploted out target system into multi-viewpoints,a viewpoint behavior model could be established by behavior description language.A system behavior model could be constructed by all viewpoint behavior models.Under the framework of multi-viewpoints behavior model,semantics,syntax and system characteristics are detected to ensure the correctness of the system constructed by DBL.At last,the paper introduces the multi-viewpoints requirement modeling tool RMTS based on the method above. 需求建模 软件行为 多视点 模型检测 requirement modeling software behavior multi-viewpoints model checking 10.14188/j.1671-8836.2014.03.007 TP311.52 国家自然科学基金（91118003,61003071）;深圳战略性新兴产业发展专项资金（JCYJ20120616135936123）;中央高校基本科研业务费专项资金（3101046,201121102020006）资助项目 2014-03-01 2021-04-01 3 60