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

摘要：

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

关键词：计算机软件、模型驱动开发、模型转换、构件式软件、语义描述

所属期刊栏目：44

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

资助基金：山东省科技发展计划项目2011YD01042,2011YD01043;山东省星火计划项目2011XH06017;山东省高等学校优秀中青年骨干教师国际合作培养计划2013

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

页数：共6页

页码：148-152,181