An ASM-Based Model for Grid Job Management. INF 37 (3).