计算机研究与发展ＤＯＩ：１０．７５４４/ｉｓｓｎ１０００‐１２３９．２０１５．２０１４８１８７ＪｏｕｒｎａｌｏｆＣｏｍｐｕｔｅｒＲｅｓｅａｒｃｈａｎｄＤｅｖｅｌｏｐｍｅｎｔ５２（９）：２１４５２１６２，２０１５ 收稿日期：２０１４－０３－０７；修回日期：２０１４－１２－１６
基金项目：国家“九七三”重点基础研究发展计划基金项目（２０１３ＣＢ３２９６０１）；国家自然科学基金项目（６１３００００９，６１２７２１５９）；中国博士后科学
基金项目（２０１３Ｍ５４００５０）；中央高校基本科研业务费专项资金资助项目（ＦＲＦ‐ＴＰ‐１４‐０４０Ａ２）一种针对模型转换的图形化建模语言
何 啸
１，２ 麻志毅２ 邵维忠２ 胡长军１１
（北京科技大学计算机与通信工程学院 北京 １０００８３）２（高可信软件技术教育部重点实验室（北京大学） 北京 １００８７１）
（ｈｅｘｉａｏ＠ｕｓｔｂ．ｅｄｕ．ｃｎ）
ＡＧｒａｐｈｉｃａｌＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅｆｏｒＭｏｄｅｌＴｒａｎｓｆｏｒｍａｔｉｏｎｓ
ＨｅＸｉａｏ１，２，ＭａＺｈｉｙｉ２，ＳｈａｏＷｅｉｚｈｏｎｇ２，ａｎｄＨｕＣｈａｎｇｊｕｎ１１
（ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒａｎｄＣｏｍｍｕｎｉｃａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙＢｅｉｊｉｎｇ，Ｂｅｉｊｉｎｇ１０００８３）２（ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＨｉｇｈＣｏｎｆｉｄｅｎｃｅＳｏｆｔｗａｒｅＴｅｃｈｎｏｌｏｇｉｅｓ（ＰｅｋｉｎｇＵｎｉｖｅｒｓｉｔｙ），ＭｉｎｉｓｔｒｙｏｆＥｄｕｃａｔｉｏｎ，Ｂｅｉｊｉｎｇ１００８７１）
Ａｂｓｔｒａｃｔ Ｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎｓ，ｔｈｅｃｏｒｅｏｐｅｒａｔｉｏｎｓｗｉｔｈｉｎｍｏｄｅｌ‐ｄｒｉｖｅｎｄｅｖｅｌｏｐｍｅｎｔ，ａｒｅｕｓｕａｌｌｙｒｅａｌｉｚｅｄａｓｓｐｅｃｉａｌｋｉｎｄｓｏｆｐｒｏｇｒａｍｓ．Ｔｈｅｙｃａｎｂｅｕｓｅｄｔｏａｃｈｉｅｖｅｄｉｖｅｒｓｅｃｏｎｖｅｒｓｉｏｎｓａｍｏｎｇｍｏｄｅｌｓ，ｃｏｄｅｓ，ａｎｄｅｖｅｎｓｔｒｕｃｔｕｒａｌｄｏｃｕｍｅｎｔｓ．Ｗｉｔｈｔｈｅｒａｐｉｄｐｒｏｇｒｅｓｓｉｎｍｏｄｅｌ‐ｄｒｉｖｅｎｍｅｔｈｏｄｏｌｏｇｙ，ｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎｓａｒｅｂｅｉｎｇａｐｐｌｉｅｄｔｏｍｏｒｅａｎｄｍｏｒｅｃｏｍｐｌｉｃａｔｅｄｐｒｏｂｌｅｍｓｉｎｉｎｄｕｓｔｒｉａｌｐｒｏｊｅｃｔｓ．Ａｓａｒｅｓｕｌｔ，ｔｈｅｙｂｅｃｏｍｅｌａｒｇｅｉｎｓｃａｌｅａｎｄｈａｖｅｃｏｍｐｌｅｘｓｔｒｕｃｔｕｒｅｓ．Ｔｏｈａｎｄｌｅｔｈｅｄｅｖｅｌｏｐｍｅｎｔｃｏｍｐｌｅｘｉｔｙｏｆｌａｒｇｅｔｒａｎｓｆｏｒｍａｔｉｏｎ，ａｇｒａｐｈｉｃａｌｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅｔｈａｔｃａｎｓｅｒｖｅａｓａｕｓｅｒ‐ｆｒｉｅｎｄｌｙｎｏｔａｔｉｏｎｆｏｒａｎａｌｙｚｉｎｇａｎｄｄｅｓｉｇｎｉｎｇｔｒａｎｓｆｏｒｍａｔｉｏｎｓｉｓｒｅｑｕｉｒｅｄ．ＴｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓＶｉｓＴＭＬ（ｔｈｅｖｉｓｕａｌｔｒａｎｓｆｏｒｍａｔｉｏｎｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ），ａｖｉｓｕａｌｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅｆｏｒｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎｐｒｏｇｒａｍｓ．ＶｉｓＴＭＬｉｓｃｏｍｐｒｉｓｅｄｂｙｓｅｖｅｎｄｉａｇｒａｍｓ，ｉｎｃｌｕｄｉｎｇｇｏａｌｄｉａｇｒａｍ，ｔｒａｎｓｆｏｒｍａｔｉｏｎｄｅｃｌａｒａｔｉｏｎｄｉａｇｒａｍ，ｍｏｄｅｌｔｙｐｅｄｉａｇｒａｍ，ｒｕｌｅｄｉａｇｒａｍ，ｃｏｍｐｏｓｉｔｅｔｒａｎｓｆｏｒｍａｔｉｏｎｄｉａｇｒａｍ，ｔｅｓｔｉｎｇｄｉａｇｒａｍ，ａｎｄｃｏｎｆｉｇｕｒａｔｉｏｎｄｉａｇｒａｍ，ｅａｃｈｏｆｗｈｉｃｈｉｎｃｌｕｄｅｓａｓｅｔｏｆｃｏｎｃｅｐｔｓｄｅｒｉｖｅｄｆｒｏｍｃｏｎｃｒｅｔｅｔｒａｎｓｆｏｒｍａｔｉｏｎｔｅｃｈｎｏｌｏｇｉｅｓ．ＶｉｓＴＭＬｉｓａｂｌｅｔｏｃｏｖｅｒａｌｌｔｈｅｍａｊｏｒｐｈａｓｅｓｗｈｅｎａｔｒａｎｓｆｏｒｍａｔｉｏｎｉｓｂｅｉｎｇｄｅｖｅｌｏｐｅｄ．Ｉｔｓｕｐｐｏｒｔｓｄｅｖｅｌｏｐｅｒｓｔｏｄｅｓｃｒｉｂｅａｔｒａｎｓｆｏｒｍａｔｉｏｎｆｒｏｍｖａｒｉｏｕｓｖｉｅｗｐｏｉｎｔｓａｔｄｉｆｆｅｒｅｎｔａｂｓｔｒａｃｔｉｏｎｌｅｖｅｌ．ＭｏｄｅｌｉｎｇａｔｒａｎｓｆｏｒｍａｔｉｏｎｕｓｉｎｇＶｉｓＴＭＬｃａｎｈｅｌｐｄｅｖｅｌｏｐｅｒｓｃｏｎｔｒｏｌｔｈｅｃｏｍｐｌｅｘｉｔｙａｎｄｆａｃｉｌｉｔａｔｅｔｈｅｉｒｃｏｍｍｕｎｉｃａｔｉｏｎ．Ｔｈｅｎ，ｔｈｅｔｏｏｌｓｕｐｐｏｒｔｏｆＶｉｓＴＭＬｎａｍｅｄＴＭｏｄｅｌｅｒｉｓａｌｓｏｐｒｅｓｅｎｔｅｄ．Ａｔｌａｓｔ，ｔｈｒｅｅｃａｓｅｓｔｕｄｉｅｓａｒｅｐｒｅｓｅｎｔｅｄｔｏｄｅｍｏｎｓｔｒａｔｅｔｈｅｆｅａｓｉｂｉｌｉｔｙａｎｄｔｈｅｅｆｆｅｃｔｉｖｅｎｅｓｓｏｆＶｉｓＴＭＬ．
Ｋｅｙｗｏｒｄｓ ｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎ；ｔｒａｎｓｆｏｒｍａｔｉｏｎｍｏｄｅｌ；ｖｉｓｕａｌｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ；ｄｅｖｅｌｏｐｍｅｎｔｐｒｏｃｅｓｓｏｆｍｏｄｅｌｔｒａｎｓｆｏｒｍａｔｉｏｎ；ｍｏｄｅｌ‐ｄｒｉｖｅｎｄｅｖｅｌｏｐｍｅｎｔ摘 要 模型转换是模型驱动开发的核心操作，它通常被实现成一种特殊的程序．模型转换可以实现不同模型、模型和代码，以及模型和各种结构化文档之间的转换．随着模型驱动方法的发展，模型转换正在被运用到越来越复杂的问题上，从而导致越来越庞大的规模和越来越复杂的程序结构．为了更好地控制转换开发过程中的复杂性，需要一种图形化的建模语言，支持对转换程序的分析和设计．提出一种针对模型转换程序的可视化建模语言ＶｉｓＴＭＬ（ｔｈｅｖｉｓｕａｌｔｒａｎｓｆｏｒｍａｔｉｏｎｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ）．它包含７种不同的视图，每个视图都包含一组建模概念．这些概念覆盖了整个转换程序开发过程中（从需求到部署