计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2009年
2期
310-320
,共11页
侯金奎%万建成%杨潇%王海洋
侯金奎%萬建成%楊瀟%王海洋
후금규%만건성%양소%왕해양
模型驱动开发%模型映射%形式化语义%软件体系结构%构件模型
模型驅動開髮%模型映射%形式化語義%軟件體繫結構%構件模型
모형구동개발%모형영사%형식화어의%연건체계결구%구건모형
语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构.
語義一緻性是模型驅動開髮中模型轉換正確性的一箇重要標準,但目前模型轉換中語義特性保持的定義、描述和驗證仍是一箇尚未解決的難題.基于軟件體繫結構,利用範疇理論和代數規範形式化描述體繫結構模型及其間的映射關繫,使之具有精確的語義.體繫結構模型的形式化語義用類型範疇圖錶來錶示,態射閤成被用來追蹤構件模型之間的關聯和映射,不同層次模型間的映射關繫用態射和函子來形式化描述.以此為基礎,進一步分析瞭模型轉換應保持的語義特性.範疇理論支持圖形化建模,可以使模型中的構件關繫以及結構特徵可視化,有利于對模型轉換的理解和追蹤.應用研究錶明,該描述框架很好地把握瞭模型驅動開髮的實質、過程和要求,為模型轉換和模型驅動開髮提供瞭新的認知、設計和語義計算的指導架構.
어의일치성시모형구동개발중모형전환정학성적일개중요표준,단목전모형전환중어의특성보지적정의、묘술화험증잉시일개상미해결적난제.기우연건체계결구,이용범주이론화대수규범형식화묘술체계결구모형급기간적영사관계,사지구유정학적어의.체계결구모형적형식화어의용류형범주도표래표시,태사합성피용래추종구건모형지간적관련화영사,불동층차모형간적영사관계용태사화함자래형식화묘술.이차위기출,진일보분석료모형전환응보지적어의특성.범주이론지지도형화건모,가이사모형중적구건관계이급결구특정가시화,유리우대모형전환적리해화추종.응용연구표명,해묘술광가흔호지파악료모형구동개발적실질、과정화요구,위모형전환화모형구동개발제공료신적인지、설계화어의계산적지도가구.
