中国科技信息
中國科技信息
중국과기신식
CHINA SCIENCE AND TECHNOLOGY INFORMATION
2008年
18期
279-281,283
,共4页
模型驱动开发%模型映射%语义一致性
模型驅動開髮%模型映射%語義一緻性
모형구동개발%모형영사%어의일치성
源模型和目标模型描述之间的异构性是实现模型映射的主要困难.本文通过对模型描述语言的语法结构和语义表达特性进行抽象分析,提出了一种基于语义一致性的模型映射方法.该方法不仅可为模型转换的具体实现提供理论指导,还为验证不同抽象层次模型之间映射关系的正确性提供依据.
源模型和目標模型描述之間的異構性是實現模型映射的主要睏難.本文通過對模型描述語言的語法結構和語義錶達特性進行抽象分析,提齣瞭一種基于語義一緻性的模型映射方法.該方法不僅可為模型轉換的具體實現提供理論指導,還為驗證不同抽象層次模型之間映射關繫的正確性提供依據.
원모형화목표모형묘술지간적이구성시실현모형영사적주요곤난.본문통과대모형묘술어언적어법결구화어의표체특성진행추상분석,제출료일충기우어의일치성적모형영사방법.해방법불부가위모형전환적구체실현제공이론지도,환위험증불동추상층차모형지간영사관계적정학성제공의거.
