支持MDD的体系结构模型的形式化语义  

MDD-supported Formal Semantics Description of Architecture Models

作　　者：侯金奎[1] 马军[1] 

机构地区：[1]山东大学计算机科学与技术学院,山东济南250101

出　　处：《中山大学学报（自然科学版）》2008年第6期109-113,119,共6页Acta Scientiarum Naturalium Universitatis Sunyatseni

基　　金：山东省科技攻关资助项目(2008GG10001026)

摘　　要：为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。In order to resolve the problems in the definition of model mapping relations and in the validation of the correctness of model transformations in model-driven development, this paper use category theory to provide a precise semantics for architecture models and their relationships. Morphism composition is used to trace the interconnections and mapping relations between component models, while the consistency between architecture models at different abstract levels is maintained by functors. Category theory supports the diagrammatic representation of component models that visualizes the relationships between components and the structural features, which can be used to strengthen the understandability and traceability of model transformation. The application research shows that, the description framework does not only provide a measurement for validating the mapping rules, but also provide a theoretical guidance for model transformations.

关 键 词：计算机软件 模型驱动开发 模型映射 软件体系结构 形式化语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]