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

段盛; 李仁发

首页> 中文期刊> 《计算技术与自动化》 >嵌入式建模中带有时间扩展的UML状态图的形式化方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算技术与自动化》 |2007年第1期|108-110|共3页
作者
段盛; 李仁发;
展开▼
作者单位

湖南大学;

软件学院;

湖南;

长沙;

410012;

湘南学院;

计算机系;

湖南;

郴州;

423000;

湖南大学;

计算机与通信学院;

湖南;

长沙;

410012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
嵌入式系统; UML状态图; 形式化;

相似文献

中文文献
外文文献
专利

1. 使用时间化自动机形式化带有时间扩展的UML状态图 [J] . 赖明志 ,尤晋元 . 计算机应用 . 2003,第008期
2. 基于扩展Petri网的系统建模及形式化验证方法 [J] . 张国印 ,刘铭 ,姚爱红 . 计算机应用研究 . 2010,第012期
3. 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估 [J] . 许玉堂 ,殷永峰 ,孙静 . 兵工学报 . 2015,第002期
4. 航空机载嵌入式控制软件需求建模的形式化工程方法 [J] . 黄怿豪 ,冯劲草 ,郑寒月 . 计算机工程与科学 . 2019,第006期
5. 嵌入式软件形式化建模方法 [J] . 潘杰 ,渡边政彦 ,周宽久 . 计算机工程与应用 . 2018,第008期
6. 基于UML状态图的MM路径形式化表示及生成 [C] . 林羚 ,中国科学院 ,卢江 . 第四届中国测试学术会议 . 2006
7. 基于扩展时间Petri网的嵌入式中断建模与验证 [A] . 常军旺 . 2015

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

摘要

著录项

相似文献

相关主题

期刊订阅