计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2012年
1期
161-164
,共4页
李智伟%徐中伟%万勇兵%李盼
李智偉%徐中偉%萬勇兵%李盼
리지위%서중위%만용병%리반
模型驱动工程%元模型%简单Petri网%抽象状态机
模型驅動工程%元模型%簡單Petri網%抽象狀態機
모형구동공정%원모형%간단Petri망%추상상태궤
提出一种在模型驱动开发过程中的形式化语义描述方法.该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持.将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成.
提齣一種在模型驅動開髮過程中的形式化語義描述方法.該方法利用元建模技術,形式化地描述瞭元模型及其語義間的映射關繫,以提供精確的語義描述,從而為模型驅動開髮提供有力的支持.將描述框架用于模型轉換規則的定義以及元模型的分析與驗證,併以簡單Petri網為例,說明該方法可以有效地支持模型轉換和代碼生成.
제출일충재모형구동개발과정중적형식화어의묘술방법.해방법이용원건모기술,형식화지묘술료원모형급기어의간적영사관계,이제공정학적어의묘술,종이위모형구동개발제공유력적지지.장묘술광가용우모형전환규칙적정의이급원모형적분석여험증,병이간단Petri망위례,설명해방법가이유효지지지모형전환화대마생성.
