×

合成的环境假设。 (英语) 兹比尔1160.68437

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,147-161(2008)。
摘要:综合问题要求从(ω)正则规范构造一个反应有限状态系统。最初的规范通常是不可实现的,这意味着没有实现规范的系统。无法实现的一个常见原因是对系统环境的假设不完整。我们通过计算一个环境假设来研究如何修正一个不可实现的规范(\varphi),从而使新规范(\psi\rightarrow\varphi\)是可实现的。我们的目标是构建一个假设,该假设只约束环境,并且尽可能地脆弱。我们提出了一种计算假设的两步算法。该算法对用于回答可实现性问题的博弈图进行操作。首先,我们计算一个安全假设,从图中删除一组最小的环境边。其次,我们计算了一个活跃性假设,该假设将公平条件置于一些剩余的环境边缘上。我们证明了寻找最小公平边集的问题在计算上很困难,并且我们使用概率博弈来计算局部最小公平假设。
关于整个系列,请参见[Zbl 1149.68018号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用