UML元模型图实例自动生成算法

Algorithm for generating instances from given UML meta-model

UML元模型建模与实例生成是软件自动生成技术的重要环节之一,相关理论和技术在领域建模语言DSL中得到广泛应用。元模型自动生成实例技术不仅可以降低软件开发难度和成本,还可以提高软件开发效率。在已有元模型实例生成图语法理论的基础上,提出相应的元模型图实例自动生成算法,证明了该算法与图语法的等价性。并且在可视化UML建模平台中实现了这一算法,得到了从UML元模型自动生成大量实例的预期结果。

Meta-modeling in UML is one of fatal parts of software generating. The relevant meory ana tecnnoiogy on recta-modeling have been applied in software generating regions such as DSL （Domain Specific Language）. An instance of recta-model graph expressed in UML is a model graph expressed still in UML, therefore it becomes a difficult and critical problem how to generate number of the instances of a given recta-model so that the effectiveness of the given recta-model can be tested. An algorithm for generating instances from a given UML meta-model is proposed based on graph grammar theory, and a proof is given that proves the equivalence between the algorithm proposed in this paper and the graph grammar. Furthermore, this instance generating algorithm is implemented in the visual software developing environment and the expected results of generating number of instances from the given meta-model are obtained.