×

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山田

按年份列出的引文