首页> 外文期刊>Science of Computer Programming >Translating essential OCL invariants to nested graph constraints for generating instances of meta-models
【24h】

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models

机译:将基本OCL不变量转换为嵌套图约束以生成元模型实例

获取原文
获取原文并翻译 | 示例

摘要

Domain-specific modeling languages (DSMLs) are usually defined by meta-modeling using the Object Constraint Language (OCL) for specifying invariants. This approach is purely declarative in the sense that instance construction is not supported. In contrast, grammar-based language definition incorporates the stepwise construction of instances by applying production rules. Since the underlying structure of models are generally graphs, graph grammars are well suited to define modeling languages. Establishing a formal relation between meta-modeling and graph grammars opens up the possibility to integrate techniques of both fields. This integration can be advantageously used for optimizing DSML definition. We follow an approach where a meta-model is translated to a type graph with a set of nested graph constraints. While previous meta-model translations neglected OCL constraints, we focus on the translation of Essential OCL invariants to nested graph constraints in this paper. We show that a model satisfies an Essential OCL invariant iff its corresponding instance graph satisfies the corresponding nested graph constraint. In addition, nested graph constraints can be translated to application conditions of graph transformation rules. Composing both translations, an instance-generating graph grammar can be equipped with application conditions such that it generates instances of the original meta-model only.
机译:领域特定的建模语言(DSML)通常是通过使用对象约束语言(OCL)用于指定不变量的元建模来定义的。在不支持实例构造的意义上,此方法是纯粹声明性的。相反,基于语法的语言定义通过应用生产规则结合了实例的逐步构造。由于模型的基本结构通常是图,因此图文法非常适合定义建模语言。在元建模和图文法之间建立形式关系,为整合这两个领域的技术提供了可能性。该集成可以有利地用于优化DSML定义。我们采用一种方法,其中将元模型转换为具有一组嵌套图约束的类型图。虽然先前的元模型转换忽略了OCL约束,但在本文中,我们着重于将基本OCL不变量转换为嵌套图约束。我们表明,如果模型的对应实例图满足相应的嵌套图约束,则它满足基本OCL不变式。另外,嵌套图约束可以转换为图变换规则的应用条件。合成这两种翻译后,实例生成图语法可以配备应用程序条件,以便它仅生成原始元模型的实例。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号