检查VML

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


zbMATH中的参考文献(参考文献11条)

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

  1. 伦辛克,阿伦德:图转换的边缘——行为规范图(2010)
  2. 库斯克,萨宾;戈戈拉,马丁;克洛夫斯基,汉斯-Jörg;Ziemann,Paul:《面向UML的集成图语义》(2009)ioport公司
  3. 拉菲,瓦希德;Rahmani,Adel T.:走向使用图转换系统和bogor的自动化软件模型检查(2009)
  4. 巴雷西,卢西亚诺;拉菲,瓦希德;拉赫马尼,阿德尔T。;Spoletini,Paola:一个有效的模型检查图转换系统的解决方案(2008)ioport公司
  5. 埃米尔,克劳迪娅;Ehrig,Hartmut:行为保持模拟到动画模型和规则转换(2008)
  6. 纳拉亚南,阿南莎;卡赛,加博:验证模型转换(2008)
  7. 拉菲,瓦希德;Rahmani,Adel T.:使用UML2.0活动和图形转换系统对工作流的形式化分析(2008)
  8. Jürjens,一月;Shabalin,Pasha:UML安全系统开发工具(2007)ioport公司
  9. 巴雷西,卢西亚诺;Spoletini,Paola:关于使用合金分析图形转换系统(2006)
  10. 伦辛克,阿伦德;施密特,Ákos;Varró,Dániel:模型检查图转换:两种方法的比较(2004)
  11. Varró,Dániel:通过模型检查自动验证可视化建模语言(2004)ioport公司