帕莫德

概率重写理论的概率策略语言及其在云计算中的应用几种形式化模型结合了概率和非确定性特征。为了允许他们的概率模拟和统计模型检查通过伪随机数采样,所有的非确定性的来源必须首先量化。然而,目前的工具提供了有限的灵活性,为用户定义如何确定不确定性。在本文中,我们提出了一个表达概率策略语言,允许用户定义复杂的策略量化非确定性的概率重写理论。我们已经实现了PSMADUD,一个工具,扩展了Maude的概率模拟器和统计模型检查器为我们的语言。我们说明的便利性,能够定义不同的概率策略之上的系统的云计算的例子,其中不同的负载平衡策略可以指定不同的概率策略。然后使用PSMADUD对不同策略提供的QoS进行分析。

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

显示结果1至3的3。
按年份排序(引文

  1. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  2. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  3. Bentea,卢西恩;U.LVEECZKY,Peter Csaba:概率重写理论的概率策略语言及其在云计算中的应用(2013)


进一步的出版物可以在:HTTP:/HEIM.IFI.UIO.NO/LUIIANB/PSMAUDE/PSMAUDE-PICS.HTML