Поведение программ в распределенных вычислительных системах и инструментарий его анализастатья