阿斯梅塔斯姆夫

AsmetaSMV:一种将高级ASM模型与低级NuSMV规范相关联的方法。本文介绍了一个抽象状态机模型检查器AsmetaSMV。它的开发目的是丰富ASMETA(ASM元建模)工具集(ASM元建模工具集),使其具有模型检查器NuSMV的功能,以验证用AsmetaL语言编写的ASM模型的属性。我们描述了AsmetaSMV的总体结构以及自动将ASM模型映射到NuSMV程序的过程。作为概念的证明,我们报告了使用AsmetaSMV验证不同特征和复杂度的各种案例研究的时间特性的结果。


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

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

  1. 阿尔卡尼,保罗;霍洛姆,罗克莎娜·玛丽亚;Riccobene,Elvinia:基于ASM的云系统自适应组件正式设计(2016)
  2. 米芯,猫王属;Scandurra,Patrizia:服务建模和原型设计的正式框架(2014)ioport公司
  3. 阿尔卡尼,保罗;安吉洛,格兰蒂尼;Riccobene,Elvinia:AsmetaSMV:一种将高级ASM模型与低级NuSMV规范相关联的方法(2010)ioport公司