ITP/OCL公司

ITP/OCL:UML+OCL静态类图的基于重写的验证工具。在本文中，我们介绍了ITP/OCL工具，这是一个基于重写的工具，它支持UML类图相对于OCL约束的自动验证。它的实现直接基于UML+OCL类图的等式规范。它完全是用Maude编写的，充分利用了它的反射功能。我们还介绍了visualitp/OCL，这是一个Java图形界面，可以用作ITP/OCL工具的前端。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 7篇文章 参考）

显示结果1到7，共7个。
按年份排序(引用)

  1. Almendros Jiménez，Jesús M.；Iribarne，Luis；López Fernández，Jesús；Mora Segura，Ángel:PTL:基于逻辑编程的模型转换语言（2016）
  2. 弗朗西斯科杜兰；曼努埃尔·罗尔丹；安东尼奥·莫雷诺；阿尔瓦雷斯、何塞·马利亚：UML模型的maude原型的动态验证（2014）ioport公司
  3. Rocha，Camilo；Meseguer，José：使用Maude不变分析器工具对交替比特协议中可靠通信的机械分析（2014）
  4. Meseguer，José；Roşu，Grigore:重写逻辑语义项目：进度报告（2013）
  5. JoséMeseguer：《重写逻辑的二十年》（2012）
  6. Meseguer，José；Roşu，Grigore:重写逻辑语义项目：进度报告（2011）
  7. Clavel，Manuel；Egea，Marina:ITP/OCL:UML+OCL静态类图的基于重写的验证工具（2006）ioport公司