FlyFast 用于基于属性协调的前端的设计与优化
计算机科学中的逻辑
2017-07-14 v1 编程语言
摘要
集体自适应系统（CAS）由大量相互作用的对象组成。此类系统的设计需要可扩展的分析工具和方法，这些方法必然依赖于对系统实际行为的某种近似。有前景的技术是基于平均场近似的技术。FlyFast 模型检测器使用一种即时（on-the-fly）算法，用于对非常大种群中选定个体进行有界 PCTL 模型检测，这些种群的全局行为使用确定性极限平均场技术进行近似。最近，提出了一种 FlyFast 的前端，它提供了一种建模语言（下文称为 PiFF），用于 FlyFast 的基于谓词的交互。在本文中，我们给出了 PiFF 设计的细节，以及一种基于概率互模拟对非齐次 DTMC 进行状态空间约简的方法。
引用
@article{arxiv.1707.04126,
title = {Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination},
author = {Diego Latella and Mieke Massink},
journal= {arXiv preprint arXiv:1707.04126},
year = {2017}
}
备注
In Proceedings QAPL 2017, arXiv:1707.03668