从时序图描述推导目标描述的方法研究

• 作者: 刘小丽 张帆 李勇华 毋国庆
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 场景 时序图 目标 需求分析
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 443-446
• 页数: 4页
• 分类号: TP311
• 字数: 5527字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.03.012

摘要

面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张帆	武汉大学计算机学院	128	1223	16.0	32.0
2	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
3	刘小丽	武汉大学计算机学院	6	15	3.0	3.0