• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on model driven engineering languages and systems >Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
【24h】

Incremental Consistency Checking for Complex Design Rules and Larger Model Changes

机译：复杂设计规则和较大模型更改的增量一致性检查

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Advances in consistency checking in model-based software development made it possible to detect errors in real-time. However, existing approaches assume that changes come in small quantities and design rules are generally small in scope. Yet activities such as model transformation, re-factoring, model merging, or repairs may cause larger model changes and hence cause performance problems during consistency checking. The goal of this work is to increase the performance of re-validating design rules. This work proposes an automated and tool supported approach that re-validates the affected parts of a design rule only. It was empirical evaluated on 19 design rules and 30 small to large design models and the evaluation shows that the approach improves the computational cost of consistency checking with the gains increasing with the size and complexity of design rules.
机译：基于模型的软件开发中一致性检查的进步使得实时检测错误成为可能。但是，现有方法假定更改量很小，并且设计规则的范围通常很小。然而，诸如模型转换，重构，模型合并或修复之类的活动可能会导致更大的模型更改，从而在一致性检查期间导致性能问题。这项工作的目的是提高重新验证设计规则的性能。这项工作提出了一种自动化且受工具支持的方法，该方法仅重新验证设计规则的受影响部分。通过对19种设计规则和30种大小设计模型的经验评估，评估表明，该方法提高了一致性检查的计算成本，并且随着设计规则的规模和复杂性的增加，收益也随之增加。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号