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. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1109/HASE.2019.00037 | 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) |
Keywords | Field | DocType |
Topology,Storms,Task analysis,Unified modeling language,Computational modeling,Message systems,Fasteners | Programming language,Unified Modeling Language,Task analysis,Computer science,Storm,Reliability engineering | Conference |
ISSN | ISBN | Citations |
1530-2059 | 978-1-5386-8540-2 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hongyan Zhao | 1 | 9 | 5.03 |
Huibiao Zhu | 2 | 583 | 86.68 |
Yucheng Fang | 3 | 0 | 2.03 |
Lili Xiao | 4 | 1 | 5.43 |