帕穆德

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献30篇文章)

显示第1到第20个结果，共30个。
按年份排序(引用)
  1. 艾伯特，艾薇拉；Gómez zamalola，米格尔；伊莎贝尔，米格尔；鲁比奥，阿尔伯特；萨马蒂诺，马特奥；Silva，Alexandra:软件定义网络的基于角色的模型检查（2021）
  2. 杜兰，旧金山；埃克，史蒂文；圣地亚哥埃斯科巴；玛蒂奥利特，纳西索；梅斯盖尔，何塞；鲁比奥，鲁宾；Carolyn Talcott:Maude的编程和符号计算（2020）
  3. 费尔南德斯，玛丽贝尔；基什内尔，Hélène；Pinaud，Bruno:战略港口图改写：交互式建模框架（2019）
  4. 刘思思；厄尔维茨基，彼得·克萨巴；王琪；古普塔、印地安；Meseguer，José：《读原子交易与防止丢失更新：ROLA及其形式分析》（2019）
  5. Lemos，Marcilio O。O、 。；丹塔斯，尤里·吉尔；丰塞卡，伊瓜特米E。；Nigam，Vivek:关于TDoS攻击选择性防御正式验证的准确性（2018）
  6. 玛西莫娃，玛丽亚；吉斯，霍尔格；Krause，Christian:概率时间图转换系统（2018）
  7. 刘思思；厄尔维茨基，彼得·克萨巴；Meseguer，José：实时Maude中移动自组织网络的建模与分析（2016）
  8. 埃勒克，玛莎；哈桑，奥斯曼；塔哈尔，索菲涅；Abid，Mohamed:无线传感器网络中检测属性的形式概率分析（2015）
  9. 刘思思；厄尔维茨基，彼得·克萨巴；Meseguer，José：使用实时Maude对MANETs中领导人选举的正式分析（2015）
  10. 玛蒂奥利特，纳西索；厄尔维茨基，彼得·克萨巴；Carolyn Talcott:JoséMeseguer:杰出科学家和朋友（2015）
  11. 贝尔兹纳，伦茨；德尼古拉，罗科；范丁，安德烈；Wirsing，Martin：重写逻辑中的推理（on）服务组件集成（2014）ioport公司
  12. 中岛，申：与OBJ语言家族的永恒挑战（2014）ioport公司
  13. 本蒂亚，卢西恩；厄尔维茨基，彼得·卡萨巴：概率重写理论的概率策略语言及其在云计算中的应用（2013）
  14. 埃克哈特，乔纳斯；穆尔鲍尔，托拜厄斯；梅斯盖尔，何塞；Wirsing，Martin:复合演员系统的统计模型检验（2013）
  15. 梅斯盖尔，何塞；Roşu，Grigore:重写逻辑语义项目：进度报告（2013）
  16. 布莱切夫，彼得；大卫，亚历山大；古德兰·拉森，金；勒盖，阿克塞尔；李广元；Bøgsted Poulsen，丹尼；Stainer，Amelie:加权度量时态逻辑的基于监视器的统计模型检查（2012）
  17. 卡特尔曼，迈克尔；凯勒，肖恩；Meseguer，José：重写产生式规则集的语义（2012）
  18. 克劳斯，基督徒；霍尔格变换（Holger graph，2012）
  19. JoséMeseguer：《重写逻辑的二十年》（2012）
  20. 维辛，马丁；埃克哈特，乔纳斯；穆尔鲍尔，托拜厄斯；Meseguer，José：与KLAIM和Maude一起设计和分析基于云的架构（2012）ioport公司