ITP/OCL公司

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


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公司