Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (15): 15-18.

• 博士论坛 • Previous Articles     Next Articles

Research of simulation executing operational goals method

LI Yong-hua1,WU Guo-qing2   

  1. 1.Computer School,Wuhan University of Technology,Wuhan 430063,China
    2.Computer School,Wuhan University,Wuhan 430072,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-05-21 Published:2007-05-21
  • Contact: LI Yong-hua

模拟执行操作目标的方法研究

李勇华1,毋国庆2   

  1. 1.武汉理工大学 计算机学院 计算机科学系,武汉 430063
    2.武汉大学 计算机学院,武汉 430072
  • 通讯作者: 李勇华

Abstract: Simulation execution is an important check method of software requirements specifications.On the basis of goals combining with scenarios requirement modeling method,this paper puts forward a simulation execution method.The method provides theoretic basis for divergence of agent levels,then translates operational goals set into HRAFSM,at last simulatively executes operational goals set according to simulation executing HRAFSM.

Key words: requirement engineering, simulation, goal, scenario, requirement specification

摘要: 模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。

关键词: 需求工程, 模拟执行, 目标, 场景, 需求规约