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)伊波尔特