Без заголовка

work/control flow хорошо описывается отношениями (это ведь тоже граф!), так что это не вопрос. Как именно синтаксически отображать отношения -- для начала можно все единообразно, затем вводить синтаксический сахар (например, для разных типов отношений разного типа стрелки плюс автоматическое отображение по какому-то из графовых алгоритмов рисования с приоритетом относительно какого-то типа стрелок -- но это особая область, рисование графов, тут все пока довольно плохо с алгоритмами "разводки").