模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一般设计意图层次上的大粒度模型转换提供了有效支持.