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

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