• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Exploiting practical limitations of UML diagrams for model validation and execution
【24h】

Exploiting practical limitations of UML diagrams for model validation and execution

机译：利用UML图的实际限制进行模型验证和执行

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

摘要

We suggest a framework for UML diagram validation and execution that takes advantage of some of the practical restrictions induced by diagrammatic representations (as compared to Turing equivalent programming languages) by exploiting possible gains in decidability. In particular, within our framework we can prove that an object interaction comes to an end, or that one action is always performed before another. Even more appealingly, we can compute efficiently whether two models are equivalent (aiding in the redesign or refactoring of a model), and what the differences between two models are. The framework employs a simple modelling object language (called MOL) for which we present formal syntax and semantics. A first generation of tools has been implemented that allows us to collect experience with our approach, guiding its further development.
机译：我们建议一个用于UML图验证和执行的框架，该框架利用可图形性带来的好处，从而利用图形表示所引起的一些实际限制（与Turing等效编程语言相比）。特别是，在我们的框架内，我们可以证明对象交互已结束，或者一个动作总是先于另一个动作执行。更具吸引力的是，我们可以高效地计算两个模型是否等效（帮助模型的重新设计或重构），以及两个模型之间的区别是什么。该框架采用了一种简单的建模对象语言（称为MOL），我们为其提供了形式语法和语义。已经实施了第一代工具，使我们可以收集我们的方法的经验，指导其进一步发展。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号