...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>RSTI >Maintaining Consistency between UML Models Using Description Logic
【24h】

Maintaining Consistency between UML Models Using Description Logic

机译：使用描述逻辑维护UML模型之间的一致性

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

摘要

La conception d'un logiciel est souvent modélisée comme un ensemble de diagrammes UML. Il est essentiel de préserver leur cohérence, parce que ces diagrammes sont sujets à de fréquentes modifications, dues aux évolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la cohérence entre différentes versions des diagrammes UML. Pour résoudre ce problème, une extension du meta modèle UML est développée, et une classification des conflits d'incohérence est proposée. La détection et la résolution de ces conflits est exprimée en utilisant des règles en logique de descriptions. En effectuant un certain nombre d'expériences, nous montrons la faisabilité du formalisme de logique de descriptions pour préserver la cohérence entre des modèles UML qui évoluent.%A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve their consistency, since these diagrams are subject to continuous changes due to successive refinements or evolutions. Contemporary UML tools provide unsatisfactory support for maintaining the consistency between different versions of UML diagrams. To solve this problem, an extension of the UML metamodel is developed, and a classification of inconsistency problems is proposed. Detection and resolution of consistency conflicts is expressed by means of rules in description logic. By carrying out a number of concrete experiments, we show the feasibility of the description logic formalism for the purpose of maintaining consistency between evolving UML models.
机译：软件设计通常被建模为一组UML图。保持它们的一致性非常重要，因为由于连续不断的发展，这些图经常修改。当代的UML工具没有提供足够的支持来维持不同版本的UML图之间的一致性。为了解决这个问题，开发了UML元模型的扩展，并提出了不一致冲突的分类。这些冲突的检测和解决使用描述逻辑中的规则表示。通过进行大量实验，我们证明了描述逻辑形式主义在保持不断发展的UML模型之间的一致性时的可行性。％软件设计通常被建模为UML图的集合。内在需要保持其一致性，因为由于连续的改进或演变，这些图可能会不断变化。当代的UML工具为维持不同版本的UML图之间的一致性提供了令人满意的支持。为了解决这个问题，开发了UML元模型的扩展，并提出了不一致性问题的分类。一致性冲突的检测和解决是通过描述逻辑中的规则表示的。通过进行大量的具体实验，我们证明了描述逻辑形式主义的可行性，以维持不断发展的UML模型之间的一致性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号