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

мне кажется, более формальная нотация нужна для верификации (вариантом которой является "не дать нарисовать неправильно") и, возможно, последующей генерации чего-либо downstream (кода, документации, whatever). а чтобы просто сделать проиллюстрировать мысль, достаточно квадратиков и стрелочек, мне кажется.