Обсуждение

изобретение формализма поведенческой семантики, который проще использовать, чем существующие формализмы и поддающегося дальнейшей обработке с целью автоматизированного порождения инструментов моделирования (например, редакторов, отладчиков и имитаторов Проблема в том, что любой формализм будет сложным для использования. Причем, скорее всего, тот который будет легче юзать на первых порах, обернется жопой на более поздних стадиях. Нужно просто готовить народ, чтобы он этих сложностей не пугался, а умел с ними работать. Есть ведь специальная профессия - юристы - для работы с кодифицированным правом, а обычный человек там моск сломает. Так и для моделей нужно специально готовить кадры. Мощные идеи требует сдвига в мышлении для их использования. А это всегда трудно (поначалу).

Ну да. Похоже, моделирование и связанное с ним свободное владение формальными методами -- это входной ценз в системную инженерию..