• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >Vision Paper: Make a Difference! (Semantically)
【24h】

Vision Paper: Make a Difference! (Semantically)

机译：愿景文件：有所作为！ （语义上）

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

摘要

Syntactic difference between models is a wide research area with applications in tools for model evolution, model synchronization and version control. On the other hand, semantic difference between models is rarely discussed. We point out to main use cases of semantic difference between models, and then propose a framework for defining well-formed difference operators on model semantics as adjoints of model combinators such as conjunction, disjunction and structural composition. The framework is defined by properties other then constructively. We instantiate the framework for two rather different modeling languages: feature models and automata specifications. We believe that the algebraic theory of semantic difference will allow to define practical model differencing tools in the future.
机译：模型之间的语法差异是一个广泛的研究领域，其在模型演化，模型同步和版本控制工具中的应用。另一方面，很少讨论模型之间的语义差异。我们指出了模型之间语义差异的主要用例，然后提出了一个框架，用于定义模型语义上格式良好的差异算子，作为模型组合器的结合，例如合取，析取和结构组成。框架由其他属性定义，然后进行构造性定义。我们为两种相当不同的建模语言实例化了框架：要素模型和自动机规范。我们相信语义差异的代数理论将允许将来定义实用的模型差异工具。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号