Modeling Grid Services with ASM