Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.
进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。
Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.
进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。
应用推荐