欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言（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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：