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

• 作者: 侯金奎 马军
• 来源期刊: 中山大学学报(自然科学版)
• 学科: 工学
• 关键词: 计算机软件 模型驱动开发 模型映射 软件体系结构 形式化语义
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 计算机协同技术
• 页码范围: 109-113,119
• 页数: 6页
• 分类号: TP311
• 字数: 3863字
• 语种: 中文
• DOI: 10.3321/j.issn:0529-6579.2008.06.023

摘要

为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义.态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导.

作者信息

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