Formal Modeling and Analysis of the REST Architecture Using CSP.

Xi Wu Yue Zhang Huibiao Zhu Yongxin Zhao Zailiang Sun Peng Liu

Published in: WS-FM (2012)

Keyphrases

data analysis
software architecture
quantitative analysis
structural analysis
databases
special case
statistical analysis
statistical modeling
formal analysis