Ну и теперь безотносительно к семантике - каков м.б. "синтаксический базис" представления? Рассуждая для графовой формы записи, можно предложить такой  состав классов структур графит-схем:
*маршрутная—  такая,   что   схема  есть   устремлённый (аранжируемый,   сводимый) граф, планарный (без пересечений при укладке на плоскости) либо нет;
*древовидная—такая, что схема есть дерево, каждая ветвь которого м.б. ребром или маршрутной подсхемой с разветвлением/соединением их через ОС-узлы,  а также, возможно, «прошивкой» дерева и/или сращением двух и более деревьев;
*сетевая— такой, что схема есть конечное множество вершин с конечными чис­лами входов и выходов, причём входы и выходы м.б. либо связаны попарно (при­надлежа в паре одной или разным вершинам), либо не связаны (временно присо­единяясь к вершинам-туннелям).Предполагается, что в этом составе можно представить любые практически тре­буемые схемы. Разумеется, желательны компетентные оценки (от специалистов, прикладывавших теорию графов к представлению программ).