Моделирование программных систем на основе графа взаимодействий