10.3969/j.issn.1001-3695.2012.08.055
基于MDA的MARTE模型形式化方法
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法.建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程.该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证.
模型驱动体系、形式化方法、模型转换、MARTE元模型
29
TP311(计算技术、计算机技术)
2012-11-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
3018-3021