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

Эта презентация намекает, что возможно менять метамодель так, чтобы при этом отслеживать сохранение целостности уже созданных моделей. Пока это rocket science, но через пять лет это будет сидеть где-нибудь глубоко внутри модельного-программного инструментария. Этот дядько сам же пишет вычисление difference of metamodels, что это очень сложно. Вообще говоря, тут возникают задачи, которые сложнее чем NP-полные задачи :). Ибо надо сравнивать выражения, которые содержат функции в качестве параметров. Вобщем, задача сродни создания суперкомпилятора (проект по созданию джавовского суперкомпилятора загнулся). Я подобными задачами озабачивался для целей рефакторинга. Ну для примитивных случаев конечно можно сделать решение. Но в поисках практичных решений, вскоре моя мысля прибежала в abstract interpretation и верификацию, т.е. это пока самый простой способ (при том что это все очень сложно).