Ещё о возможных языках. Вот такой язык для чего-нибудь годится (вот пример его употребления)?..
Это избыточный язык, имеющий нарушения в системной логике. "ТО", "КО" и "ИО" - совершенно не нужны. Дело в том, что элемент системы автономен от других элементов. Связи между этим элементом и другими элементами устанавливает система (это её прерогатива, её логика). Самому элементу нет разницы от кого он получает сигнал/ресурс и кто потребит, то что передаёт данный элемент.
Самой же системе (при описании системы) "ТО", "КО" и "ИО" тоже не нужны, поскольку, установив связи между элементами, она итак определяет, сколько элементов связаны входами и выходами, а значит указания "ТО", "КО" и "ИО" избыточны и просто загромождают схему.
"Хранение"... Есть два вида перемещений во времени (хранение, частный случай): от времени T1 до времени T2 и в пространстве из точки A1 в точку A2. С другой стороны, перемещение во времени (хранение) - частный случай согласования входного и выходного потоков. Несогласованность потоков может быть по времени (приняли в момент времени T1, отдали в момент времени T2) и по объёму (приняли объём V1, отдали объёмы V2, V3, V4 или приняли объёмы V1, V2, V3, отдали объёмы V4 и V5). Таким образом, элемент "хранение" - это частный параметризуемый случай устранения рассогласования входного и выходного потоков по времени. Сказанное справедливо и для программирования (за исключением объёмов), когда некоторая переменная (по сути содержимое каких-то ячеек памяти) вычисляется в момент времени T1, а используется вычисленное значение во времена T2, T3, T4... в одном или разных вычислительных блоках.
Дуга очевидно должна иметь параметры того, что передаётся и в каком объёме, а также нормативные длительность/скорость передачи, транспортный протокол и пр..