首页 | 本学科首页   官方微博 | 高级检索  
     

基于体系结构的模型转换语义描述框架
引用本文:侯金奎,王磊. 基于体系结构的模型转换语义描述框架[J]. 计算机科学, 2017, 44(4): 148-152, 181
作者姓名:侯金奎  王磊
作者单位:潍坊学院计算机工程学院 潍坊261061,潍坊学院计算机工程学院 潍坊261061;山东大学计算机科学与技术学院 济南250101
基金项目:本文受山东省科技发展计划项目(2011YD01042,1YD01043),山东省星火计划项目(2011XH06017),山东省高等学校优秀中青年骨干教师国际合作培养计划(2013)资助
摘    要:为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构。

关 键 词:计算机软件  模型驱动开发  模型转换  构件式软件  语义描述
收稿时间:2015-11-30
修稿时间:2016-03-01

Formal Framework of Architecture-based Model Transformation
HOU Jin-kui and WANG Lei. Formal Framework of Architecture-based Model Transformation[J]. Computer Science, 2017, 44(4): 148-152, 181
Authors:HOU Jin-kui and WANG Lei
Affiliation:School of Computer Engineering,Weifang University,Weifang 261061,China and School of Computer Engineering,Weifang University,Weifang 261061,China;School of Computer Science and Technology,Shandong University,Jinan 250101,China
Abstract:
Keywords:
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号