帕穆德

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


zbMATH参考文献(引用于 29篇文章

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  2. 费南德斯,马里贝尔;基什内尔,赫勒;皮诺,布鲁诺:战略港口图改写:一个互动模型框架(2019年)
  3. Liu,Si;嫘lveczky,Peter Csaba;Wang,Qi;Gupta,Indranil;Meseguer,José:Read atomic transactions with prevention of lost updates:ROLA及其形式分析(2019年)
  4. Lemos,Marcilio O.O.;Dantas,Yuri Gil;Fonseca,Iguatemi E.;Nigam,Vivek:关于TDoS攻击选择性防御的正式验证准确性(2018)
  5. Maria Maximova;Giese,Holger;Krause,Christian:概率时间图转换系统(2018)
  6. Liu,Si;厄尔维茨基,Peter Csaba;Meseguer,José:实时Maude移动自组网建模与分析(2016)
  7. Elleuch,Maissa;Hasan,Osman;Tahar,Sofiène;Abid,Mohamed:无线传感器网络中检测特性的正式概率分析(2015)
  8. Liu,Si;嫘lveczky,Peter Csaba;Meseguer,José:使用实时Maude对MANETs中领导人选举的正式分析(2015)
  9. 《科学家阿奎尔·奥迪尔·马尔特(Peter Ocire-Ordinal)和卡罗利尔·马尔特(JoséOrdinal);卡罗利尔·奥尔维(Peter-Ocire-Ordinal)等,2015年
  10. Belzner,Lenz;De Nicola,Rocco;Vandin,Andrea;Wirsing,Martin:重写逻辑中的推理(on)服务组件集成(2014)ioport公司
  11. 中岛,申:与OBJ语言家族的永恒挑战(2014)ioport公司
  12. Bentea,Lucian;厄尔维茨基,Peter Csaba:概率重写理论的概率策略语言及其在云计算中的应用(2013)
  13. Eckhardt,Jonas;Mühlbauer,Tobias;Meseguer,José;Wirsing,Martin:复合演员系统的统计模型检验(2013)
  14. Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013)
  15. Bulychev,Peter;David,Alexandre;Guldstrand Larsen,Kim;Legay,Axel;Li,Guangyuan;Bøgsted Poulsen,Danny;Stainer,Amelie:基于监视器的加权度量时态逻辑的统计模型检验(2012)
  16. Katelman,Michael;Keller,Sean;Meseguer,José:重写产生式规则集的语义(2012)
  17. Krause,Christian;Giese,Holger:概率图转换系统(2012)
  18. JoséMeseguer:《重写逻辑的二十年》(2012)
  19. Wirsing,Martin;Eckhardt,Jonas;Mühlbauer,Tobias;Meseguer,José:与KLAIM和Maude一起设计和分析基于云的架构(2012)ioport公司
  20. AlTurki,Musab;Meseguer,José:PVeSTA:一种并行统计模型检验和定量分析工具(2011)ioport公司