Text this: An Approach to formal Modeling of grid Computing.