Towards the formal verification of data-intensive applications through metric temporal logic

p>The dataset consists of a set of model descriptions representingnbsp;span>Storm topologies. It is designed on purpose to show the approach presented in the paper quot;/span>span>Towards the formal verification of data-intensive applications through m/span>span>etric/span>span>nbsp;temporalnbsp;/span>span>logicquot; (F. Marconi, M.M. Bersani, M. Erascu and M. Rossi) which focuses on the analysisnbsp;/span>span>of bottleneck nodes of data intensive applications implemented with Storm./span>/p>本数据集包含一组表征Storm拓扑的模型描述，旨在展示论文《面向基于度量时序逻辑（Metric Temporal Logic）的数据密集型应用的形式化验证》（F. Marconi、M.M. Bersani、M. Erascu与M. Rossi）中提出的方法，该方法聚焦于对采用Storm实现的数据密集型应用的瓶颈节点进行分析。