• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >A framework for relating syntactic and semantic model differences
【24h】

A framework for relating syntactic and semantic model differences

机译：关联句法和语义模型差异的框架

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

摘要

Model differencing is an important activity in model-based development processes. Differences need to be detected, analyzed, and understood to evolve systems and explore alternatives. Two distinct approaches have been studied in the literature: syntactic differencing, which compares the concrete or abstract syntax of models, and semantic differencing, which compares models in terms of their meaning. Syntactic differencing identifies change operations that transform the syntactical representation of one model to the syntactical representation of the other. However, it does not explain their impact on the meaning of the model. Semantic model differencing is independent of syntactic changes and presents differences as elements in the semantics of one model but not the other. However, it does not reveal the syntactic changes causing these semantic differences. We define Diffuse, a language-independent, abstract framework, which relates syntactic change operations and semantic difference witnesses. We formalize fundamental relations of necessary, exhibiting, and sufficient sets of change operations and analyze their properties. We further demonstrate concrete instances of the Diffuse framework for three different popular modeling languages, namely class diagrams, activity diagrams, and feature models. The Diffuse framework provides a novel foundation for combining syntactic and semantic differencing.
机译：模型差异是基于模型的开发过程中的重要活动。需要检测，分析和理解差异，以发展系统并探索替代方案。文献中已经研究了两种不同的方法：句法差异，它比较模型的具体语法或抽象语法；语义差异，它根据模型的含义比较模型。句法差异标识将一种模型的句法表示转换为另一种模型的句法表示的更改操作。但是，它没有解释它们对模型含义的影响。语义模型差异与语法变化无关，并且将差异表示为一种模型的语义中的要素，而不是另一种。但是，它没有揭示导致这些语义差异的语法变化。我们定义了Diffuse，这是一种独立于语言的抽象框架，它与语法更改操作和语义差异见证相关联。我们将必要，展示和足够的变更操作集之间的基本关系形式化，并分析其属性。我们还将针对三种不同的流行建模语言（即类图，活动图和特征模型）演示Diffuse框架的具体实例。扩散框架为组合语法和语义差异提供了新颖的基础。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号