节点文献

一种基于图转换的模型重构描述语言

Graph Transformation Based Description Language for Model Refactorings

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

【作者】 刘辉麻志毅邵维忠

【Author】 LIU Hui1,2,3+, MA Zhi-Yi2,3, SHAO Wei-Zhong2,3 1(School of Computer Science and Technology, Beijing Institute of Technology, Beijing 100081, China) 2(Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China) 3(Key Laboratory of High Confidence Software Technologies for the Ministry of Education, Beijing 100871, China)

【机构】 北京理工大学计算机学院北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室

【摘要】 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.

【Abstract】 This paper proposes a graph transformation based description language of model refactoring (GraTDeLMoR) to formalize model refactorings. It designs basic elements of the language according to the features of model refactorings, and proposes approaches to describe model refactorings with these basic elements. It also proposes steps of the application of refactorings formalized with the proposed language, and provides corresponding CASE support. The paper discusses the descriptive ability of the description language with some typical examples, and results suggest that the proposed language is expressive in formalizing model refactorings.

【关键词】 重构模型图转换描述语言
【Key words】 refactoringmodelgraph transformationdescription language
【基金】 国家自然科学基金No.60773152;国家高技术研究发展计划(863)Nos.2007AA010301-01,2007AA01Z127;国家重点基础研究发展计划(973)No.2005CB321805;国家科技支撑计划No.2006BAH02A02;高可信软件技术教育部重点实验室开放研究基金No.HCST200802~~
  • 【文献出处】 软件学报 ,Journal of Software , 编辑部邮箱 ,2009年08期
  • 【分类号】TP311.52
  • 【被引频次】17
  • 【下载频次】320
节点文献中: 

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

本文的引文网络