一种提高元建模语义完整性的方法  

New Approach to Improve Semantics Integrity of Metamodeling

作　　者：刘俊莉[1] 

机构地区：[1]华南师范大学南海校区计算机工程系,广东佛山528225

出　　处：《计算机技术与发展》2009年第12期40-43,共4页Computer Technology and Development

基　　金：2008年度广东省自然科学基金(8151063101000040)

摘　　要：元建模发生在模型驱动架构中的元元模型、元模型和模型层中,传统的元建模采用统一建模语言UML描述。但是实践证明,UML无法提供与对象有关的所有信息,缺少描述模型中关于对象的附加约束,而且无法描述不同模型之间的转换。针对传统元建模中的语义缺陷,特引入对象约束语言来提高元建模的精确性。文中阐述了如何结合UML和OCL应用于元模型,提高元建模语义完整性,加强元建模的可读性和可执行性,并且使用该方法能够检测出约束冲突。Metamodeling is executed in the metametarnodet,metamodel and model layer of model drivven architecture. And unified modeling language is used to describe traditional of metamodeling. However, a UML diagram is typically not refined enough to provide all the relevant aspects of a specification, and a need to describe additional constraints about the objects in the model . And a UML diagram is typically not refined enough to express the convert of different model too. In order to improve semanties integrity, object constraint language is introduced. States how to combine UML with OCL to improve semantics integrity and to improve the readable and the executive of metamodeling,and the use of the method can detect the conflict constraints.

关 键 词：元建模 模型驱动架构 统一建模语言 对象约束语言 语义完整性 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]