%0 Journal Article
%T 基于特征和范畴理论的体系结构模型形式化描述
%A 杨潇
%A 马军
%A 侯金奎
%J 计算机集成制造系统
%P 0-0
%D 2009
%X 为解决模型驱动开发中缺乏形式化语义的问题，以有效支持模型转换和代码生成，根据面向特征的技术和范畴理论，提出了一种体系结构模型的形式化描述方法。在该方法中，利用类型范畴理论，形式化地描述软件体系结构模型及其之间的映射关系，以提供精确的语义描述。以一个聊天室系统为例说明了该方法的应用。该描述框架可用于指导模型转换规则的定义以及转换的一致性验证，从而为模型驱动开发提供有力的支持。
%K 模型驱动开发
%K 软件体系结构
%K 形式化描述
%K 范畴理论
%K 映射
%K 聊天室系统
%U http://www.cims-journal.cn/CN/abstract/abstract2350.shtml