科雷阿斯姆

CoreASM插件体系结构。抽象状态机以其在算法、体系结构、语言、协议以及几乎所有类型的顺序、并行和分布式系统建模方面的多功能性而闻名。CoreASM是一种新的可执行的ASM语言,它强调实验的自由性,并支持设计作为创造性产物的进化本质。CoreASM引擎是CoreASM工具套件的核心,它基于一个可扩展的体系结构,它通过插件支持各种扩展。在本文中,我们探讨了CoreASM引擎的插件架构,并通过两个实现的插件展示了它的潜力。


zbMATH参考文献(14篇文章引用了,1标准件)

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

  1. van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019)
  2. Dini,Paolo;Nehaniv,Chrystopher L.;Rothstein,Eric;Schreckling,Daniel;Horváth,Gábor:《生物医学:交互计算理论》(2018)
  3. Börger,Egon;Schewe,Klaus Dieter:并发抽象状态机(2016)
  4. Bósa,Károly:基于环境抽象状态机的移动计算系统的形式化建模(2013)
  5. Börger,Egon:面向主题的软件设计方法和抽象状态机方法(2012)
  6. Börger,Egon;Cisternino,Antonio;Gervasi,Vincenzo:环境抽象状态机及其应用(2012)
  7. 卡瓦拉,亚历山德拉:测试多智能体ASM的数据流方法(2011)
  8. Farahbod,Roozbeh;Glässer,Uwe:CoreASM建模框架(2011)ioport公司
  9. Leuschel,Michael;Falampin,Jérôme;Fritz,Fabian;Daniel Plagge:带ProB的大型B模型的自动性能验证(2011)ioport公司
  10. Börger,Egon:高层系统设计与分析的抽象状态机方法(2010)
  11. Farahbod,Roozbeh;Gervasi,Vincenzo;Glässer,Uwe;Ma,George:CoreASM插件架构(2009)ioport公司
  12. Gervasi,Vincenzo;Farahbod,Roozbeh:JASMine:从CoreASM访问Java代码(2009)ioport公司
  13. Börger,Egon:地面模型的构建和分析及其改进作为验证基于计算机的系统的基础(2007)
  14. Farahbod,Roozbeh;Gervasi,Vincenzo;Glässer,Uwe:CoreASM:一个可扩展的ASM执行引擎(2007)