×

兹马思-数学第一资源

扩展依赖图和有效的分布式不动点计算。(英语) Zbl 1393.68098
van der Aalst,Wil(ed.)等人,Petri网与并发的应用与理论。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI网,2017年。会议记录。查姆:斯普林格(ISBN 978-3-319-57860-6/pbk;978-3-319-57861-3/电子书)。计算机科学课堂讲稿10258139-158(2017)。
摘要:等价性和模型检验问题可以编码成依赖图上不动点的计算。依赖图通过超边表示图中节点之间的因果依赖关系。为了提高依赖图模型的适用性,我们建议对具有否定边的依赖图模型进行扩展。图(以及验证问题)受状态空间爆炸问题的影响。为了解决这个问题,我们设计了一个动态算法来有效地计算扩展依赖图上的不动点。我们的算法补充了以前的方法,在某些情况下,除了值1的标准反向传播外,还可以反向传播域值0。最后,我们设计了该算法的分布式版本,并在一个开源工具中实现,并在2016年模型检查大赛中,以Petri网模型和CTL查询为基准,证明了我们的通用方法的有效性。
整个系列请参见[Zbl 1365.68011].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68度15度 分布式算法
PDF格式 BibTeX公司 XML 引用
全文: 内政部