托尔斯滕·阿伦特；阿内格丽特·哈贝尔；亨德里克·拉德克；加布里埃尔·坦泽尔 从核心OCL不变量到嵌套图约束。 （英语） Zbl 1423.68092号 Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8571, 97-112 (2014). 概要：元建模（包括对象约束语言（OCL）的使用）形成了一种设计特定领域建模语言的成熟方法。这种方法纯粹是声明性的，即不需要也不考虑实例构造。相反，图文法允许通过应用转换规则逐步构造实例。本文考虑具有核心OCL不变量的元模型，并将其转换为类型化属性图的嵌套图约束。模型和元模型被转换为实例和类型图。我们证明了一个模型满足一个核心OCL不变量，只要其对应的实例图满足相应的嵌套图约束。这项工作的目的是在元模型和图转换理论（包括约束）之间建立第一种形式化关系，以提出一种集成方法，用于在未来以最佳方式定义建模语言。关于整个系列，请参见[Zbl 1293.68023号]. 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2012年第68季度 语法和重写系统 关键词：元建模；OCL公司；图形约束；应用条件 软件：UML到CSP；合金 PDF格式BibTeX公司 XML格式引用 \文本{T.Arendt}等人，Lect。注释计算。科学。8571，97-112（2014；Zbl 1423.68092） 全文： 内政部