| UML模型到FSM模型的转换 |
| |
| 引用本文： | 郭亮,缪淮扣,王皙,陈圣波.UML模型到FSM模型的转换[J].计算机科学,2009,36(7):113-116. |
| |
| 作者姓名： | 郭亮 缪淮扣 王皙 陈圣波 |
| |
| 作者单位： | 1. 上海大学计算机工程与科学学院,上海,200072;上海市计算机软件评测重点实验室,上海,210112
2. 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金项目，国家863计划项目，国家973项目，上海市教委科研项目，上海市重点学科建设项目 |
| |
| 摘 要： | 通常可采用UML的各种图从Web应用不同方面对其进行建模.当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐.如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试.提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM.
|
| 关 键 词： | 状态图 模型转换规则 有限状态机 |
| 收稿时间： | 2008/8/25 0:00:00 |
| 修稿时间： | 2/4/2009 12:00:00 AM |
Transformation from UML Model to FSM Model |
| |
| GUO Liang,MIAO Huai-kou,WANG Xi,CHEN Sheng-bo.Transformation from UML Model to FSM Model[J].Computer Science,2009,36(7):113-116. |
| |
| Authors: | GUO Liang MIAO Huai-kou WANG Xi CHEN Sheng-bo |
| |
| Affiliation: | School of Computer Engineering and Science;Shanghai University;Shanghai 200072;China;Shanghai Key Laboratory of Computer Software Evaluating and Testing;Shanghai 201112;China |
| |
| Abstract: | Various UML diagrams can be used for modeling different aspects of a Web application.It would be complex when testing and verifying the models of the Web application,since models described by different diagrams have to be considered separately.By transforming each UML diagram into FSM model,we can apply a uniformed method for representing,verifying and testing to all the UML models of the Web application.This paper proposed a method for transformation from UML model to FSM model based on state-transition pr... |
| |
| Keywords: | UML |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
