基于UML的嵌入式系统模型验证机制的研究

• 作者: 石柯 胡贯荣 阳富民
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 嵌入式系统UML可执行UML模型验证
• 年，卷（期）: 2001,（23）
• 所属期刊栏目: 学术探讨
• 页码范围: 111-113,116
• 页数: 4页
• 分类号: TP311
• 字数: 6422字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.23.038

摘要

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要.UML(Unified Modeling Language,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用.然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证.为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(State Chart)所用的形式化语义定义.嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石柯	华中科技大学计算机学院	36	375	11.0	18.0
2	阳富民	华中科技大学计算机学院	69	997	19.0	27.0
3	胡贯荣	华中科技大学计算机学院	31	520	14.0	22.0