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

• 作者: 侯金奎 杨潇 马军
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 模型驱动开发 软件体系结构 形式化描述 范畴理论 映射 聊天室系统
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 论文
• 页码范围: 1317-1322
• 页数: 6页
• 分类号: TP311
• 字数: 5851字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯金奎	山东大学计算机科学与技术学院	23	180	7.0	12.0
2	马军	山东大学计算机科学与技术学院	74	980	15.0	29.0
3	杨潇	山东大学计算机科学与技术学院	10	56	4.0	7.0