真空室

vUML:一个验证UML模型的工具。统一建模语言(UML)是描述面向对象软件设计的标准化符号。我们介绍了vUML,一个自动验证UML模型的工具,其中对象的行为是使用UML状态图描述的。该工具使用SPIN模型检查器执行验证,但用户不必知道如何使用SPIN或PROMELA语言。如果在验证过程中发现错误,该工具将创建一个UML序列图,显示如何在模型中重现错误。


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

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

  1. 考夫曼,佩特拉;克罗内格,马丁;安德烈亚斯,普芬德勒;塞德尔,玛蒂娜;Widl,Magdalena:行为多视图模型的图内和图间一致性检查(2015)
  2. 里贝罗,莱拉;多斯桑托斯,奥斯玛·马奇;多蒂,费尔南多·卢伊斯;《正确的转换:从基于对象的图语法到PROMELA》(2012)
  3. 张燕;唐、陶;李克平;梅拉,何塞·曼努埃尔;朱丽;赵林;徐天华:列控系统安全协议的形式化验证(2011)
  4. 伊戈尔·西弗罗尼;兹曼,安德里亚;George Spanoudakis:一个基于UML的静态安全验证框架(2010)ioport公司
  5. 拉菲,瓦希德;Rahmani,Adel T.:走向使用图转换系统和bogor的自动化软件模型检查(2009)
  6. 廉、洁新;胡兆霞;基于仿真的UML状态图分析:方法和案例研究。(2008年)ioport公司
  7. 马林斯,约翰;Oarga,Raveca:SOCLE中UML模型上扩展OCL约束的模型检查(2007)
  8. 巴雷西,卢西亚诺;海克尔,灵子;瑟恩,塞巴斯蒂安;Varró,Dániel:面向服务架构的基于样式的建模和精化a graph transformation based approach(2006)ioport公司
  9. 多蒂,费尔南多·卢伊斯;里贝罗,莱拉;多斯桑托斯,奥斯玛·马奇;Pasini,Fábio:验证基于对象的图语法(2006)ioport公司
  10. 洛尔,卡斯滕;Harrison,Michael D.:可靠交互系统分析的综合框架(IFADIS):工具支持与评估(2006)ioport公司
  11. 欧贝尔;格拉夫,苏珊娜;Ober,Ileana:通过仿真和验证验证验证定时UML模型(2006)ioport公司
  12. 巴尔迪尼,安德烈;本索,阿尔弗雷多;Prinetto,Paolo:end-production工业环境中UML规范的系统级功能测试(2005)ioport公司
  13. 巴尔迪尼,安德烈;本索,阿尔弗雷多;Prinetto,Paolo:end-production工业环境中UML规范的系统级功能测试(2005)ioport公司
  14. 萨弗雷,彼得;Calder,Muffy:优化模型检查的通信结构(2004)
  15. Varró,Dániel:通过模型检查自动验证可视化建模语言(2004)ioport公司
  16. 阿提奥贝,基督徒;波扎特,帕斯卡;Salaün,Gwen:状态图中形式数据类型的集成(2003)
  17. Porres,Ivan:模型操作工具包(2003)ioport公司
  18. Varró,Dániel:UML状态图的形式语义(2002)
  19. 王吉;董伟;齐志昌:UML状态图模型检验的分层自动机(2002)
  20. 巴雷西,卢西亚诺;Pezzè,Mauro:用Petri网改进UML(2001)