-
题名从时序图描述推导目标描述的方法研究
被引量：1
- 1
-
-
作者
李勇华
毋国庆
刘小丽
张帆
-
机构
武汉理工大学计算机学院计算机科学系
武汉大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第3期443-446,共4页
-
基金
国家自然科学基金(69873035)资助
高等学校博士点专项科研基金资助
-
文摘
面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.
-
关键词
场景
时序图
目标
需求分析
-
Keywords
scenario
event trace diagram
goal
requirement
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名模拟执行操作目标的方法研究
- 2
-
-
作者
李勇华
毋国庆
-
机构
武汉理工大学计算机学院计算机科学系
武汉大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第15期15-18,共4页
-
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.69873035)
高等学校博士点专项科研基金。
-
文摘
模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。
-
关键词
需求工程
模拟执行
目标
场景
需求规约
-
Keywords
requirement engineering
simulation
goal
scenario
requirement specification
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
