基于特征和范畴理论的体系结构模型形式化描述

摘要：

为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技技术和范畴理论,提出了一种体系结构模型的形式化描述方法.在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以提供精确的语义描述.以一个聊天室系统为例说明了该方法的应用.该描述框架可用于指导模型转换规则的定义以及转换的一致性验证,从而为模型驱动开发提供有力的支持.

关键词：模型驱动开发、软件体系结构、形式化描述、范畴理论、映射、聊天室系统

所属期刊栏目：15

分类号：TP311(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研基金资助项目20070422107;山东省科技攻关资助项目2008GGl0001026

在线出版日期：2009-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1317-1322