嵌入式建模中带有时间扩展的UML状态图的形式化方法
- 详情
- 2021-04-28
- 简介
- 406KB
- 页数 3P
- 阅读 73
- 下载 28
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
对不起,您暂无在线预览权限,如需浏览请
立即登录热门商品
chn1***
擅长:
土建 市政
- 4.5
服务
- 2
商品
- 71
人气
相关推荐
嵌入式建模中带有时间扩展的UML状态图的形式化方法 406KB
具有时间显示功能的变色涂料及其制备方法 561KB
一种基于嵌入式地形的三维数据建模与调度方法 687KB
具有时间选择性的热磁式塑壳断路器 239KB
嵌入式系统内的UML状态机和框架技术分析 112KB
嵌入式控制系统的串口扩展设计方法 198KB
基于子图拓扑扩展的徽派建筑快速建模方法 1.2MB
基于子图拓扑扩展的徼派建筑快速建模方法 1.5MB
有时间显示的定时交通信号灯 716KB
嵌入式数字伺服控制系统中扩展异步串口设计 133KB