论文部分内容阅读
元建模发生在模型驱动架构中的元元模型、元模型和模型层中，传统的元建模采用统一建模语言UML描述。但是实践证明，UML无法提供与对象有关的所有信息，缺少描述模型中关于对象的附加约束，而且无法描述不同模型之间的转换。针对传统元建模中的语义缺陷，特引入对象约束语言来提高元建模的精确性。文中阐述了如何结合UML和OCL应用于元模型，提高元建模语义完整性，加强元建模的可读性和可执行性，并且使用该方法能够检测出约束冲突。