@inproceedings{b0a3c29ba25644f6a0fae26c19c97b47,
title = "Modeling and verifying storm using CSP",
abstract = "Due to the higher pursuit of information timeliness, a number of distributed stream processing computation frameworks have emerged, among which the most successful and widely used at present is Storm. Storm is a stream-only processing computation framework which can deal with continuous streaming data. This paper applies Communicating Sequential Processes (CSP), a formal language in process algebra, to analyze and model the communication behaviors in the workflow of Storm. Then, we transform the established model and use the refinement checking tool Failures-Divergences Refinement (FDR) to verify whether it satisfies deadlock-free and sequential consistency properties.",
keywords = "Csp, Fdr, Formal modeling, Storm, Verification",
author = "Hongyan Zhao and Huibiao Zhu and Yucheng Fang and Lili Xiao",
note = "Publisher Copyright: {\textcopyright}2019 IEEE.; 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019 ; Conference date: 03-01-2019 Through 05-01-2019",
year = "2019",
month = mar,
day = "22",
doi = "10.1109/HASE.2019.00037",
language = "英语",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
publisher = "IEEE Computer Society",
pages = "192--199",
editor = "Vu Nguyen and Dongjin Yu and Congfeng Jiang",
booktitle = "Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019",
address = "美国",
}