| 本文已被：浏览 6459次 下载 8621次 |
码上扫一扫！ |
|
|
| 一种基于图转换的模型重构描述语言 |
|
刘辉1, 麻志毅2, 邵维忠2
|
|
1.北京理工大学 计算机学院,北京 100081
北京大学 信息科学技术学院 软件研究所,北京 100871
高可信软件技术教育部重点实验室,北京 100871;2.北京大学 信息科学技术学院 软件研究所,北京 100871
高可信软件技术教育部重点实验室,北京 100871
|
|
| 摘要: |
| 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则. |
| 关键词: 重构 模型 图转换 描述语言 |
| DOI： |
| 分类号: |
| 基金项目: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 (高可信软件技术教育部重点实验室开放研究基金) |
|
| Graph Transformation Based Description Language for Model Refactorings |
|
LIU Hui,MA Zhi-Yi,SHAO Wei-Zhong
|
| 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: refactoring model graph transformation description language |
