论文部分内容阅读
统一建模语言UML（unified modeling language）在嵌入式系统设计建模中已经获得了广泛的承认，有很多成功的应用。但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题。针对这些问题提出了一种改进策略：定义实时语义和映射规则，建立实时描述模式模板，使用模板中实时描述模式描述时间约束信息。改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换，能利用支撑工具对模型进行验证，较好地解决了UML在嵌入式系统建模中存在的问题。