Аннотация:
В работе проводится анализ существующих средств для автоматизации разработки (и отладки) параллельных программ. Дается обзор формальных моделей, на которых основаны описываемые средства. Делаются предложения по применению существующих моделей для получения средств автоматизации разработки параллельных программ на базе грид.