基于体系结构的模型转换语义描述框架
为解决模型驱动开发中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上引入进程代数,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制.应用研究表明,该框架很好地遵循了模型驱动开发的理念实质和过程要求,为基于模型转换的软件开发研究提供了新的理解、认知学习和推进的指导架构.
计算机软件 模型驱动开发 模型转换 语义描述
侯金奎 王磊
潍坊学院计算机工程学院,山东潍坊261061 潍坊学院计算机工程学院,山东潍坊261061;山东大学计算机科学与技术学院,山东济南250101
国内会议
武汉
中文
1-10
2015-11-06（万方平台首次上网日期，不代表论文的发表时间）