进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。
Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.
如果数据库模式不同步或者还在开发过程中，就需要把这些错误当作警告对待。
Scenarios exist when database schemas are out of sync or under development, and such errors need to be treated as warnings.
您找到错误，然后建立模式、修正错误，最后修正过程。
You find a bug, establish a pattern, fix the bug, and fix the process.
应用推荐