Как править алгоритмы?

[uri-uri]

Существует ли програмная графическая среда для составления и отладки абстрактных алгоритмов?
Типа Visio, но в нем можно только рисовать схемы из готовых блоков со стрелочками - деловую графику.
А я имею ввиду, чтобы из готовых блоков можно было собрать схему алгоритма, задать начальные условия (ввести значения переменных), нажать на кнопку и увидеть результат и подсветку схемы - по какой ветви при данных значениях пошел процесс. Сталкивался ли кто нибудь с такой программой. Если да, буду благодарен за любую ссылку на неё.