普茂德

PMaude:基于概率的对象系统重写规范语言。我们介绍了一个基于重写的规范语言建模概率并发和分布式系统。基于PMADUD的语言既有严格的形式基础,又有基于高级规则的编程语言的特性。此外,我们提供工具支持进行离散事件模拟在PMADUD中写入的模型,并基于离散事件模拟产生的样本统计分析这些模型的各种定量方面。因为可以使用演员(并发异步消息传递的对象)来模拟分布式和并发通信协议,所以我们提供了一个演员PMAUDE模块。该模块有助于在概率演员形式主义编写规范。这使我们能够容易地编写纯粹是概率的规范,而不仅仅是非确定性的。我们还讨论了在概率系统中缺少这种(未量化)非确定性的统计分析形式。具体地,我们引入一种查询语言,称为定量时间表达式(简称QuATEX),以查询概率模型的各种定量方面。我们还描述了一种统计技术来评估概率模型的QuATEX表达式。


ZBMaCT中的参考文献(29篇文章中引用)

显示结果1至20的29。
按年份排序(引文
  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  3. 刘,SI;奥尔维茨基,Peter Csaba;王,齐;Gupta,Indranil;MeeGuer-Joe::阅读原子事务与防止丢失更新:ROLA及其形式分析(2019)
  4. 莱莫斯,Marcilio O. O.;Dantas,Yuri Gil;丰塞卡,Iguatemi E.,NigAM,维韦克:关于TDoS攻击选择性防御的形式验证的准确性(2018)
  5. Maximova,玛丽亚;吉塞,霍格尔;克劳斯,克里斯蒂安:概率时间图变换系统(2018)
  6. 刘,SI;U.LVECZKY,Peter Csaba;MeeGuer-Joe:实时移动自组网的建模与分析(2016)
  7. Elleuch,MaSSa;Hasan,奥斯曼;TaHar,Soffi-Ene;Abid,穆罕默德:无线传感器网络检测特性的形式概率分析(2015)
  8. 刘,SI;厄维列茨基,Peter Csaba;MeeGuer-Joee:用实时Maod(2015)对MANET中的领导者选举进行形式分析
  9. 马蒂奥利特,纳西索;奥尔维茨基,Peter Csaba;塔尔科特,卡洛琳:乔塞梅塞格:科学家和朋友非凡(2015)
  10. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  11. 那卡继玛,申:OBJ语言家族的永恒挑战(2014)伊波尔特
  12. Bentea,卢西恩;U.LVEECZKY,Peter Csaba:概率重写理论的概率策略语言及其在云计算中的应用(2013)
  13. 埃克哈特,乔纳斯;M.Hulbaor,托拜厄斯;MeeGuer-Joee;Wirsing,马丁:复合角色系统的统计模型检验(2013)
  14. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2013)
  15. Bulychev,彼得;戴维,亚历山大;Guldstrand Larsen,基姆;Leay,阿克塞尔;李,广元;B·GSTED,Y;Sistar,Amiel:基于度量的统计度量模型检验加权度量时态逻辑(2012)
  16. Katelman,米迦勒;凯勒,肖恩;梅塞格,约瑟夫:生产规则集的重写语义(2012)
  17. 克劳斯,基督教;吉塞,霍格尔:概率图变换系统(2012)
  18. 梅塞格,乔斯:重写逻辑的二十年(2012)
  19. Wrrn,马丁;埃克哈特,乔纳斯;MuHulbor,托拜厄斯;MeeGuer-Joe:基于KLAIM和Mod(2012)的云结构的设计和分析伊波尔特
  20. AlTurki,Musab;MeeGuer-Joe: PVeSTA:并行统计模型检验和定量分析工具(2011)伊波尔特