###
DOI:
:2009.20(8):2087-2101

一种基于图转换的模型重构描述语言
刘辉,麻志毅,邵维忠
(北京理工大学 计算机学院,北京 100081 北京大学 信息科学技术学院 软件研究所,北京 100871 高可信软件技术教育部重点实验室,北京 100871)
Graph Transformation Based Description Language for Model Refactorings
LIU Hui,MA Zhi-Yi,SHAO Wei-Zhong
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4243   Download 4542
Received:April 02, 2008    Revised:October 07, 2008
> 中文摘要: 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构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.
文章编号:     中图分类号:    文献标志码:
基金项目:the National Natural Science Foundation of China under Grant No.60773152 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301-01, 2007AA01Z127 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAH02A02 (国家科技支撑计划); the Key Laboratory of High Confidence Software Technologies for the Ministry of Education of China under Grant No.HCST200802 (高可信软件技术教育部重点实验室开放研究基金) the National Natural Science Foundation of China under Grant No.60773152 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301-01, 2007AA01Z127 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAH02A02 (国家科技支撑计划); the Key Laboratory of High Confidence Software Technologies for the Ministry of Education of China under Grant No.HCST200802 (高可信软件技术教育部重点实验室开放研究基金)
Foundation items:
Reference text:

刘辉,麻志毅,邵维忠.一种基于图转换的模型重构描述语言.软件学报,2009,20(8):2087-2101

LIU Hui,MA Zhi-Yi,SHAO Wei-Zhong.Graph Transformation Based Description Language for Model Refactorings.Journal of Software,2009,20(8):2087-2101