Abstract:
It develops an analysis of a current tools for automation of parallel programs development (and debugging). It reviews formal models for those tools. It submits a proposal for applying current models for development tools for automation of parallel grid-based programs development.