• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Clafer: unifying class and feature modeling
【24h】

Clafer: unifying class and feature modeling

机译：Clafer：统一类和要素建模

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates). Clafer allows arranging models into multiple specialization and extension layers via constraints and inheritance. We identify several key mechanisms allowing a meta-modeling language to express feature models concisely. Clafer unifies basic modeling constructs, such as class, association, and property, into a single construct, called clafer. We provide the language with a formal semantics built in a structurally explicit way. The resulting semantics explains the meaning of hierarchical models whereby properties can be arbitrarily nested in the presence of inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support for the language: To date, we implemented three reasoners for Clafer based on Alloy, Z3 SMT, and Choco3 CSP solvers. We show that Clafer meets its design objectives using examples and by comparing to other languages.
机译：我们介绍Clafer（类，特征，参考），这是一种具有对特征建模的一流支持的类建模语言。我们将Clafer设计为对元模型，要素模型，元模型和要素模型的混合（例如带有选项的组件）以及通过约束将要素模型和元模型耦合的模型（例如将要素配置映射到组件）的简明表示法配置或模型模板）。 Clafer允许通过约束和继承将模型安排到多个专业化和扩展层中。我们确定了几种允许元建模语言简洁表达特征模型的关键机制。 Clafer将基本的建模构造（例如类，关联和属性）统一为一个名为clafer的构造。我们为该语言提供以结构明确的方式构建的形式语义。由此产生的语义解释了层次模型的含义，由此可以在存在继承和特征建模构造的情况下任意嵌套属性。语义还支持构建对语言的一致的自动推理支持：到目前为止，我们基于Alloy，Z3 SMT和Choco3 CSP求解器为Clafer实现了三个推理器。我们通过使用示例并与其他语言进行比较来证明Clafer达到了其设计目标。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号