вроде бы вот всем хорош FreeMind - иерархии, деревья и связи в нём рисовать можно; можно даже давать некие аттрибуты узлам. НО !
Хочется, чего-то пусть даже не столь удобного, но с расчётами и формулами. Например аттрибут «А» узла равен сумме аттрибутов «А» нижележащих. И аттрибут «Б» = кол-во дочерних, удовлетворяющих критерию. и так далее :)
