У вас какая то фантазийная история, которую вы сами придумали.
Применение у этого решения совершено другое, не имеющее ничего общего с тем что вы написали.
Вместо того чтобы конструктивно написать, я не понял, подскажите границы решаемой задачи или какое то другое уточнение, для каких проблем.
Вместо этого вы придумали сами какую то историю сами её раскритиковали, придумали какой то образ моих личных и профессиональных качеств и его раскритиковали.
Я думал что хабр чем то по качеству комментариев должен отличаться от пикабу.
Даже не знаю с чего бы начать ответ но начну по частям.
а) Мы используем и разрабатываем инструменты моделирования на базе Eclipse Sirius б) Хорошо знакомы и применяем традиционные инструменты моделирования. в) Для трансформации моделей традиционную связку AQL+QVTo
В одном из проектов применялась верификация подобных преобразований на Isabelle\HOL, а в этой статье я пишу не столько про изменение традиционных инструментов сколько про другой подход к верификации именно преобразования моделей (на языке Lean)
Мы начинаем внутри своей организации с этим экспериментировать, поэтому общие мысли и рассуждения почему нам кажется это полезным - в этой статье ;)
Господи что за бред,
У вас какая то фантазийная история, которую вы сами придумали.
Применение у этого решения совершено другое, не имеющее ничего общего с тем что вы написали.
Вместо того чтобы конструктивно написать, я не понял, подскажите границы решаемой задачи или какое то другое уточнение, для каких проблем.
Вместо этого вы придумали сами какую то историю сами её раскритиковали, придумали какой то образ моих личных и профессиональных качеств и его раскритиковали.
Я думал что хабр чем то по качеству комментариев должен отличаться от пикабу.
Честное слово, видел ;)
Даже не знаю с чего бы начать ответ но начну по частям.
а) Мы используем и разрабатываем инструменты моделирования на базе Eclipse Sirius
б) Хорошо знакомы и применяем традиционные инструменты моделирования.
в) Для трансформации моделей традиционную связку AQL+QVTo
В одном из проектов применялась верификация подобных преобразований на Isabelle\HOL,
а в этой статье я пишу не столько про изменение традиционных инструментов сколько про другой подход к верификации именно преобразования моделей (на языке Lean)
Мы начинаем внутри своей организации с этим экспериментировать, поэтому общие мысли и рассуждения почему нам кажется это полезным - в этой статье ;)