嵌入式建模中带有时间扩展的UML状态图的形式化方法

• 作者: 李仁发 段盛
• 来源期刊: 计算技术与自动化
• 关键词: 嵌入式系统 UML状态图 形式化
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 计算机软件及应用
• 页码范围: 108-110
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2007.01.030

摘要

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李仁发	湖南大学计算机与通信学院	468	4582	30.0	44.0
2	段盛	湖南大学软件学院	29	94	6.0	8.0