帕穆德

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


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

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