指挥控制与仿真
指揮控製與倣真
지휘공제여방진
COMMAND CONTROL & SIMULATION
2012年
6期
128-133
,共6页
模型驱动%MARTE模型%Object-Z规约%元模型%模型转换
模型驅動%MARTE模型%Object-Z規約%元模型%模型轉換
모형구동%MARTE모형%Object-Z규약%원모형%모형전환
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点.根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法.针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则.MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用.
非形式化/半形式化模型到形式化模型之間的轉換是噹前軟件工程領域的研究熱點.根據異構模型轉換,提齣瞭基于MDA的MARTE模型到Object-Z規約之間的轉換方法.針對Object-Z在實時領域錶達能力不足的問題,首先擴展Object-Z元模型;然後在MDA的元元模型體繫下,定義瞭MARTE元模型和擴展的Object-Z元模型之間的轉換規則.MARTE模型可以重用這些轉換規則以實現到Object-Z形式化描述之間的轉換,進而可以對模型進行形式化驗證;最後通過一箇實例使用該方法完成模型轉換,具體說明瞭轉換規則的應用.
비형식화/반형식화모형도형식화모형지간적전환시당전연건공정영역적연구열점.근거이구모형전환,제출료기우MDA적MARTE모형도Object-Z규약지간적전환방법.침대Object-Z재실시영역표체능력불족적문제,수선확전Object-Z원모형;연후재MDA적원원모형체계하,정의료MARTE원모형화확전적Object-Z원모형지간적전환규칙.MARTE모형가이중용저사전환규칙이실현도Object-Z형식화묘술지간적전환,진이가이대모형진행형식화험증;최후통과일개실례사용해방법완성모형전환,구체설명료전환규칙적응용.