К формальному описанию программ для распределенной вычислительной среды грид-архитектурытезисы доклада