节点文献

语义可配置的模型转换

Semantics-Configurable Model Transformation

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 何啸麻志毅王瑞超邵维忠

【Author】 HE Xiao1,2,4,MA Zhi-Yi3,4,WANG Rui-Chao3,4,SHAO Wei-Zhong3,4 1(School of Computer and Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China) 2(Beijing Key Laboratory of Knowledge Engineering for Materials Science,Beijing 100083,China) 3(Institute of Software,School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China) 4(Key Laboratory of High Confidence Software Technologies,Ministry of Education(Peking University),Beijing 100871,China)

【机构】 北京科技大学计算机与通信工程学院材料领域知识工程北京市重点实验室高可信软件技术教育部重点实验室(北京大学)北京大学信息科学技术学院软件研究所

【摘要】 模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术,通过重新定义转换语言的语义,允许开发人员使用一种转换语言解决不同的转换问题.首先,总结出一组常见的转换原语;然后,利用一种基于OCL的脚本语言TSS来描述转换语言的语义;最后,对该方法的完全性、表达能力和复杂度进行了讨论,并通过一组案例对该方法进行了验证.

【Abstract】 Model transformation is a vital technique of MDA.In a complex model-driven development process,it is most likely capapble of employing multiple transformation languages,along with their corresponding tools,to develop a set of model transformations.This increases the learning costs,and also leads to some compatibility problems.The paper proposes a technique of semantics-configurable model transformation,which enables developers to solve different problems using one transformation language,by redefining the semantics of the language.First,a set of common primitive actions are proposed.Then,TSS,an OCL-based scripting language,is employed to specify the logic of a primitive action.Finally,the paper discusses the completeness,expressiveness,and complexity of this approach,and evaluates the approach with some case studies.

【基金】 国家自然科学基金(61272159);国家重点基础研究发展计划(973)(2011CB302604);国家科技支撑计划(2011BAK08B04);北京市自然科学基金(4122036);材料领域知识工程北京市重点实验室2012年度阶梯计划(Z121101002812005)
  • 【文献出处】 软件学报 ,Journal of Software , 编辑部邮箱 ,2013年07期
  • 【分类号】TP391.1
  • 【被引频次】10
  • 【下载频次】200
节点文献中: 

本文链接的文献网络图示:

本文的引文网络