%0 Journal Article
%T Formal method of MARTE model based on MDA<br>基于MDA的MARTE模型形式化方法
%A XU Hai-yang
%A WANG Ping
%A <br>许海洋
%A 王　萍
%J 计算机应用研究
%D 2012
%I 
%X For the reliability and predictability requirements of embedded systems, this paper proposed MDA-based method to formal describe MARTE, which was a modeling language for embedded systems. It established Object-Z metamodel, and defined model transformation relationship between MARTE metamodel and Object-Z metamodel. It also presented the specific process of semantic mapping and the syntax conversion between MARTE model and Object-Z model. The method supported the formal translation between MARTE model and Object-Z model, it was helpful to test and verify in the early stage of the software development.
%K 模型驱动体系
%K 形式化方法
%K 模型转换
%K MARTE元模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=E82D2154DD923E6EBB85586B337ED956&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=5D311CA918CA9A03&sid=D6A29273B6F10BE7&eid=33B452BE89EFB84C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=19