文件名称：论文研究-基于MDA的MARTE模型形式化方法.pdf
文件大小：875KB
文件格式：PDF
更新时间：2022-08-11 13:44:55
模型驱动体系, 形式化方法, 模型转换, MARTE元模型
针对嵌入式系统对可靠性和可预测性的要求, 提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型, 定义了MARTE元模型与Object-Z元模型之间的模型转换关系, 给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型, 有利于软件开发早期的检验和验证。