检查VML

CheckVML:用于模型检查的工具可视化建模语言。在本文中,我们提供了一个工具来检查模型的动态一致性,这些模型是由元建模和图转换技术可视化定义的任何建模语言的。我们的工具首先将这些高级规范转换为由相应的元模型定义的转换系统的独立于工具的抽象表示。从这个中间表示,后端模型检查器工具的输入语言(即,在我们的例子中,SPIN)是自动生成的。


zbMATH参考文献(参考 11篇文章

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

  1. 伦辛克,阿伦德:图转换的边缘——行为规范图(2010)
  2. Kuske,Sabine;Gogolla,Martin;Kreowski,Hans-Jörg;Ziemann,Paul:《面向UML的集成图语义》(2009)ioport公司
  3. Rafe,Vahid;Rahmani,Adel T.:走向使用图转换系统和bogor的自动化软件模型检查(2009)
  4. Baresi,Luciano;Rafe,Vahid;Rahmani,Adel T.;Spoletini,Paola:模型检查图转换系统的有效解决方案(2008)ioport公司
  5. Ermel,Claudia;Ehrig,Hartmut:动画模型和规则转换的行为保持模拟(2008)
  6. Narayanan,Anantha;Karsai,Gabor:走向验证模型转换(2008)
  7. Rafe,Vahid;Rahmani,Adel T.:使用UML2.0活动和图形转换系统对工作流的形式化分析(2008)
  8. Jürjens,Jan;Shabalin,Pasha:用UML进行安全系统开发的工具(2007)ioport公司
  9. Baresi,Luciano;Spoletini,Paola:关于使用合金分析图形转换系统(2006)
  10. Rensink,Arend;Schmidt,Ákos;VarróDániel:模型检查图转换:两种方法的比较(2004)
  11. Varró,Dániel:通过模型检查自动验证可视化建模语言(2004)ioport公司