Без заголовка
Общие стандарты это круто и правильно (сам хорошо понял на примере FIX'а Financial Information eXchange). Но они тоже не все проблемы решают. Скажем, пополнение общей онтологии - процесс сравнительно длительный.
Для распределенных систем нужна идеология частичной несовместимости. Я недавно почитал OWL мануал, они там это явно упоминают, типа нужно заранее готовиться, что онтологии будут несовместимы.
Мне микромодели/онтологии еще интересны тем, что они очень компактно описывают проблему. А размер тестов (обобщенно - усилий необходимых для валидации модели) вообще говоря растет экспоненциально с размером переменных.
Т.е. я пока основной упор делаю на микромодели/онтологии, ибо они мне нужны, чтобы:
1. разобраться в предметной области/требованиях (самый лучший способ - составить онтологию/модель либо изучить существующие).
2. генерить из них код/тесты и т.д.
Общие онтологии для этого тоже пойдут, но они должны быть высокого качества.