| 基于MDA的MARTE模型形式化转换 |
| |
| 引用本文： | 王立杰,刘昌禄,俞烈彬.基于MDA的MARTE模型形式化转换[J].指挥控制与仿真,2012,34(6):128-133. |
| |
| 作者姓名： | 王立杰 刘昌禄 俞烈彬 |
| |
| 作者单位： | 江苏自动化研究所,江苏 连云港 222006 |
| |
| 摘 要： | 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。
|
| 关 键 词： | 模型驱动 MARTE模型 Object-Z规约 元模型 模型转换 |
| 收稿时间： | 1/1/1900 12:00:00 AM |
| 修稿时间： | 5/9/2012 12:00:00 AM |
MDA-based formal transformation method for MARTE model |
| |
| Wang Li Jie,Liu Chang-lu and YU Lie-bin.MDA-based formal transformation method for MARTE model[J].Command Control & Simulation,2012,34(6):128-133. |
| |
| Authors: | Wang Li Jie Liu Chang-lu and YU Lie-bin |
| |
| Institution: | Jiangsu Automation Research Institute,Jiangsu Automation Research Institute |
| |
| Abstract: | |
| |
| Keywords: | model driven MARTE model Object-Z specification meta model model transformation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《指挥控制与仿真》浏览原始摘要信息 |
| 点击此处可从《指挥控制与仿真》下载免费的PDF全文 |
