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

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (20): 91-97.

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

常珊珊1，2，3，朱嘉钢1，2，3，邓跃设3

1.物联网应用技术教育部工程研究中心，江苏无锡 214122
2.江南大学物联网工程学院，江苏无锡 214122
3.江苏晓山信息产业股份有限公司，江苏无锡 214122

出版日期:2012-07-11 发布日期:2012-07-10

Algorithm for generating instances from given UML meta-model

CHANG Shanshan1，2，3, ZHU Jiagang1，2，3, DENG Yueshe3

1.Engineering Research Center of Internet of Things Technology Applications, MoE, Wuxi, Jiangsu 214122, China
2.School of IOT Engineering，Jiangnan University, Wuxi, Jiangsu 214122, China
3.Jiangsu Xiaoshan Information Industry Co., Ltd, Wuxi, Jiangsu 214122, China

Online:2012-07-11 Published:2012-07-10

摘要/Abstract

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

关键词: 元模型建模, 图语法, 实例生成, 统一建模语言

Abstract: Meta-modeling in UML is one of fatal parts of software generating. The relevant theory and technology on meta-modeling have been applied in software generating regions such as DSL（Domain Specific Language）. An instance of meta-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 meta-model so that the effectiveness of the given meta-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.

Key words: meta-modeling, graph grammar, instance generating, Unified Modeling Language（UML）

常珊珊1，2，3，朱嘉钢1，2，3，邓跃设3. UML元模型图实例自动生成算法[J]. 计算机工程与应用, 2012, 48(20): 91-97.

CHANG Shanshan1，2，3, ZHU Jiagang1，2，3, DENG Yueshe3. Algorithm for generating instances from given UML meta-model[J]. Computer Engineering and Applications, 2012, 48(20): 91-97.

[1]	袁际军1，黄敏镁2. 基于UML与CCSP的产品配置方法[J]. 计算机工程与应用, 2013, 49(14): 1-9.
[2]	齐玉东1，闫晓斌2，谢晓方1. 基于LISA理论的概念模型相似度计算[J]. 计算机工程与应用, 2012, 48(3): 40-42.
[3]	赵斐1，韩旭2，乔非2，许维胜2，吴启迪1. 面向钢铁企业能源流程的逐步形式化建模方法[J]. 计算机工程与应用, 2011, 47(14): 242-245.
[4]	戎玫. 一种基于场景的嵌入式软件设计方法[J]. 计算机工程与应用, 2010, 46(9): 62-64.
[5]	马苏拉，朱盛. 搜索引擎系统：UML/OCL模型驱动开发[J]. 计算机工程与应用, 2010, 46(22): 54-61.
[6]	周景才，杨家红，陈毅波. 模型驱动的自动化测试架构[J]. 计算机工程与应用, 2010, 46(2): 66-68.
[7]	秦振，张维明，邓苏，刘青宝. 基于扩展UML的作战信息需求描述方法研究[J]. 计算机工程与应用, 2010, 46(16): 16-19.
[8]	孙晓鹏，冯俊杰，邵英安，李翠芳. UML在游戏系统分析与设计中的应用[J]. 计算机工程与应用, 2010, 46(13): 70-72.
[9]	张浩华^1,2,赵海¹,赵明¹. 大型水电仿真系统的模型驱动架构设计[J]. 计算机工程与应用, 2009, 45(4): 72-75.
[10]	许应成，王理，夏国平，王廷梁. 土石方开挖数学模型和仿真系统的设计与研究[J]. 计算机工程与应用, 2009, 45(30): 214-219.
[11]	陆公正¹，吴澜波₂，张广泉³. 定义及验证UML Statechart图中的数据流语义[J]. 计算机工程与应用, 2009, 45(24): 56-59.
[12]	林苗^1,3,戎玫⁴,张广泉^1,2. 基于构件的嵌入式实时软件组合时间分析研究[J]. 计算机工程与应用, 2009, 45(11): 69-73.
[13]	高世乐,丁克诠. 含假结RNA二级结构类的图语法[J]. 计算机工程与应用, 2008, 44(2): 23-25.
[14]	张崇明^1,2，汪春梅¹，周毅¹，叶宏¹. 一种面向对象的PLC程序设计方法[J]. 计算机工程与应用, 2007, 43(21): 106-107.