基于MDA的MARTE模型形式化转换

• 作者: 俞烈彬 刘昌禄 王立杰
• 来源期刊: 指挥控制与仿真
• 学科: 军事
• 关键词: 模型驱动 MARTE模型 Object-Z规约 元模型 模型转换
• 年，卷（期）: 2012,（6）
• 页码范围: 128-133
• 分类号: TP311|E917
• 字数: 3140字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3819.2012.06.029

摘要

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点.根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法.针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则.MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	俞烈彬		5	24	3.0	4.0
2	刘昌禄		5	24	4.0	4.0
3	王立杰		4	9	2.0	3.0