基于UML的嵌入式建模方法改进策略研究

• 作者: 李仁发 段盛 谢桂芳
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 嵌入式系统 建模 形式化 模式 模型验证
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 嵌入式系统工程
• 页码范围: 4435-4437
• 页数: 3页
• 分类号: TP311.11
• 字数: 2539字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.18.037

摘要

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李仁发	湖南大学计算机与通信学院	468	4582	30.0	44.0
2	段盛	湘南学院计算机系	29	94	6.0	8.0
4	谢桂芳	湘南学院计算机系	26	112	6.0	9.0