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

Рецепт решения: смешать и взбить. Нужен интерактивный графический язык (aka нотация с продуманным интерфейсом). Графический - потому что мало систем работают в одном измерении (а любые тексты хорошо подходят только для одномерных случаев, так как единственное явное отношение - «последовательность», остальные являются производными интерпретации текста). Язык - потому что с семантикой. Оно конечно все правильно, только я боюсь что специалистов, способных это реально осуществить на практике (продумать нотацию, интерфейс и реализовать их) крайне мало. И вряд ли им интересно заниматься промышленными решениями. ЗЫ Я вот для верификации тоже бы хотел нотацию с продуманным интерфейсом. У меня даже идеи и задумки есть. Только вот реализовывать совсем не охота.