| 基于UML的嵌入式建模方法改进策略研究 |
| |
| 引用本文： | 段盛,李仁发,谢桂芳. 基于UML的嵌入式建模方法改进策略研究[J]. 计算机工程与设计, 2007, 28(18): 4435-4437 |
| |
| 作者姓名： | 段盛 李仁发 谢桂芳 |
| |
| 作者单位： | 湘南学院,计算机系,湖南,郴州,423000;湖南大学,计算机与通信学院,湖南,长沙,410082;湖南大学,计算机与通信学院,湖南,长沙,410082 |
| |
| 摘 要： | 统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.
|
| 关 键 词： | 嵌入式系统 建模 形式化 模式 模型验证 |
| 文章编号： | 1000-7024（2007）08-4435-03 |
| 修稿时间： | 2007-01-13 |
Research on improved tactic of UML-based embedded system modeling |
| |
| DUAN Sheng,LI Ren-fa,XIE Gui-fang. Research on improved tactic of UML-based embedded system modeling[J]. Computer Engineering and Design, 2007, 28(18): 4435-4437 |
| |
| Authors: | DUAN Sheng LI Ren-fa XIE Gui-fang |
| |
| Affiliation: | 1. Department of Computer and Science, Xiangnan College, Chenzhou 423000, China; 2. School of Computer and Telecommunication, Hunan University, Changsha 410082, China |
| |
| Abstract: | |
| |
| Keywords: | embedded system modeling formalization pattern model verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
