PMaude公司 swMATH ID: 8422 软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森 描述: PMaude:概率对象系统的基于重写的规范语言。我们引入了一种基于重写的规范语言来建模概率并发和分布式系统。该语言基于PMaude,具有严格的形式基础和高级基于规则的编程语言的特点。此外,我们还提供了工具支持,用于对用PMaude编写的模型进行离散事件模拟,并基于离散事件模拟生成的样本对此类模型的各个定量方面进行统计分析。因为可以使用参与者(具有异步消息传递的并发对象)对分布式和并发通信协议进行建模,所以我们提供了一个参与者PMaude模块。该模块有助于以概率行动者形式编写规范。这使我们能够轻松编写纯粹是概率性的规范,而不仅仅是非确定性的规范。概率系统中不存在这种(未量化的)非确定性对于我们所讨论的统计分析来说是必要的。具体来说,我们引入了一种称为定量时间表达式(Quantitative Temporal Expressions,简称QuaTEx)的查询语言,用于查询概率模型的各种定量方面。我们还描述了一种统计技术,用于评估概率模型的QuaTEx表达式 主页: http://www.sciencedirect.com/science/article/pii/S1571066106002672 相关软件: 莫德;聚乙烯醇水杨酸;棱镜;ITP公司;VESTA公司;OBJ咖啡馆;PSMaude公司;西洋陆军棋;爪哇风扇;毫米;Uppaal公司;MFE公司;汤姆;莫德NPA;OBJ3型;ELAN公司;合同专用条款;Java+ITP;K校准仪;IF-2.0型 引用于: 30文件 全部的 前5名60位作者引用 14 何塞·梅塞盖尔·瓜伊塔 8 Peter Csaba,Olveczky 4 马丁·奥列特,纳西索 4 卡罗琳·塔尔科特。 三 弗朗西斯科·杜兰 三 刘,思 三 鲁宾·鲁比奥 2 史蒂文·艾克 2 霍尔格·吉斯 2 迈克尔·凯特尔曼 2 克里斯蒂安·克劳斯 2 格里高·罗什乌 1 穆罕默德·阿明·阿比德 1 艾尔维拉·阿尔伯特 1 马丁·阿文齐尼 1 托马斯·阿农,巴苏基 1 卢西安·本蒂亚 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 彼得·布利切夫(Peter E.Bulychev)。 1 安东尼奥·塞隆 1 曼纽尔·克莱维尔 1 乌戈·达尔拉戈 1 尤里·吉尔·丹塔斯 1 亚历山大·戴维 1 乔纳斯·埃克哈特 1 梅萨·埃卢克 1 圣地亚哥埃斯科瓦尔 1 克劳迪娅·法根 1 费尔南德斯,马里贝尔 1 Fonseca,Iguatemi E。 1 米盖尔·戈梅斯·扎马洛亚 1 奥斯曼·哈桑 1 米盖尔·伊莎贝尔 1 肖恩·凯勒 1 赫莱内·基什内尔 1 金·古德斯特兰·拉森 1 Legay、Axel 1 马西里奥·奥·莱莫斯。 1 李广元 1 帕特里克·D·林肯。 1 玛丽亚·马克西莫娃 1 保罗·米拉佐 1 托拜厄斯·穆尔鲍尔 1 Vivek Nigam先生 1 布鲁诺·皮诺 1 伊莎贝尔·皮塔 1 卡米洛·罗查 1 阿尔伯特·鲁比奥 1 格温·萨拉恩 1 马蒂奥·桑马蒂诺 1 Sen Gupta,因陀罗尼 1 ☑特拉安·弗洛林(Traian Florin) 1 亚历山德拉·席尔瓦 1 阿梅利·施泰纳 1 索菲涅·塔哈尔 1 斯蒂安·托瓦尔森 1 阿尔贝托·维尔德乔 1 王琪 1 马丁·威尔辛 1 Akihisa山田 全部的 前5名9篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 2 信息与计算 2 计算的形式方面 2 逻辑与代数程序设计杂志 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 30 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文