基于MDA的MARTE模型形式化方法

• 作者: 王萍 许海洋
• 来源期刊: 计算机应用研究
• 关键词: 模型驱动体系 形式化方法 模型转换 MARTE元模型
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3018-3021
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.08.055

摘要

针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法.建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程.该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许海洋	青岛农业大学理学与信息科学学院	22	46	4.0	6.0
2	王萍	青岛农业大学理学与信息科学学院	25	93	5.0	9.0