ITP/OCL

ITP/OCL：用于UML+OCL静态类图的基于重写的验证工具。在本文中，我们提出了ITP/OCL工具，一个重写为基础的工具，支持自动验证UML类图相对于OCL约束。它的实现直接基于UML+OCL类图的等式规范。它完全是在Maude写的，充分利用了它的反射能力。我们也给出了视觉ITP/OCL的通知，这是一个Java图形界面，可以作为ITP/OCL工具的前端使用。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（7篇文章中引用）

显示结果1至7的7。
按年份排序（引文）

  1. 阿尔门德罗斯-吉姆·奈兹，Jes’s M.IrBar，路易斯；L Pez Frn，NeDEZ，Jes S；Mora Segura，NGel:PTL：一种基于逻辑程序设计的模型转换语言（2016）
  2. 杜拉恩，弗朗西斯科；Rold，曼努埃尔；莫雷诺，安东尼奥；LavaRz，JeaseMaia: UML模型的Mod原型的动态验证（2014）伊波尔特
  3. 罗查，CAMILO；MeeGuer-Joe:使用Maod不变分析器工具对交替比特协议中可靠通信的力学分析（2014）
  4. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2013）
  5. 梅塞格，乔斯：重写逻辑的二十年（2012）
  6. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2011）
  7. 克拉维尔，曼努埃尔；EGEA，MARINA：ITP/OCL：基于UML+OCL静态类图的基于重写的验证工具（2006）伊波尔特