计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
4期
175-181
,共7页
需求建模%软件行为%视点%场景%行为描述语言
需求建模%軟件行為%視點%場景%行為描述語言
수구건모%연건행위%시점%장경%행위묘술어언
需求建模是需求工程中的重要步骤.提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景.对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型.在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性.基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模.
需求建模是需求工程中的重要步驟.提齣瞭一種麵嚮行為的需求建模方法,首先將目標繫統問題域劃分成多箇子問題域,然後在子問題域裏建立多箇視點,在每箇視點內,根據需求建立多箇場景.對于每箇場景,用行為描述語言建立場景行為模型,視點內所有場景的行為模型組閤構成視點行為模型,目標繫統所有視點的行為模型組閤構成繫統行為模型.在行為模型的基礎上,提齣瞭一繫列特性以及其驗證方法,用于驗證行為模型的正確性以及繫統特性.基于以上方法,設計和實現瞭麵嚮行為的需求建模工具(BRMT),以輔助開髮人員從行為的角度進行需求建模.
수구건모시수구공정중적중요보취.제출료일충면향행위적수구건모방법,수선장목표계통문제역화분성다개자문제역,연후재자문제역리건립다개시점,재매개시점내,근거수구건립다개장경.대우매개장경,용행위묘술어언건립장경행위모형,시점내소유장경적행위모형조합구성시점행위모형,목표계통소유시점적행위모형조합구성계통행위모형.재행위모형적기출상,제출료일계렬특성이급기험증방법,용우험증행위모형적정학성이급계통특성.기우이상방법,설계화실현료면향행위적수구건모공구(BRMT),이보조개발인원종행위적각도진행수구건모.