给出一种在协同环境下的基于群组自动机的动态树同步模型,模型对操作同步和状态同步都给出了能够具体到实际过程每一步的描述。在考察状态同步时,把它限制在引起更新冲突的系统最小局部进行,效率得到了保证;由于模型在描述系统时采用递归性质的算法,极适合于描述动态系统。