Abstract: Providing variability supports for models is very important for model-driven software development practices. Variability modelling facilities capturing the commonness and difference among domain concepts and their features. Variability modelling provides an approach of reusing models for building a family of application models. After studying the variability mechanism of feature modelling and the deficiency of variability descriptions in MDA standard modelling languages, a variability metamodelling method is proposed. In the method, a UML profile for variability is built to support several kinds of variability, such as atom and group variability, etc. The Algorithms for variability verification and model transformation are developed. Being used in a real project, the method provides effective supports for reusing model contents based on variability modelling.

Key words: Variability Modelling, Metamodelling, Feature Modelling, MDA

摘要： 为模型提供可变性支持对于模型驱动软件开发的实践具有重要意义。可变性建模有利于捕捉领域概念及其特征的共性和差异性，为构造应用模型簇提供了一种模型复用的途径。在研究特征建模的可变性机制和MDA标准建模语言对可变性表示不足的基础上，提出一种可变性元建模方法，构造可变性概要以支持原子、成组等可变性描述，开发了可变性验证和模型转换算法。通过实际项目的验证，该方法为基于可变性建模的模型内容复用提供了有效支持。

关键词: 可变性建模, 元建模, 特征建模, 模型驱动构架