| 合成状态图中非预期状态转换路径的确认 |
| |
| 引用本文： | 王洪媛,张可,张家晨.合成状态图中非预期状态转换路径的确认[J].计算机工程与设计,2007,28(6):1251-1254. |
| |
| 作者姓名： | 王洪媛 张可 张家晨 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,吉林,长春,130012 |
| |
| 基金项目： | 国家自然科学基金
,
面向21世纪教育振兴行动计划(985计划)
,
吉林大学校科研和教改项目 |
| |
| 摘 要： | 利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.
|
| 关 键 词： | Scenario 状态图 顺序图 转换 状态向量 非预期状态转换路径 合成 状态图 中非 预期 转换路径 statecharts synthesized paths 信息 相关 转换算法 状态向量 提取 存在 分析 开发过程 行为模型 需求模型 软件 自动 |
| 文章编号： | 1000-7024（2007）06-1251-04 |
| 修稿时间： | 2006-02-17 |
Identifying unexpected state transition paths in synthesized statecharts |
| |
| WANG Hong-yuan,ZHANG Ke,ZHANG Jia-chen.Identifying unexpected state transition paths in synthesized statecharts[J].Computer Engineering and Design,2007,28(6):1251-1254. |
| |
| Authors: | WANG Hong-yuan ZHANG Ke ZHANG Jia-chen |
| |
| Affiliation: | College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| Abstract: | |
| |
| Keywords: | scenario statechart scequence diagram transition state vector unexpected state transition path |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
