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

摘要：

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

关键词：重构、模型、图转换、描述语言

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：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

在线出版日期：2009-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：2087-2101