首页 > 工程造价 >造价学术 >造价其他资料 > 嵌入式建模中带有时间扩展的UML状态图的形式化方法
嵌入式建模中带有时间扩展的UML状态图的形式化方法

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

原价 100 积分

促销价 50 评分 4.8 积分

*温馨提示:该数据为用户自主上传分享,如有侵权请 举报联系客服处理。
报错
  • 详情
  • 2021-04-28
  • 简介
  • pdf
  • 406KB
  • 页数 3P
  • 阅读 73
  • 下载 28
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。

对不起,您暂无在线预览权限,如需浏览请

立即登录