计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2009年
7期
1317-1322
,共6页
模型驱动开发%软件体系结构%形式化描述%范畴理论%映射%聊天室系统
模型驅動開髮%軟件體繫結構%形式化描述%範疇理論%映射%聊天室繫統
모형구동개발%연건체계결구%형식화묘술%범주이론%영사%료천실계통
为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技技术和范畴理论,提出了一种体系结构模型的形式化描述方法.在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以提供精确的语义描述.以一个聊天室系统为例说明了该方法的应用.该描述框架可用于指导模型转换规则的定义以及转换的一致性验证,从而为模型驱动开发提供有力的支持.
為解決模型驅動開髮中缺乏形式化語義的問題,以有效支持模型轉換和代碼生成,根據麵嚮特徵的技技術和範疇理論,提齣瞭一種體繫結構模型的形式化描述方法.在該方法中,利用類型範疇理論,形式化地描述軟件體繫結構模型及其之間的映射關繫,以提供精確的語義描述.以一箇聊天室繫統為例說明瞭該方法的應用.該描述框架可用于指導模型轉換規則的定義以及轉換的一緻性驗證,從而為模型驅動開髮提供有力的支持.
위해결모형구동개발중결핍형식화어의적문제,이유효지지모형전환화대마생성,근거면향특정적기기술화범주이론,제출료일충체계결구모형적형식화묘술방법.재해방법중,이용류형범주이론,형식화지묘술연건체계결구모형급기지간적영사관계,이제공정학적어의묘술.이일개료천실계통위례설명료해방법적응용.해묘술광가가용우지도모형전환규칙적정의이급전환적일치성험증,종이위모형구동개발제공유력적지지.
