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

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