基于体系结构的模型转换语义描述框架

• 作者: 侯金奎 王磊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 计算机软件 模型驱动开发 模型转换 构件式软件 语义描述
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: NASAC 2015
• 页码范围: 148-152,181
• 页数: 6页
• 分类号: TP311.5
• 字数: 7915字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.04.032

摘要

为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制.应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王磊	潍坊学院计算机工程学院	268	1703	20.0	30.0
5	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0