基于抽象状态机的网格系统设计和分析